https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60165
--- Comment #19 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to Vincent Lefèvre from comment #18) > OK, but then, this means that the first sentence of the > -Wmaybe-uninitialized documentation is incorrect. That's probably the "there > exists" that is problematic, because of the possible difference of what > actually exists and what the compiler sees. I don't disagree but a bug report about that will just linger forever without any useful information. Sending a documentation patch and convincing the middle-end reviewers will be more effective. Also, the same is true for any middle-end warning: https://gcc.gnu.org/wiki/cauldron2018?action=AttachFile&do=get&target=Static_Analysis_in_GCC_Middle-End.pdf
