[PATCH] Improve [-W..] display for -Wformat

[Vishnu Mohandas]

Hello,
The patch below proposes a possible improvement for the issue mentioned in
bug 65445. Although I'm not certain that it address all the concerns, it
does seem to make it better.

Bootstrapped on x86_64 Linux.

Thanks,
Vishnu

   1   │ diff --git a/gcc/opt-functions.awk b/gcc/opt-functions.awk
   2   │ index 9001a049ed9..96ba21347ef 100644
   3   │ --- a/gcc/opt-functions.awk
   4   │ +++ b/gcc/opt-functions.awk
   5   │ @@ -26,18 +26,6 @@ BEGIN {
   6   │     alnum = lower "" upper "" digit
   7   │  }
   8   │
   9   │ -#Define an array of options and their corresponding enabling
options
  10   │ -BEGIN {
  11   │ -   opts_enable_table["Wformat"] = "Wformat-contains-nul
Wformat-truncation"
  12   │ -}
  13   │ -#Return a INT for a warning option
  14   │ -function get_enabling_options(opt)
  15   │ -{
  16   │ -   if (opt in opts_enable_table)
  17   │ -       return opts_enable_table[opt]
  18   │ -   else
  19   │ -       return ""
  20   │ -
  21   │  # Return nonzero if FLAGS contains a flag matching REGEX.
  22   │  function flag_set_p(regex, flags)
  23   │  {