reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
672 while (!N->getLocation().getAs<BlockEntrance>()) { 673 ProgramPoint P = N->getLocation(); 676 if (N->pred_size() != 1) { 681 N = *N->pred_begin(); 681 N = *N->pred_begin(); 684 if (N->pred_size() != 1) { 690 N = *N->pred_begin(); 690 N = *N->pred_begin(); 691 BlockEdge BE = N->getLocation().castAs<BlockEdge>(); 715 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext()); 724 X = evalBinOp(N->getState(), BO_NE,