decl.c (prepend_one_attribute_pragma): Call Is_OK_Static_Expression in lieu of Is_Sta...

	* 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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index dfd652371a332691cd2d515587f6d3e2c9085c60..7658d3d6a5b72dbb9d899d17705e4ccda88ebdce 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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.

diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c
index f3f3d6d44ebd5fc4d88676d95df2677b8b901068..aed49b7e9dbcf889f8479ce19aef7c051ae127d6 100644 (file)
--- a/gcc/ada/gcc-interface/decl.c
+++ b/gcc/ada/gcc-interface/decl.c
@@ -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));