Hi,

On Tue, Nov 26 2019, Michael Witten wrote:
> [...]
> From  what  I've  read,  `-Wmaybe-uninitialized'  is  essentially
> customized for `-O2',

I don't think that is true.  It can be perfectly useful -O1 and there
are many nasty false positives at -O2 too.

> [...]
>     * If `-Wmaybe-uninitialized' is enabled  by the user, then it
>       implies `-O2' computations.
>
>       That is to say, when the user specifies:
>
>         -Og -Wmaybe-uninitialized
>
>       or:
>
>         -Og -Wextra
>
>       then the user is explicitly  telling the compiler to do all
>       the optimizations  of `-O2',  but ONLY  for the  purpose of
>       implementing `-Wmaybe-uninitialized'

If you try to implement this proposal, you'll quickly find that there is
no such thing as like "do all optimizations only for purposes of a
warning."  You either perform a transformation or not and subsequent
passes, such as pass_late_warn_uninitialized, start work where the
previous ones left off.

Martin

Reply via email to