Lines Matching defs:Result
86 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());
87 if (Result.isUnknown()) {
92 state = state->BindExpr(B, LCtx, Result);
141 // Compute the result of the operation.
142 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
150 if (Result.isUnknown()) {
157 Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
162 LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
170 state = state->BindExpr(B, LCtx, Result);
334 // Compute the type of the result.
390 SVal result = svalBuilder.conjureSymbolVal(0, CastE, LCtx,
393 state = state->BindExpr(CastE, LCtx, result);
836 SVal Result;
839 Result = evalBinOp(state, BO_EQ, *LV, X, U->getType());
843 Result = UnknownVal();
846 Result = evalBinOp(state, BO_EQ, V.castAs<NonLoc>(), X,
850 state = state->BindExpr(U, LCtx, Result);
905 SVal Result = evalBinOp(state, Op, V2, RHS, U->getType());
908 if (Result.isUnknown()){
911 Result = SymVal;
938 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result);
943 evalStore(Dst3, U, U, *I, state, loc, Result);
