Searched defs:NotNull (Results 1 – 3 of 3) sorted by relevance
76 ProgramStateRef NotNull, Null; in checkPreCall() local
1794 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() local
4180 Value *NotNull = convertToBool(MaskedPassThruShadow, IRB, "_mscmp"); in handleMaskedLoad() local