From aaa8f689afbbcf6d0b7e9c8def41df8f7a5153f8 Mon Sep 17 00:00:00 2001 From: jsm28 Date: Thu, 28 Apr 2005 00:45:48 +0000 Subject: [PATCH] * c-typeck.c (build_compound_expr): Correct logic in last change. testsuite: * gcc.dg/void-cast-2.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@98901 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 4 ++++ gcc/c-typeck.c | 9 +++++---- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/void-cast-2.c | 8 ++++++++ 4 files changed, 21 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/void-cast-2.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5da37d415a8..95fe5f5742d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2005-04-28 Joseph S. Myers + + * c-typeck.c (build_compound_expr): Correct logic in last change. + 2005-04-27 James E. Wilson * config/ia64/ia64.c (update_set_flags): Delete ppred and pcond diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c index 281d2b0cf14..3a5d11d1f42 100644 --- a/gcc/c-typeck.c +++ b/gcc/c-typeck.c @@ -3108,12 +3108,13 @@ build_compound_expr (tree expr1, tree expr2) /* The left-hand operand of a comma expression is like an expression statement: with -Wextra or -Wunused, we should warn if it doesn't have any side-effects, unless it was explicitly cast to (void). */ - if (warn_unused_value - && !VOID_TYPE_P (TREE_TYPE (expr1))) + if (warn_unused_value) { - if (TREE_CODE (expr1) == CONVERT_EXPR) + if (VOID_TYPE_P (TREE_TYPE (expr1)) + && TREE_CODE (expr1) == CONVERT_EXPR) ; /* (void) a, b */ - else if (TREE_CODE (expr1) == COMPOUND_EXPR + else if (VOID_TYPE_P (TREE_TYPE (expr1)) + && TREE_CODE (expr1) == COMPOUND_EXPR && TREE_CODE (TREE_OPERAND (expr1, 1)) == CONVERT_EXPR) ; /* (void) a, (void) b, c */ else diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b16bf69aba5..1f7bc01814d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2005-04-28 Joseph S. Myers + + * gcc.dg/void-cast-2.c: New test. + 2005-04-27 Joseph S. Myers PR c/21159 diff --git a/gcc/testsuite/gcc.dg/void-cast-2.c b/gcc/testsuite/gcc.dg/void-cast-2.c new file mode 100644 index 00000000000..c51e91aaf62 --- /dev/null +++ b/gcc/testsuite/gcc.dg/void-cast-2.c @@ -0,0 +1,8 @@ +/* Test further cases of warnings for comma expressions, with and + without casts to void. */ +/* Origin: Joseph Myers */ +/* { dg-do compile } */ +/* { dg-options "-Wall" } */ +int a, b, c, d; +int e(void) { return (char)a, b; } /* { dg-warning "warning: left-hand operand of comma expression has no effect" } */ +int f(void) { return (a ? (void)b : (void)c), d; } /* { dg-warning "warning: left-hand operand of comma expression has no effect" } */ -- 2.11.4.GIT