Wclobbered (PR7651 Define -Wextra strictly in terms of other warning flags)

["Manuel LÃpez-IbÃÃez" <lopezibanez at gmail dot com>]

:ADDPATCH middle-end:

This patch continues the effort to fix PR7651 [1].

It adds a new option -Wclobbered [*] that takes over the function of
warning about variables that might be changed by "longjmp" or "vfork".
The new option is enabled by -Wextra, so we keep the current behaviour
but add the ability to enable/disable this individual warning.

Bootstrapped and regression tested with --enable-languages=all on
i686-pc-linux-gnu.

OK for mainline?

[*] The hardest part is to come up with good names, suggestions are welcome.

[1] http://gcc.gnu.org/ml/gcc-patches/2006-12/msg01103.html


2006-12-17  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

   PR middle-end/7651
   * c.opt (Wclobbered): New.
   * doc/invoke.texi (Wclobbered) : Document it.
   (Wextra): Enabled by -Wextra.
   * c-opts.c (c_common_post_options): Enabled by -Wextra.
   * flow.c (rest_of_handle_life): Replace Wextra with Wclobbered.
   * function.c (setjmp_vars_warning): Only warn for Wclobbered.
   (setjmp_args_warning): Likewise

testsuite/
2006-12-17  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

   PR middle-end/7651
   * gcc.dg/attr-returns_twice-1.c: Replace Wextra with Wclobbered.
   * gcc.dg/setjmp-1.c: Add explicit Wclobbered.

Attachment: wclobbered.diff
Description: Text document