Searched defs:stateNew (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ | ||
| H A D | OSAtomicChecker.cpp | 189 ProgramStateRef stateNew = predNew->getState(); local 195 B.generateNode(CE, predNew, stateNew->BindExpr(CE, LCtx, Res), this); |
Completed in 73 milliseconds