Lines Matching refs:getSValBuilder
70 svalBuilder(StateMgr.getSValBuilder()),
227 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(),
487 SValBuilder &SVB = getSValBuilder();
571 Loc ThisPtr = getSValBuilder().getCXXThis(CurDtor,
592 Loc ThisVal = getSValBuilder().getCXXThis(CurDtor,
