From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 14 May 2013 20:50:43 +0000 (+0200)
Subject: re PR c++/57274 (Bogus sequence-point warning in C++)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f7716d57ce54f18ae5e44aed518bdb7d10af6b9f;p=gcc.git

re PR c++/57274 (Bogus sequence-point warning in C++)

	PR c++/57274
	* c-common.c (verify_tree): Don't recurse into SIZEOF_EXPR.

	* c-c++-common/Wsequence-point-1.c: New test.

From-SVN: r198903
---

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 62e14d07adb..840a10e973f 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-14  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/57274
+	* c-common.c (verify_tree): Don't recurse into SIZEOF_EXPR.
+
 2013-05-10  Marc Glisse  <marc.glisse@inria.fr>
 
 	* c-common.c (vector_types_convertible_p): No TYPE_PRECISION for
diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c
index 8cc12488613..7f5d3165b8b 100644
--- a/gcc/c-family/c-common.c
+++ b/gcc/c-family/c-common.c
@@ -3032,6 +3032,7 @@ verify_tree (tree x, struct tlist **pbefore_sp, struct tlist **pno_sp,
   switch (code)
     {
     case CONSTRUCTOR:
+    case SIZEOF_EXPR:
       return;
 
     case COMPOUND_EXPR:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9171c447132..4f9e5753dc9 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-14  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/57274
+	* c-c++-common/Wsequence-point-1.c: New test.
+
 2013-05-14  Marc Glisse  <marc.glisse@inria.fr>
 
 	* g++.dg/ext/vector22.C: New testcase.
diff --git a/gcc/testsuite/c-c++-common/Wsequence-point-1.c b/gcc/testsuite/c-c++-common/Wsequence-point-1.c
new file mode 100644
index 00000000000..60dd55bbb08
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/Wsequence-point-1.c
@@ -0,0 +1,17 @@
+/* PR c++/57274 */
+/* { dg-do compile } */
+/* { dg-options "-Wsequence-point" } */
+
+void foo (int, int);
+
+void
+bar (int *x)
+{
+  foo (*x++, sizeof (*x));	/* { dg-bogus "may be undefined" } */
+}
+
+void
+baz (int *x)
+{
+  foo (*x, sizeof (*x++) + sizeof (*x++));	/* { dg-bogus "may be undefined" } */
+}