StaticAnalyzer/Checkers/ValistChecker.cpp

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