StaticAnalyzer/Core/ExprEngineC.cpp

29     SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder,
35     return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count);
68         RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
87             RightV, LeftV, RHS, svalBuilder, Count, LCtx);
89             LeftV, RightV, LHS, svalBuilder, Count, LCtx);
155       V = svalBuilder.evalCast(V, CLHSTy, LTy);
158       SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
170         LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
173         Result = svalBuilder.evalCast(LHSVal, CTy, LTy);
178         LHSVal = svalBuilder.evalCast(Result, LTy, CTy);
203   SVal V = svalBuilder.getBlockPointer(BD, T,
272   SVal V = svalBuilder.evalCast(OrigV, T, ExTy);
292   SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
369           V = svalBuilder.makeTruthVal(!PTMSV->isNullMemberPointer(), ExTy);
434         V = svalBuilder.evalIntegralCast(state, V, T, ExTy);
474             state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
480               svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
505             svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
513         SVal V = svalBuilder.makeNull();
519         SVal V = svalBuilder.getMemberPointer(nullptr);
530               svalBuilder.makePointerToMember(getBasicVals().accumCXXBase(
636           InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
723     X = svalBuilder.makeIntVal(constant, B->getType());
742                     svalBuilder.evalCast(RHSVal, B->getType(), RHS->getType()),
767       SVal V = svalBuilder.makeCompoundVal(T, vals);
780                                    svalBuilder.makeCompoundVal(T, vals)));
855     V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
872     SVal X = svalBuilder.makeIntVal(IV);
916                             svalBuilder.makeIntVal(amt.getQuantity(),
988       SVal X = svalBuilder.makeZeroVal(Ex->getType());
1003           SVal SV = svalBuilder.getMemberPointer(cast<NamedDecl>(VD));
1055             Loc X = svalBuilder.makeNullWithType(Ex->getType());
1125       RHS = svalBuilder.makeArrayIndex(1);
1127       RHS = svalBuilder.makeIntVal(1, U->getType());
1136       Result = svalBuilder.makeTruthVal(true, U->getType());
1143         svalBuilder.conjureSymbolVal(nullptr, U, LCtx,
1152         svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType()));
1157           Constraint = svalBuilder.evalEQ(state, SymVal,
1158                                        svalBuilder.makeZeroVal(U->getType()));