Home
last modified time | relevance | path

Searched refs:NotNull (Results 1 – 4 of 4) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DStdLibraryFunctionsChecker.cpp1396 auto NotNull = [&](ArgNo ArgN) { in initFunctionSummaries() local
1648 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1649 .ArgConstraint(NotNull(ArgNo(3))) in initFunctionSummaries()
1723 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1724 .Case({NotNull(Ret)}, ErrnoIrrelevant, in initFunctionSummaries()
1728 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant, in initFunctionSummaries()
1758 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked) in initFunctionSummaries()
1760 .ArgConstraint(NotNull(ArgNo(0))) in initFunctionSummaries()
1761 .ArgConstraint(NotNull(ArgNo(1)))); in initFunctionSummaries()
1767 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked) in initFunctionSummaries()
[all …]
H A DStringChecker.cpp76 ProgramStateRef NotNull, Null; in checkPreCall() local
77 std::tie(NotNull, Null) = C.getState()->assume(*Param); in checkPreCall()
79 if (NotNull) { in checkPreCall()
86 C.addTransition(NotNull, Null ? C.getNoteTag(Callback) : nullptr); in checkPreCall()
/openbsd-src/gnu/llvm/llvm/include/llvm/Analysis/
H A DStackLifetime.h144 std::function<bool(const IntrinsicInst *)> NotNull( in getMarkers()
146 return make_filter_range(Instructions, NotNull); in getMarkers()
/openbsd-src/gnu/llvm/llvm/lib/Transforms/Instrumentation/
H A DMemorySanitizer.cpp3524 Value *NotNull = convertToBool(ConvertedShadow, IRB, "_mscmp"); in handleMaskedLoad() local
3527 Value *Origin = IRB.CreateSelect(NotNull, getOrigin(PassThru), PtrOrigin); in handleMaskedLoad()