[gcc r11-1191] Fix -Wformat-diag in options-save.c

[Martin Liska]

https://gcc.gnu.org/g:656e363bccc1926b223eb78962338d638ba72d32

commit r11-1191-g656e363bccc1926b223eb78962338d638ba72d32
Author: Martin Liska <mliska@suse.cz>
Date:   Thu Jun 11 09:12:25 2020 +0200

    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:
---
 gcc/optc-save-gen.awk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/optc-save-gen.awk b/gcc/optc-save-gen.awk
index 4a0e5ab64f3..1b010085b75 100644
--- 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 "}";