From d5d148630ad3d10d68a9e7634c1c8f7767335938 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Thu, 17 Jan 2019 06:45:13 +0100 Subject: [PATCH] fixits: fix warnings about duplicates * src/complain.c (duplicate_directive): Fix the complaint level. * tests/input.at: Adjust. --- src/complain.c | 2 +- tests/input.at | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/complain.c b/src/complain.c index 813a442d..d623bb45 100644 --- a/src/complain.c +++ b/src/complain.c @@ -409,7 +409,7 @@ duplicate_directive (char const *directive, else complain_indent (&second, Wother, &i, _("duplicate directive: %s"), directive); i += SUB_INDENT; - complain_indent (&first, complaint, &i, _("previous declaration")); + complain_indent (&first, Wother, &i, _("previous declaration")); fixits_register (&second, ""); } diff --git a/tests/input.at b/tests/input.at index 39294bf6..8e30d23f 100644 --- a/tests/input.at +++ b/tests/input.at @@ -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] 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:17.1-19: previous declaration +input.y:17.1-19: previous declaration [-Wother] fix-it:"input.y":{18:1-18:20}:"" 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}:"" 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}"