diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-28 00:45:48 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-04-28 00:45:48 +0000 |
| commit | aaa8f689afbbcf6d0b7e9c8def41df8f7a5153f8 (patch) | |
| tree | e075ef044741bf5e950cddca77ae2825b21e0291 | |
| parent | fb16e37ae59bac6d7044da18a45e94854006abe9 (diff) | |
| download | ppe42-gcc-aaa8f689afbbcf6d0b7e9c8def41df8f7a5153f8.tar.gz ppe42-gcc-aaa8f689afbbcf6d0b7e9c8def41df8f7a5153f8.zip | |
* 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
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/c-typeck.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/void-cast-2.c | 8 |
4 files changed, 21 insertions, 4 deletions
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 <joseph@codesourcery.com> + + * c-typeck.c (build_compound_expr): Correct logic in last change. + 2005-04-27 James E. Wilson <wilson@specifixinc.com> * 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 <joseph@codesourcery.com> + + * gcc.dg/void-cast-2.c: New test. + 2005-04-27 Joseph S. Myers <joseph@codesourcery.com> 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 <joseph@codesourcery.com> */ +/* { 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" } */ |
