reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1238 PInfo = Visitor.getInfo(Cond); 1239 if (!PInfo.isValid() && isa<BinaryOperator>(Cond)) 1240 PInfo = Visitor.getInfo(cast<BinaryOperator>(Cond)->getRHS()); 1243 CurrStates->setSource(Cond); 1244 FalseStates->setSource(Cond);