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