Searched refs:argVal (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UnixAPIChecker.cpp | 324 const SVal argVal,
328 state->assume(argVal.castAs<DefinedSVal>());
376 SVal argVal = C.getSVal(arg); local
378 if (argVal.isUnknownOrUndef())
382 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
404 SVal argVal = C.getSVal(arg); local
405 if (argVal.isUnknownOrUndef()) {
412 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
323 IsZeroByteAllocation(ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) argument
|
Completed in 145 milliseconds