reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
655 assert(B->getOpcode() == BO_LAnd || 656 B->getOpcode() == BO_LOr); 661 if (B->getType()->isVectorType()) { 667 Bldr.generateNode(B, Pred, state); 678 Bldr.generateNode(B, Pred, state); 686 Bldr.generateNode(B, Pred, state); 706 X = svalBuilder.makeIntVal(constant, B->getType()); 723 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); 725 svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()), 726 Zero, B->getType()); 729 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X)); 729 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X));