https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60165
--- Comment #20 from Marc Glisse <glisse 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. "There exists" is implicitly "in the internal representation at some specific stage in the optimization process", not directly in the user's code. This applies to any middle-end warning. If you want to suggest some clearer documentation...