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