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.
This commit is contained in:
Martin Liska 2020-06-11 09:12:25 +02:00
parent 184c21bf1c
commit 656e363bcc
No known key found for this signature in database
GPG key ID: 4DC182DC0FA73785

View file

@ -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 "}";