decl.c (prepend_one_attribute_pragma): Call Is_OK_Static_Expression in lieu of Is_Static_Expression to detect valid...

* gcc-interface/decl.c (prepend_one_attribute_pragma): Call
	Is_OK_Static_Expression in lieu of Is_Static_Expression to
	detect valid arguments.

From-SVN: r209409
This commit is contained in:
Eric Botcazou 2014-04-15 08:47:29 +00:00 committed by Eric Botcazou
parent 628169e0d7
commit bd6a077a91
2 changed files with 10 additions and 2 deletions

View File

@ -1,3 +1,9 @@
2014-04-15 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (prepend_one_attribute_pragma): Call
Is_OK_Static_Expression in lieu of Is_Static_Expression to
detect valid arguments.
2014-04-15 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.c (gnat_gimplify_stmt): Propagate loop hints.

View File

@ -6151,7 +6151,8 @@ prepend_one_attribute_pragma (struct attrib **attr_list, Node_Id gnat_pragma)
Node_Id gnat_arg0 = Next (First (gnat_arg));
Node_Id gnat_arg1 = Empty;
if (Present (gnat_arg0) && Is_Static_Expression (Expression (gnat_arg0)))
if (Present (gnat_arg0)
&& Is_OK_Static_Expression (Expression (gnat_arg0)))
{
gnu_arg0 = gnat_to_gnu (Expression (gnat_arg0));
@ -6165,7 +6166,8 @@ prepend_one_attribute_pragma (struct attrib **attr_list, Node_Id gnat_pragma)
gnat_arg1 = Next (gnat_arg0);
}
if (Present (gnat_arg1) && Is_Static_Expression (Expression (gnat_arg1)))
if (Present (gnat_arg1)
&& Is_OK_Static_Expression (Expression (gnat_arg1)))
{
gnu_arg1 = gnat_to_gnu (Expression (gnat_arg1));