reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
40 ProgramStateRef state = C.getState(); 41 SVal V = C.getSVal(Ex); 45 if (ExplodedNode *N = C.generateErrorNode()) { 52 C.emitReport(std::move(report)); 68 if (ExplodedNode *N = C.generateNonFatalErrorNode(nullState)) { 77 C.emitReport(std::move(report)); 87 C.addTransition(notNullState);