Home | History | Annotate | Download | only in Checkers

Lines Matching defs:MemMgr

2657   MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();
2662       VR = MemMgr.getVarRegion(VR->getDecl(), LC);