Home
last modified time | relevance | path

Searched refs:DefArgVal (Results 1 – 2 of 2) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp568 std::optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreCall() local
569 if (!DefArgVal) in checkPreCall()
575 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
H A DMallocChecker.cpp1523 auto DefArgVal = in ProcessZeroAllocCheck() local
1526 if (!DefArgVal) in ProcessZeroAllocCheck()
1536 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()