Lines Matching refs:VAList
62 void reportUninitializedAccess(const MemRegion *VAList, StringRef Msg,
141 const MemRegion *VAList = in checkPreCall() local
144 if (!VAList) in checkPreCall()
147 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
158 reportUninitializedAccess(VAList, Errmsg.c_str(), C); in checkPreCall()
193 const MemRegion *VAList = in checkPreStmt() local
195 if (!VAList) in checkPreStmt()
199 if (!State->contains<InitializedVALists>(VAList)) in checkPreStmt()
201 VAList, "va_arg() is called on an uninitialized va_list", C); in checkPreStmt()
249 void ValistChecker::reportUninitializedAccess(const MemRegion *VAList, in reportUninitializedAccess() argument
260 R->markInteresting(VAList); in reportUninitializedAccess()
261 R->addVisitor(std::make_unique<ValistBugVisitor>(VAList)); in reportUninitializedAccess()
312 const MemRegion *VAList = in checkVAListStartCall() local
314 if (!VAList) in checkVAListStartCall()
323 if (ChecksEnabled[CK_CopyToSelf] && VAList == Arg2) { in checkVAListStartCall()
324 RegionVector LeakedVALists{VAList}; in checkVAListStartCall()
330 if (State->contains<InitializedVALists>(VAList)) { in checkVAListStartCall()
331 State = State->remove<InitializedVALists>(VAList); in checkVAListStartCall()
332 RegionVector LeakedVALists{VAList}; in checkVAListStartCall()
344 if (State->contains<InitializedVALists>(VAList)) { in checkVAListStartCall()
345 RegionVector LeakedVALists{VAList}; in checkVAListStartCall()
352 State = State->add<InitializedVALists>(VAList); in checkVAListStartCall()
359 const MemRegion *VAList = in checkVAListEndCall() local
361 if (!VAList) in checkVAListEndCall()
369 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
371 VAList, "va_end() is called on an uninitialized va_list", C); in checkVAListEndCall()
375 State = State->remove<InitializedVALists>(VAList); in checkVAListEndCall()