attribs: Improve diagnostics

Message ID Yy1Sjn8VA1HVBkB7@tucnak
State Committed
Headers
Series attribs: Improve diagnostics |

Commit Message

Jakub Jelinek Sept. 23, 2022, 6:30 a.m. UTC
  Hi!

When looking at the attribs code, I've noticed weird diagnostics
like
int a __attribute__((section ("foo", "bar")));
a.c:1:1: error: wrong number of arguments specified for ‘section’ attribute
    1 | int a __attribute__((section ("foo", "bar")));
      | ^~~
a.c:1:1: note: expected between 1 and 1, found 2
As roughly 50% of attributes that accept any arguments have
spec->min_length == spec->max_length, I think it is worth it to have
separate wording for such common case and just write simpler
a.c:1:1: note: expected 1, found 2

Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?

2022-09-23  Jakub Jelinek  <jakub@redhat.com>

	* attribs.cc (decl_attributes): Improve diagnostics, instead of
	saying expected between 1 and 1, found 2 just say expected 1, found 2.



	Jakub
  

Comments

Richard Biener Sept. 23, 2022, 6:49 a.m. UTC | #1
On Fri, 23 Sep 2022, Jakub Jelinek wrote:

> Hi!
> 
> When looking at the attribs code, I've noticed weird diagnostics
> like
> int a __attribute__((section ("foo", "bar")));
> a.c:1:1: error: wrong number of arguments specified for ?section? attribute
>     1 | int a __attribute__((section ("foo", "bar")));
>       | ^~~
> a.c:1:1: note: expected between 1 and 1, found 2
> As roughly 50% of attributes that accept any arguments have
> spec->min_length == spec->max_length, I think it is worth it to have
> separate wording for such common case and just write simpler
> a.c:1:1: note: expected 1, found 2
> 
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?

OK.

Thanks,
Richard.

> 2022-09-23  Jakub Jelinek  <jakub@redhat.com>
> 
> 	* attribs.cc (decl_attributes): Improve diagnostics, instead of
> 	saying expected between 1 and 1, found 2 just say expected 1, found 2.
> 
> --- gcc/attribs.cc.jj	2022-09-22 10:54:44.693705319 +0200
> +++ gcc/attribs.cc	2022-09-22 18:18:38.142414100 +0200
> @@ -737,6 +737,9 @@ decl_attributes (tree *node, tree attrib
>  	      if (spec->max_length < 0)
>  		inform (input_location, "expected %i or more, found %i",
>  			spec->min_length, nargs);
> +	      else if (spec->min_length == spec->max_length)
> +		inform (input_location, "expected %i, found %i",
> +			spec->min_length, nargs);
>  	      else
>  		inform (input_location, "expected between %i and %i, found %i",
>  			spec->min_length, spec->max_length, nargs);
> 
> 
> 	Jakub
> 
>
  

Patch

--- gcc/attribs.cc.jj	2022-09-22 10:54:44.693705319 +0200
+++ gcc/attribs.cc	2022-09-22 18:18:38.142414100 +0200
@@ -737,6 +737,9 @@  decl_attributes (tree *node, tree attrib
 	      if (spec->max_length < 0)
 		inform (input_location, "expected %i or more, found %i",
 			spec->min_length, nargs);
+	      else if (spec->min_length == spec->max_length)
+		inform (input_location, "expected %i, found %i",
+			spec->min_length, nargs);
 	      else
 		inform (input_location, "expected between %i and %i, found %i",
 			spec->min_length, spec->max_length, nargs);