reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1064 assert (U->isIncrementDecrementOp()); 1065 const Expr *Ex = U->getSubExpr()->IgnoreParens(); 1073 evalLoad(Tmp, U, Ex, Pred, state, loc); 1085 state = state->BindExpr(U, LCtx, V2_untested); 1090 evalStore(Dst3, U, Ex, *I, state, loc, V2_untested); 1098 BinaryOperator::Opcode Op = U->isIncrementOp() ? BO_Add : BO_Sub; 1106 if (U->getType()->isAnyPointerType()) 1108 else if (U->getType()->isIntegralOrEnumerationType()) 1109 RHS = svalBuilder.makeIntVal(1, U->getType()); 1117 if (U->getType()->isBooleanType() && U->isIncrementOp()) 1117 if (U->getType()->isBooleanType() && U->isIncrementOp()) 1118 Result = svalBuilder.makeTruthVal(true, U->getType()); 1120 Result = evalBinOp(state, Op, V2, RHS, U->getType()); 1125 svalBuilder.conjureSymbolVal(nullptr, U, LCtx, 1132 if (Loc::isLocType(U->getType())) { 1134 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); 1140 svalBuilder.makeZeroVal(U->getType())); 1150 if (U->isGLValue()) 1151 state = state->BindExpr(U, LCtx, loc); 1153 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result); 1153 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result); 1158 evalStore(Dst3, U, Ex, *I, state, loc, Result);