re PR c/62024 (__atomic_always_lock_free is not a constant expression)

	PR c/62024
	* c-parser.c (c_parser_static_assert_declaration_no_semi): Strip no-op
	conversions.

	* g++.dg/cpp0x/pr62024.C: New test.
	* gcc.dg/pr62024.c: New test.

From-SVN: r214871

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 2d02c7b9466f30faee8ae39586b43fb1697aa31e..af175a4a9146330282f680111b21a67f99260479 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,9 @@
+2014-09-03  Marek Polacek  <polacek@redhat.com>
+
+       PR c/62024
+       * c-parser.c (c_parser_static_assert_declaration_no_semi): Strip no-op
+       conversions.
+
 2014-09-02  Jakub Jelinek  <jakub@redhat.com>
            Balaji V. Iyer  <balaji.v.iyer@intel.com>
            Igor Zamyatin  <igor.zamyatin@intel.com>

diff --git a/gcc/c/c-parser.c b/gcc/c/c-parser.c
index 03c68309493429a5f8d67e75ea7803b81ebb5c54..3f4a92ba8b46b52b10d1623ab601a9998471d8c5 100644 (file)
--- a/gcc/c/c-parser.c
+++ b/gcc/c/c-parser.c
@@ -2060,6 +2060,8 @@ c_parser_static_assert_declaration_no_semi (c_parser *parser)
   if (TREE_CODE (value) != INTEGER_CST)
     {
       value = c_fully_fold (value, false, NULL);
+      /* Strip no-op conversions.  */
+      STRIP_TYPE_NOPS (value);
       if (TREE_CODE (value) == INTEGER_CST)
        pedwarn (value_loc, OPT_Wpedantic, "expression in static assertion "
                 "is not an integer constant expression");

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4065e49dc9af7c57a5b12f3cab8738fb372a45df..5d1cf61248aaf64d53d1e5be03b8d750ce375110 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2014-09-03  Marek Polacek  <polacek@redhat.com>
+
+       PR c/62024
+       * g++.dg/cpp0x/pr62024.C: New test.
+       * gcc.dg/pr62024.c: New test.
+
 2014-09-03  Ilya Tocar  <ilya.tocar@intel.com>
 
        * gcc.target/i386/adx-addcarryx32-1.c: Test addcarry, subborrow.

diff --git a/gcc/testsuite/g++.dg/cpp0x/pr62024.C b/gcc/testsuite/g++.dg/cpp0x/pr62024.C
new file mode 100644 (file)
index 0000000..5f0640a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr62024.C
@@ -0,0 +1,7 @@
+// PR c/62024
+// { dg-do compile { target c++11 } }
+// { dg-require-effective-target sync_char_short }
+
+int *p;
+static_assert (__atomic_always_lock_free (1, p), "");
+static_assert (__atomic_always_lock_free (1, 0), "");

diff --git a/gcc/testsuite/gcc.dg/pr62024.c b/gcc/testsuite/gcc.dg/pr62024.c
new file mode 100644 (file)
index 0000000..79a0b79
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr62024.c
@@ -0,0 +1,8 @@
+/* PR c/62024 */
+/* { dg-do compile } */
+/* { dg-options "-std=gnu11 -Wpedantic" } */
+/* { dg-require-effective-target sync_char_short } */
+
+int *p;
+_Static_assert (__atomic_always_lock_free (1, p), ""); /* { dg-warning "is not an integer constant" } */
+_Static_assert (__atomic_always_lock_free (1, 0), ""); /* { dg-warning "is not an integer constant" } */