reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
54 ProgramStateRef state = C.getState(); 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(), 64 ExplodedNode *N = C.generateErrorNode(StOutBound); 82 C.emitReport(std::move(report)); 88 C.addTransition(StInBound);