Fix -Wformat-diag in options-save.c

The patch removes bunch of warnings:

options-save.c:12004:29: warning: unquoted identifier or keyword ‘global_options’ in format [-Wformat-diag]
12004 |     internal_error ("Error: global_options are modified in local context\n");

gcc/ChangeLog:

	* optc-save-gen.awk: Quote error string.

diff --git a/gcc/optc-save-gen.awk b/gcc/optc-save-gen.awk
index 4a0e5ab64f388c7b2f688d263848d54e6dfc160a..1b010085b75cf4a916169d19bbc4a1ca13ea2748 100644 (file)
--- a/gcc/optc-save-gen.awk
+++ b/gcc/optc-save-gen.awk
@@ -967,7 +967,7 @@ for (i = 0; i < n_opts; i++) {
        checked_options[name]++
 
        print "  if (ptr1->x_" name " != ptr2->x_" name ")"
-       print "    internal_error (\"Error: global_options are modified in local context\\n\");";
+       print "    internal_error (\"%<global_options%> are modified in local context\");";
 }
 
 print "}";