Lines Matching defs:VAList
62 void reportUninitializedAccess(const MemRegion *VAList, StringRef Msg,
139 const MemRegion *VAList =
142 if (!VAList)
145 if (C.getState()->contains<InitializedVALists>(VAList))
156 reportUninitializedAccess(VAList, Errmsg.c_str(), C);
191 const MemRegion *VAList =
193 if (!VAList)
197 if (!State->contains<InitializedVALists>(VAList))
199 VAList, "va_arg() is called on an uninitialized va_list", C);
247 void ValistChecker::reportUninitializedAccess(const MemRegion *VAList,
258 R->markInteresting(VAList);
259 R->addVisitor(std::make_unique<ValistBugVisitor>(VAList));
310 const MemRegion *VAList =
312 if (!VAList)
321 if (ChecksEnabled[CK_CopyToSelf] && VAList == Arg2) {
322 RegionVector LeakedVALists{VAList};
328 if (State->contains<InitializedVALists>(VAList)) {
329 State = State->remove<InitializedVALists>(VAList);
330 RegionVector LeakedVALists{VAList};
342 if (State->contains<InitializedVALists>(VAList)) {
343 RegionVector LeakedVALists{VAList};
350 State = State->add<InitializedVALists>(VAList);
357 const MemRegion *VAList =
359 if (!VAList)
367 if (!C.getState()->contains<InitializedVALists>(VAList)) {
369 VAList, "va_end() is called on an uninitialized va_list", C);
373 State = State->remove<InitializedVALists>(VAList);