StaticAnalyzer/Core/ExprEngine.cpp

70     svalBuilder(StateMgr.getSValBuilder()),
120                                            svalBuilder.makeZeroVal(T),
157         loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
454   SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
722                               svalBuilder.makeIntValWithPtrWidth(0, false));
810       Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
851         SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
1611       DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state,
1701     SVal V = svalBuilder.makeIntVal(ED->getInitVal());
1706     SVal V = svalBuilder.getFunctionPointer(FD);
1715     SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
1779     SVal MDVal = svalBuilder.getFunctionPointer(MD);
2168         SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
2175         SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());