https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97858
--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Well, so one enhancement request would be for va_list fields don't warn about
the internal fields, but warn about use of uninitialized va_list itself.
And the second thing is if the
if (tail)
va_start (ap, tail);
for (bool first = true; str; first = false)
{
use (str);
if (first)
str = tail;
else
str = va_arg (ap, char *);
}
if (tail)
va_end (ap);
is something uninit infrastructure should understand as never doing va_arg if
tail (the condition guarding va_start) is NULL.
