OpenGrok

45 /// like [receiver method], where the nullability of this expression is either
46 /// the nullability of the receiver or the nullability of the return type of the
223   // the receiver is nullable. Here the receiver will be the source of the
828     // For super and super class receivers we assume that the receiver is
833   SVal Receiver = M.getReceiverSVal();
834   if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) {
835     // If the receiver is constrained to be nonnull, assume that it is nonnull
841   auto ValueRegionSVal = Receiver.getAs<loc::MemRegionVal>();
855 /// nullability of the receiver, the nullability of the return value, and the
929     // of the expression will be the most nullable of the receiver and the

Indexes created Sat Sep 19 00:25:42 UTC 2026