This fixes a segv, where -Wsizeof-array-argument crashed because expr.original_type was null. It was null because for sizeof (*&a) we go to c_parser_unary_expression's case CPP_AND: and case CPP_MULT:, and that removes the original_type. But we don't need the original type, we can just use TREE_TYPE of expr.value.
Bootstrapped/regtested on x86_64-linux, ok for trunk? 2017-09-13 Marek Polacek <pola...@redhat.com> PR c/82167 * c-typeck.c (c_expr_sizeof_expr): Use the type of expr.value rather than expr.original_type. * gcc.dg/pr82167.c: New test. diff --git gcc/c/c-typeck.c gcc/c/c-typeck.c index 91996c95ed0..f45fd3cfbbf 100644 --- gcc/c/c-typeck.c +++ gcc/c/c-typeck.c @@ -2909,7 +2909,7 @@ c_expr_sizeof_expr (location_t loc, struct c_expr expr) if (warning_at (loc, OPT_Wsizeof_array_argument, "%<sizeof%> on array function parameter %qE will " "return size of %qT", expr.value, - expr.original_type)) + TREE_TYPE (expr.value))) inform (DECL_SOURCE_LOCATION (expr.value), "declared here"); } tree folded_expr = c_fully_fold (expr.value, require_constant_value, diff --git gcc/testsuite/gcc.dg/pr82167.c gcc/testsuite/gcc.dg/pr82167.c index e69de29bb2d..af3b3a5a1c9 100644 --- gcc/testsuite/gcc.dg/pr82167.c +++ gcc/testsuite/gcc.dg/pr82167.c @@ -0,0 +1,14 @@ +/* PR c/82167 */ +/* { dg-do compile } */ + +void +fn1 (int a[]) +{ + __builtin_printf ("%zu\n", sizeof (*&a)); /* { dg-warning ".sizeof. on array function parameter .a. will return size of .int \\*." } */ +} + +void +fn2 (int *a[]) +{ + __builtin_printf ("%zu\n", sizeof (*&a)); /* { dg-warning ".sizeof. on array function parameter .a. will return size of .int \\*\\*." } */ +} Marek