reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
44 Expr *LHS = B->getLHS()->IgnoreParens(); 45 Expr *RHS = B->getRHS()->IgnoreParens(); 50 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); 61 BinaryOperator::Opcode Op = B->getOpcode(); 68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, 73 SVal ExprVal = B->isGLValue() ? LeftV : RightV; 74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 79 if (!B->isAssignmentOp()) { 82 if (B->isAdditiveOp()) { 95 if (B->getOpcode() == BO_PtrMemD) 100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); 102 state = state->BindExpr(B, LCtx, Result); 109 Bldr.generateNode(B, *it, state); 113 assert (B->isCompoundAssignmentOp()); 134 evalLoad(Tmp, B, LHS, *it, state, location); 145 cast<CompoundAssignOperator>(B)->getComputationResultType(); 149 cast<CompoundAssignOperator>(B)->getComputationLHSType(); 159 B->getType(), CTy); 170 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy, 183 if (B->isGLValue()) 184 state = state->BindExpr(B, LCtx, location); 186 state = state->BindExpr(B, LCtx, Result); 188 evalStore(Tmp2, B, LHS, *I, state, location, LHSVal); 193 getCheckerManager().runCheckersForPostStmt(Dst, Tmp2, B, *this);