https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84772
--- Comment #7 from Zack Weinberg <zackw at panix dot com> ---
I no longer remember enough about GIMPLE to comment on your actual proposed
fix, but I do have a small nitpick on the test case:
+ va_arg (ap, long double); /* { dg-bogus "may be used
uninitialized in this function" } */
I think that needs to be just { dg-bogus "used uninitialized" }, as you might
get either the "may be used initialized" or the "is used uninitialized"
message.
