HomeSort by: relevance | last modified time | path
    Searched refs:StateFalse (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
IteratorModeling.cpp 532 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) {
533 StateFalse = StateFalse->assume(*ConditionVal, false);
534 C.addTransition(StateFalse);
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 3062 ProgramStateRef StateTrue, StateFalse;
3063 std::tie(StateTrue, StateFalse) = state->assume(*SEV);
3073 if (StateFalse) {
3075 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);
3076 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);

Completed in 91 milliseconds