Dubious "'foo' might be used uninitialized in this function" message

[Robert Dewar]

I also think it is fine if optimization *suppresses* warnings if
it can tell they are not needed. It is problematic if warnings
appear when you optimize, but if the alternative is not getting
the warnings at all, how is that better ???