https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60165
--- Comment #18 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- 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.