reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
359 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); 368 if (!C.getState()->contains<InitializedVALists>(VAList)) { 370 VAList, "va_end() is called on an uninitialized va_list", C); 373 ProgramStateRef State = C.getState(); 375 C.addTransition(State);