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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2088 ProgramStateRef StateTrue, StateFalse; local
2089 tie(StateTrue, StateFalse) = state->assume(*SEV);
2099 if (StateFalse) {
2101 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);
2102 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);

Completed in 179 milliseconds