https://gcc.gnu.org/bugzilla/show_bug.cgi?id=16358
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |egallager at gcc dot gnu.org
Summary|-Wno-system-headers hides |-Wno-system-headers hides
|warning caused by user |warning caused by user
|header vs system header |header vs system header
|conflict |conflict [i.e. add
| |-Wmacro-redefined]
--- Comment #12 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to niva from comment #11)
> (in reply to Martin Sebor in comment #10)
>
> Implementation of -Wmacro-redefined (with possibility of turning this
> warning to error) would solve the problem of our users.
Retitling accordingly
