Searched defs:argVal (Results 1 - 1 of 1) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | UnixAPIChecker.cpp | 194 const SVal argVal, 198 state->assume(argVal.castAs<DefinedSVal>()); 244 SVal argVal = state->getSVal(arg, C.getLocationContext()); local 246 if (argVal.isUnknownOrUndef()) 250 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { 272 SVal argVal = state->getSVal(arg, C.getLocationContext()); local 273 if (argVal.isUnknownOrUndef()) { 280 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) { 193 IsZeroByteAllocation(ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) argument
|
Completed in 79 milliseconds