reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
295 ProgramStateRef state = C.getState(); 305 ExplodedNode *N = C.generateErrorNode(); 311 C.emitReport(std::move(Report)); 314 reportUseDestroyedBug(C, CE); 328 ExplodedNode *N = C.generateErrorNode(); 335 C.emitReport(std::move(report)); 343 C.addTransition(state);