http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59800
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
And looking at the libstdc++ code, it indeed has _M_saved initially
uninitialized, and all reads of it guarded by _M_saved_available flag.
Supposedly predicate aware unitialized warning pass isn't able to figure that
out.
