reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
254 if (!C.inTopFrame()) 257 if (!isInMIGCall(C)) 265 ProgramStateRef State = C.getState(); 269 SVal V = C.getSVal(RS); 270 if (mayBeSuccess(V, C)) 273 ExplodedNode *N = C.generateErrorNode(); 287 C.emitReport(std::move(R));