Searched refs:StateTrue (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2230 ProgramStateRef StateTrue, StateFalse; local
2231 std::tie(StateTrue, StateFalse) = state->assume(*SEV);
2234 if (StateTrue) {
2236 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2237 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);

Completed in 64 milliseconds