reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2774 ProgramStateRef state = C.getState(); 2776 cast<BlockDataRegion>(C.getSVal(BE).getAsRegion()); 2785 const LocationContext *LC = C.getLocationContext(); 2786 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); 2798 C.addTransition(state);