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