Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-23 03:03:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixits: fix warnings about duplicates

Browse Source 
* src/complain.c (duplicate_directive): Fix the complaint level.
* tests/input.at: Adjust.
This commit is contained in:
Akim Demaille
2019-01-17 06:45:13 +01:00
parent b443932991
commit d5d148630a
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/complain.c
View File

@@ -409,7 +409,7 @@ duplicate_directive (char const *directive,
else else
complain_indent (&second, Wother, &i, _("duplicate directive: %s"), directive); complain_indent (&second, Wother, &i, _("duplicate directive: %s"), directive);
i += SUB_INDENT; i += SUB_INDENT;
complain_indent (&first, complaint, &i, _("previous declaration")); complain_indent (&first, Wother, &i, _("previous declaration"));
fixits_register (&second, ""); fixits_register (&second, "");
} }

4
tests/input.at
View File

@@ -2527,10 +2527,10 @@ fix-it:"input.y":{14:1-15:3}:"%file-prefix"
input.y:17.1-19: warning: deprecated directive: '%fixed-output_files', use '%fixed-output-files' [-Wdeprecated] input.y:17.1-19: warning: deprecated directive: '%fixed-output_files', use '%fixed-output-files' [-Wdeprecated]
fix-it:"input.y":{17:1-17:20}:"%fixed-output-files" fix-it:"input.y":{17:1-17:20}:"%fixed-output-files"
input.y:18.1-19: warning: duplicate directive: %fixed_output-files [-Wother] input.y:18.1-19: warning: duplicate directive: %fixed_output-files [-Wother]
input.y:17.1-19: previous declaration input.y:17.1-19: previous declaration [-Wother]
fix-it:"input.y":{18:1-18:20}:"" fix-it:"input.y":{18:1-18:20}:""
input.y:19.1-19: warning: duplicate directive: %fixed-output-files [-Wother] input.y:19.1-19: warning: duplicate directive: %fixed-output-files [-Wother]
input.y:17.1-19: previous declaration input.y:17.1-19: previous declaration [-Wother]
fix-it:"input.y":{19:1-19:20}:"" fix-it:"input.y":{19:1-19:20}:""
input.y:20.1-19: warning: deprecated directive: '%name-prefix= "foo"', use '%define api.prefix {foo}' [-Wdeprecated] input.y:20.1-19: warning: deprecated directive: '%name-prefix= "foo"', use '%define api.prefix {foo}' [-Wdeprecated]
fix-it:"input.y":{20:1-20:20}:"%define api.prefix {foo}" fix-it:"input.y":{20:1-20:20}:"%define api.prefix {foo}"