2010-04-10 Tobias Burnus <burnus@net-b.de>

[pf3gnuchains/gcc-fork.git] / gcc / optc-gen.awk

diff --git a/gcc/optc-gen.awk b/gcc/optc-gen.awk
index 2117150..60211df 100644 (file)
--- a/gcc/optc-gen.awk
+++ b/gcc/optc-gen.awk
@@ -1,4 +1,5 @@
-#  Copyright (C) 2003, 2004, 2007, 2008, 2009 Free Software Foundation, Inc.
+#  Copyright (C) 2003, 2004, 2007, 2008, 2009, 2010
+#  Free Software Foundation, Inc.
 #  Contributed by Kelley Cook, June 2004.
 #  Original code from Neil Booth, May 2003.
 #
@@ -169,10 +170,7 @@ for (i = 0; i < n_opts; i++) {
        }
 
        len = length (opts[i]);
-       enum = "OPT_" opts[i]
-       if (opts[i] == "finline-limit=" || opts[i] == "Wlarger-than=")
-               enum = enum "eq"
-       gsub ("[^A-Za-z0-9]", "_", enum)
+       enum = opt_enum(opts[i])
 
        # If this switch takes joined arguments, back-chain all
        # subsequent switches to it for which it is a prefix.  If
@@ -327,6 +325,7 @@ for (i = 0; i < n_opt_char; i++) {
        print "  " var_opt_char[i] " = ptr->" var_opt_char[i] ";";
 }
 
+print "  targetm.override_options_after_change ();";
 print "}";
 
 print "";
@@ -340,7 +339,7 @@ print "{";
 print "  fputs (\"\\n\", file);";
 for (i = 0; i < n_opt_other; i++) {
        print "  if (ptr->" var_opt_other[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%lx)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#lx)\\n\",";
        print "             indent_to, \"\",";
        print "             \"" var_opt_other[i] "\",";
        print "             (unsigned long)ptr->" var_opt_other[i] ");";
@@ -349,7 +348,7 @@ for (i = 0; i < n_opt_other; i++) {
 
 for (i = 0; i < n_opt_int; i++) {
        print "  if (ptr->" var_opt_int[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent_to, \"\",";
        print "             \"" var_opt_int[i] "\",";
        print "             ptr->" var_opt_int[i] ");";
@@ -358,7 +357,7 @@ for (i = 0; i < n_opt_int; i++) {
 
 for (i = 0; i < n_opt_short; i++) {
        print "  if (ptr->" var_opt_short[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent_to, \"\",";
        print "             \"" var_opt_short[i] "\",";
        print "             ptr->" var_opt_short[i] ");";
@@ -367,7 +366,7 @@ for (i = 0; i < n_opt_short; i++) {
 
 for (i = 0; i < n_opt_char; i++) {
        print "  if (ptr->" var_opt_char[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent_to, \"\",";
        print "             \"" var_opt_char[i] "\",";
        print "             ptr->" var_opt_char[i] ");";
@@ -495,7 +494,7 @@ print "{";
 print "  fputs (\"\\n\", file);";
 for (i = 0; i < n_target_other; i++) {
        print "  if (ptr->" var_target_other[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%lx)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#lx)\\n\",";
        print "             indent, \"\",";
        print "             \"" var_target_other[i] "\",";
        print "             (unsigned long)ptr->" var_target_other[i] ");";
@@ -504,7 +503,7 @@ for (i = 0; i < n_target_other; i++) {
 
 for (i = 0; i < n_target_int; i++) {
        print "  if (ptr->" var_target_int[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent, \"\",";
        print "             \"" var_target_int[i] "\",";
        print "             ptr->" var_target_int[i] ");";
@@ -513,7 +512,7 @@ for (i = 0; i < n_target_int; i++) {
 
 for (i = 0; i < n_target_short; i++) {
        print "  if (ptr->" var_target_short[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent, \"\",";
        print "             \"" var_target_short[i] "\",";
        print "             ptr->" var_target_short[i] ");";
@@ -522,7 +521,7 @@ for (i = 0; i < n_target_short; i++) {
 
 for (i = 0; i < n_target_char; i++) {
        print "  if (ptr->" var_target_char[i] ")";
-       print "    fprintf (file, \"%*s%s (0x%x)\\n\",";
+       print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent, \"\",";
        print "             \"" var_target_char[i] "\",";
        print "             ptr->" var_target_char[i] ");";