Lines Matching refs:svalBuilder
215 svalBuilder(StateMgr.getSValBuilder()),
259 svalBuilder.makeZeroVal(T),
260 svalBuilder.getConditionType());
296 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
832 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
1344 svalBuilder.makeIntValWithPtrWidth(0, false));
1454 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE);
1492 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2557 svalBuilder.getCXXThis(MD, LocCtxt->getStackFrame());
2584 SVal V = svalBuilder.makeIntVal(ED->getInitVal());
2589 SVal V = svalBuilder.getFunctionPointer(FD);
2688 SVal MDVal = svalBuilder.getFunctionPointer(MD);
3067 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
3074 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());