From 4adb785d4481822edd5350f38b3fd2d3bcbfddca Mon Sep 17 00:00:00 2001 From: Mike Stump Date: Tue, 15 Aug 2006 18:01:19 +0000 Subject: [PATCH] re PR c/28280 (bogus "statement with no effect" warning with VLA and typeof) PR c/28280 * c-parser.c (c_parser_typeof_specifier): Don't use c_finish_expr_stmt, open code desired semantics instead. From-SVN: r116163 --- gcc/ChangeLog | 6 ++++++ gcc/c-parser.c | 14 +++++++++++++- gcc/testsuite/gcc.dg/vla-9.c | 9 +++++++++ 3 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/vla-9.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7caf0883f3d..218be977208 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2006-07-15 Mike Stump + + PR c/28280 + * c-parser.c (c_parser_typeof_specifier): Don't use + c_finish_expr_stmt, open code desired semantics instead. + 2006-08-15 Nick Clifton * config.gcc (x86-mingw32): Add a gthr-win32.h including makefile diff --git a/gcc/c-parser.c b/gcc/c-parser.c index 848da6305dc..6e243dff58a 100644 --- a/gcc/c-parser.c +++ b/gcc/c-parser.c @@ -2164,7 +2164,19 @@ c_parser_typeof_specifier (c_parser *parser) is evaluated, this can be evaluated. For now, we avoid evaluation when the context might. */ if (!skip_evaluation && was_vm) - c_finish_expr_stmt (expr.value); + { + tree e = expr.value; + + /* If the expression is not of a type to which we cannot assign a line + number, wrap the thing in a no-op NOP_EXPR. */ + if (DECL_P (e) || CONSTANT_CLASS_P (e)) + e = build1 (NOP_EXPR, void_type_node, e); + + if (EXPR_P (e)) + SET_EXPR_LOCATION (e, input_location); + + add_stmt (e); + } pop_maybe_used (was_vm); } c_parser_skip_until_found (parser, CPP_CLOSE_PAREN, "expected %<)%>"); diff --git a/gcc/testsuite/gcc.dg/vla-9.c b/gcc/testsuite/gcc.dg/vla-9.c new file mode 100644 index 00000000000..0b623b39da7 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vla-9.c @@ -0,0 +1,9 @@ +/* { dg-do compile } */ +/* { dg-options "-std=c99 -pedantic-errors -W -Wall" } */ +/* PR c/28280 */ + +void f(__SIZE_TYPE__ d) +{ + typedef int t[d]; + t *g = (__typeof (g)) d; +}