diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-01-05 09:42:53 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-01-05 09:42:53 +0100 |
| commit | 7604eb4e07613c79a9b81da29baabdac8187f461 (patch) | |
| tree | 63593f477af7cbbcba000ab65e0c226c033919f5 /gcc | |
| parent | 566f27e42ca00f65d101e6a7b0096554a0cc452d (diff) | |
| download | gcc-7604eb4e07613c79a9b81da29baabdac8187f461.zip gcc-7604eb4e07613c79a9b81da29baabdac8187f461.tar.gz gcc-7604eb4e07613c79a9b81da29baabdac8187f461.tar.bz2 | |
re PR other/42611 (ICE in tree_low_cst, at tree.c:5014)
PR other/42611
* cfgexpand.c (expand_one_var): Diagnose too large variables.
* gcc.dg/pr42611.c: New test.
From-SVN: r155641
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/cfgexpand.c | 10 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr42611.c | 19 |
4 files changed, 34 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b45e59c..89398d7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2010-01-05 Jakub Jelinek <jakub@redhat.com> + PR other/42611 + * cfgexpand.c (expand_one_var): Diagnose too large variables. + PR tree-optimization/42508 * tree-sra.c (convert_callers): Check for recursive call by comparing cgraph nodes instead of decls. diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index b0921bf..7e542da 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -1,5 +1,5 @@ /* A pass for lowering trees to RTL. - Copyright (C) 2004, 2005, 2006, 2007, 2008, 2009 + Copyright (C) 2004, 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. This file is part of GCC. @@ -1011,6 +1011,14 @@ expand_one_var (tree var, bool toplevel, bool really_expand) if (really_expand) expand_one_register_var (origvar); } + else if (!host_integerp (DECL_SIZE_UNIT (var), 1)) + { + if (really_expand) + { + error ("size of variable %q+D is too large", var); + expand_one_error_var (var); + } + } else if (defer_stack_allocation (var, toplevel)) add_stack_var (origvar); else diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8935879..aea6aa1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2010-01-05 Jakub Jelinek <jakub@redhat.com> + PR other/42611 + * gcc.dg/pr42611.c: New test. + PR tree-optimization/42508 * g++.dg/opt/pr42508.C: New test. diff --git a/gcc/testsuite/gcc.dg/pr42611.c b/gcc/testsuite/gcc.dg/pr42611.c new file mode 100644 index 0000000..c33e248 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr42611.c @@ -0,0 +1,19 @@ +/* PR other/42611 */ +/* { dg-do compile } */ +/* { dg-options "" } */ + +#define L \ + (sizeof (__SIZE_TYPE__) == 1 ? __SCHAR_MAX__ \ + : sizeof (__SIZE_TYPE__) == sizeof (short) ? __SHRT_MAX__ \ + : sizeof (__SIZE_TYPE__) == sizeof (int) ? __INT_MAX__ \ + : sizeof (__SIZE_TYPE__) == sizeof (long) ? __LONG_MAX__ \ + : sizeof (__SIZE_TYPE__) == sizeof (long long) ? __LONG_LONG_MAX__ \ + : __INTMAX_MAX__) +struct S { int a; char b[L]; }; + +void +foo (void) +{ + struct S s; /* { dg-error "is too large" } */ + asm volatile ("" : : "r" (&s)); +} |