diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/ipa/ipa-structreorg-20-array-offset-0.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/ipa/ipa-structreorg-20-array-offset-0.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-structreorg-20-array-offset-0.c b/gcc/testsuite/gcc.dg/ipa/ipa-structreorg-20-array-offset-0.c new file mode 100644 index 00000000000..581cdba8840 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/ipa-structreorg-20-array-offset-0.c @@ -0,0 +1,24 @@ +/* { dg-do run } */ +/* { dg-options "-flto -fipa-type-escape-analysis -fdump-ipa-type-escape-analysis -Wno-dfa -fipa-dlo-tests" } */ + +#include <assert.h> + +int +main () +{ + struct astruct_s + { + _Bool a; + _Bool b; + _Bool c; + }; + struct astruct_s b[2]; + _Bool *a_0_ptr = &(b[0].a); + _Bool *c_0_ptr = &(b[0].c); + _Bool *a_1_ptr = &(b[1].a); + + _Bool *c_0_ptr_from_a_0_ptr = a_0_ptr + 1; + _Bool *c_0_ptr_from_a_1_ptr = a_1_ptr - 1; + assert (c_0_ptr_from_a_0_ptr == c_0_ptr); + assert (c_0_ptr_from_a_1_ptr == c_0_ptr); +} |