Lines Matching defs:SymMgr

325           auto &SymMgr = C.getSymbolManager();
329               SymMgr.conjureSymbol(CE, C.getLocationContext(),
438     auto &SymMgr = C.getSymbolManager();
439     auto &BVF = SymMgr.getBasicVals();
445                     SymMgr.getType(EndSym)).getAsSymbol();
467     auto &SymMgr = C.getSymbolManager();
468     auto &BVF = SymMgr.getBasicVals();
474                     SymMgr.getType(EndSym)).getAsSymbol();
512       auto &SymMgr = C.getSymbolManager();
513       auto &BVF = SymMgr.getBasicVals();
519                       SymMgr.getType(BeginSym)).getAsSymbol();
549     auto &SymMgr = C.getSymbolManager();
550     auto &BVF = SymMgr.getBasicVals();
556                     SymMgr.getType(BeginSym)).getAsSymbol();
674   auto &SymMgr = C.getSymbolManager();
675   auto &BVF = SymMgr.getBasicVals();
681                   SymMgr.getType(Pos->getOffset())).getAsSymbol();
856   auto &SymMgr = State->getSymbolManager();
857   const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount,
879   auto &SymMgr = State->getSymbolManager();
880   const SymbolConjured *Sym = SymMgr.conjureSymbol(E, LCtx, T, BlockCount,
1031   auto &SymMgr = SVB.getSymbolManager();
1034                               SymMgr.getType(OrigExpr));
1041                          SymMgr.getType(OrigExpr)).getAsSymbol();