From 4519d7458855f282a510a6da8f7c9e7e3d925b22 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Thu, 28 Jun 2012 11:45:14 +0000 Subject: re PR middle-end/53790 (ICE on dereferencing a extern union in asm statement) 2012-06-28 Richard Guenther PR middle-end/53790 * expr.c (expand_expr_real_1): Verify if the type is complete before inspecting its size. * gcc.dg/torture/pr53790.c: New testcase. From-SVN: r189045 --- gcc/ChangeLog | 6 ++++++ gcc/expr.c | 1 + gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr53790.c | 17 +++++++++++++++++ 4 files changed, 29 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr53790.c (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8b9f9cb..76e8913 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-06-28 Richard Guenther + + PR middle-end/53790 + * expr.c (expand_expr_real_1): Verify if the type is complete + before inspecting its size. + 2012-06-28 Andreas Schwab * doc/include/gpl.texi: Remove. diff --git a/gcc/expr.c b/gcc/expr.c index 0d26442..9a9af5b 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -9832,6 +9832,7 @@ expand_expr_real_1 (tree exp, rtx target, enum machine_mode tmode, orig_op0 = op0 = expand_expr (tem, (TREE_CODE (TREE_TYPE (tem)) == UNION_TYPE + && COMPLETE_TYPE_P (TREE_TYPE (tem)) && (TREE_CODE (TYPE_SIZE (TREE_TYPE (tem))) != INTEGER_CST) && modifier != EXPAND_STACK_PARM diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f7ca830..406bd1f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-06-28 Richard Guenther + + PR middle-end/53790 + * gcc.dg/torture/pr53790.c: New testcase. + 2012-06-28 Jakub Jelinek PR tree-optimization/53645 diff --git a/gcc/testsuite/gcc.dg/torture/pr53790.c b/gcc/testsuite/gcc.dg/torture/pr53790.c new file mode 100644 index 0000000..0abd3dd --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr53790.c @@ -0,0 +1,17 @@ +/* { dg-do compile } */ + +typedef struct s { + int value; +} s_t; + +static inline int +read(s_t const *var) +{ + return var->value; +} + +int main() +{ + extern union u extern_var; + return read((s_t *)&extern_var); +} -- cgit v1.1