Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

Lines Matching refs:svalBuilder
83     svalBuilder(StateMgr.getSValBuilder()),
133                                            svalBuilder.makeZeroVal(T),
134                                            svalBuilder.getConditionType());
170         loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
471   SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
509           SValBuilder &SVB = getSValBuilder();
860                               svalBuilder.makeIntValWithPtrWidth(0, false));
961       Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
1002         SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
1919             svalBuilder.getCXXThis(MD, LocCtxt->getCurrentStackFrame());
1944     SVal V = svalBuilder.makeIntVal(ED->getInitVal());
1949     SVal V = svalBuilder.getFunctionPointer(FD);
1958     SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
2031         SVal MDVal = svalBuilder.getFunctionPointer(MD);
2461         SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
2468         SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());
OpenGrok
