reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
205 ProgramStateRef State = C.getState(); 214 if (ExplodedNode *N = C.addTransition(State)) 215 reportLeakedVALists(LeakedVALists, "Initialized va_list", " is leaked", C,