Segher Boessenkool wrote: >> And further, there is no separation of warning classes into >> might-be-uninitialized and is-uninitialized-compiler-can-tell-for-sure. > > Indeed. Please file a bug report. Done: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39731 -Scott