reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2933 if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) { 2938 SVal V = state->getSVal(Ex, Pred->getLocationContext()); 2949 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); 2950 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val); 2951 Bldr.generateNode(Ex, Pred, StateTrue, tags.first); 2956 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType()); 2957 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val); 2958 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);