diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-11-23 16:12:58 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-11-23 16:12:58 +0100 |
| commit | 1a65a0083e884e3c57bfc2b9d8c0caac7ea4a334 (patch) | |
| tree | 77ee521550df6beb1313ae8cd1756ced729d3df5 /gcc | |
| parent | e297eb600dd52acd73fb64ca45905b68f4e9b99b (diff) | |
| download | gcc-1a65a0083e884e3c57bfc2b9d8c0caac7ea4a334.zip gcc-1a65a0083e884e3c57bfc2b9d8c0caac7ea4a334.tar.gz gcc-1a65a0083e884e3c57bfc2b9d8c0caac7ea4a334.tar.bz2 | |
re PR middle-end/55430 (LRA miscompilation of ree.c)
PR middle-end/55430
* gcc.dg/pr55430.c: New test.
From-SVN: r193757
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr55430.c | 43 |
2 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 74a120d..ee90eeb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-11-23 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/55430 + * gcc.dg/pr55430.c: New test. + 2012-11-23 Kostya Serebryany <kcc@google.com> * c-c++-common/asan/memcmp-1.c: Update to match the new libsanitizer. diff --git a/gcc/testsuite/gcc.dg/pr55430.c b/gcc/testsuite/gcc.dg/pr55430.c new file mode 100644 index 0000000..dda02f3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr55430.c @@ -0,0 +1,43 @@ +/* PR middle-end/55430 */ +/* { dg-do run { target mmap } } */ +/* { dg-options "-O2" } */ + +#include <stddef.h> +#include <stdio.h> +#include <sys/mman.h> +#ifndef MAP_ANONYMOUS +#define MAP_ANONYMOUS MAP_ANON +#endif +#ifndef MAP_ANON +#define MAP_ANON 0 +#endif +#include <stdlib.h> + +struct S +{ + unsigned int s1 : 8; + unsigned int s2 : 2; +}; + +__attribute__((noinline, noclone)) int +foo (int x, int y, struct S *z, unsigned int w) +{ + if (z[y].s2 == x && z[y].s1 == w) + return 1; + return 0; +} + +int +main () +{ + char *p = mmap (NULL, 131072, PROT_READ | PROT_WRITE, + MAP_PRIVATE | MAP_ANONYMOUS, -1, 0); + if (p == MAP_FAILED) + return 0; + if (munmap (p + 65536, 65536) < 0) + return 0; + if ((65536 / sizeof (struct S)) * sizeof (struct S) != 65536) + return 0; + struct S *s = (struct S *) (p + 65536); + return foo (0, 0, s - 1, 0) != 1; +} |