Lines Matching refs:SymMgr
320 auto &SymMgr = C.getSymbolManager(); in handleAssignment() local
324 SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleAssignment()
433 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
434 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
440 SymMgr.getType(EndSym)).getAsSymbol(); in handlePushBack()
462 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
463 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
469 SymMgr.getType(EndSym)).getAsSymbol(); in handlePopBack()
507 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
508 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
514 SymMgr.getType(BeginSym)).getAsSymbol(); in handlePushFront()
544 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
545 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
551 SymMgr.getType(BeginSym)).getAsSymbol(); in handlePopFront()
669 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
670 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
676 SymMgr.getType(Pos->getOffset())).getAsSymbol(); in handleEraseAfter()
847 auto &SymMgr = State->getSymbolManager(); in createContainerBegin() local
848 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerBegin()
870 auto &SymMgr = State->getSymbolManager(); in createContainerEnd() local
871 const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount, in createContainerEnd()
1022 auto &SymMgr = SVB.getSymbolManager(); in rebaseSymbol() local
1025 SymMgr.getType(OrigExpr)); in rebaseSymbol()
1032 SymMgr.getType(OrigExpr)).getAsSymbol(); in rebaseSymbol()