diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2009-11-06 09:46:45 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2009-11-06 09:46:45 +0100 |
| commit | d32599a6e99da9345d2b7d94834b7e9dfcc109a8 (patch) | |
| tree | ea3cde61de4ddf98d55d21d6887d89e8f61719f0 /gcc/testsuite/gcc.dg/pr41935.c | |
| parent | 21a15d9f83dda328d9adfb6deede8d06b8a84c0d (diff) | |
| download | gcc-d32599a6e99da9345d2b7d94834b7e9dfcc109a8.zip gcc-d32599a6e99da9345d2b7d94834b7e9dfcc109a8.tar.gz gcc-d32599a6e99da9345d2b7d94834b7e9dfcc109a8.tar.bz2 | |
re PR c/41935 (ICE : tree check: expected integer_cst, have nop_expr in int_cst_value, at tree.c:8301)
PR middle-end/41935
* c-common.c (fold_offsetof_1) <case ARRAY_REF>: Don't crash for VLAs
or non-constant index, allow index one past the last element and
allow exceeding array bound in arrays that might be used as flexible
array members.
* gcc.dg/pr41935.c: New test.
* c-c++-common/pr41935.c: New test.
* c-c++-common/builtin-offsetof.c (f0): Allow index one past the last
element.
* gcc.c-torture/execute/pr41935.c: New test.
From-SVN: r153962
Diffstat (limited to 'gcc/testsuite/gcc.dg/pr41935.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr41935.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr41935.c b/gcc/testsuite/gcc.dg/pr41935.c new file mode 100644 index 0000000..e6a1b28 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr41935.c @@ -0,0 +1,25 @@ +/* PR middle-end/41935 */ +/* { dg-do run } */ +/* { dg-options "-O2" } */ + +extern void abort (void); +struct A { int a; int b[10]; }; + +int +foo (struct A *p) +{ + return __builtin_offsetof (struct A, b[p->a]); +} + +int +main () +{ + struct A a; + a.a = 7; + if (foo (&a) != 7 * sizeof (int) + __builtin_offsetof (struct A, b)) + abort (); + a.a = 2; + if (foo (&a) != 2 * sizeof (int) + __builtin_offsetof (struct A, b)) + abort (); + return 0; +} |