Searched refs:argVal (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UnixAPIChecker.cpp | 199 const SVal argVal,
203 state->assume(argVal.castAs<DefinedSVal>());
249 SVal argVal = state->getSVal(arg, C.getLocationContext()); local
251 if (argVal.isUnknownOrUndef())
255 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
277 SVal argVal = state->getSVal(arg, C.getLocationContext()); local
278 if (argVal.isUnknownOrUndef()) {
285 if (IsZeroByteAllocation(state, argVal, &trueState, &falseState)) {
198 IsZeroByteAllocation(ProgramStateRef state, const SVal argVal, ProgramStateRef *trueState, ProgramStateRef *falseState) argument
|
Completed in 81 milliseconds