reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
312 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); 316 ProgramStateRef State = C.getState(); 320 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); 324 if (ExplodedNode *N = C.addTransition(State)) 326 " is copied onto itself", C, N, true); 332 if (ExplodedNode *N = C.addTransition(State)) 334 " is overwritten by an uninitialized one", C, N, 337 reportUninitializedAccess(Arg2, "Uninitialized va_list is copied", C); 345 if (ExplodedNode *N = C.addTransition(State)) 347 " is initialized again", C, N); 352 C.addTransition(State);