Lines Matching refs:VAList

62   void reportUninitializedAccess(const MemRegion *VAList, StringRef Msg,
140 const MemRegion *VAList = in checkPreCall() local
143 if (!VAList) in checkPreCall()
146 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
157 reportUninitializedAccess(VAList, Errmsg.c_str(), C); in checkPreCall()
192 const MemRegion *VAList = in checkPreStmt() local
194 if (!VAList) in checkPreStmt()
198 if (!State->contains<InitializedVALists>(VAList)) in checkPreStmt()
200 VAList, "va_arg() is called on an uninitialized va_list", C); in checkPreStmt()
248 void ValistChecker::reportUninitializedAccess(const MemRegion *VAList, in reportUninitializedAccess() argument
259 R->markInteresting(VAList); in reportUninitializedAccess()
260 R->addVisitor(std::make_unique<ValistBugVisitor>(VAList)); in reportUninitializedAccess()
311 const MemRegion *VAList = in checkVAListStartCall() local
313 if (!VAList) in checkVAListStartCall()
322 if (ChecksEnabled[CK_CopyToSelf] && VAList == Arg2) { in checkVAListStartCall()
323 RegionVector LeakedVALists{VAList}; in checkVAListStartCall()
329 if (State->contains<InitializedVALists>(VAList)) { in checkVAListStartCall()
330 State = State->remove<InitializedVALists>(VAList); in checkVAListStartCall()
331 RegionVector LeakedVALists{VAList}; in checkVAListStartCall()
343 if (State->contains<InitializedVALists>(VAList)) { in checkVAListStartCall()
344 RegionVector LeakedVALists{VAList}; in checkVAListStartCall()
351 State = State->add<InitializedVALists>(VAList); in checkVAListStartCall()
358 const MemRegion *VAList = in checkVAListEndCall() local
360 if (!VAList) in checkVAListEndCall()
368 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
370 VAList, "va_end() is called on an uninitialized va_list", C); in checkVAListEndCall()
374 State = State->remove<InitializedVALists>(VAList); in checkVAListEndCall()