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,