diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-01-05 13:42:40 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-01-05 13:42:40 +0000 |
| commit | 82aee9233b2e880723cf6aba5db1fe42000a9ef5 (patch) | |
| tree | de35d790f8d69233802bd7770c31626901df9ae4 /gcc | |
| parent | bc3c12a29c67753c473b465767b2ba6b2f7e72a6 (diff) | |
| download | gcc-82aee9233b2e880723cf6aba5db1fe42000a9ef5.zip gcc-82aee9233b2e880723cf6aba5db1fe42000a9ef5.tar.gz gcc-82aee9233b2e880723cf6aba5db1fe42000a9ef5.tar.bz2 | |
re PR tree-optimization/42614 (FRE optimizes away valid code after IPA inlining)
2010-01-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/42614
* gcc.c-torture/execute/pr42614.c: New testcase.
From-SVN: r155647
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr42614.c | 68 |
2 files changed, 73 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 42eb680..813e005 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-01-05 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/42614 + * gcc.c-torture/execute/pr42614.c: New testcase. + 2010-01-05 Eric Fisher <joefoxreal@gmail.com> * gcc.dg/pr12603.c: Remove -Wunreachable-code from dg-options. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr42614.c b/gcc/testsuite/gcc.c-torture/execute/pr42614.c new file mode 100644 index 0000000..d368053 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr42614.c @@ -0,0 +1,68 @@ +extern void *malloc(__SIZE_TYPE__); +extern void abort(void); +extern void free(void *); + +typedef struct SEntry +{ + unsigned char num; +} TEntry; + +typedef struct STable +{ + TEntry data[2]; +} TTable; + +TTable *init () +{ + return malloc(sizeof(TTable)); +} + +void +expect_func (int a, unsigned char *b) __attribute__ ((noinline)); + +static inline void +inlined_wrong (TEntry *entry_p, int flag); + +void +inlined_wrong (TEntry *entry_p, int flag) +{ + unsigned char index; + entry_p->num = 0; + + if (flag == 0) + abort(); + + for (index = 0; index < 1; index++) + entry_p->num++; + + if (!entry_p->num) + { + abort(); + } +} + +void +expect_func (int a, unsigned char *b) +{ + if (abs ((a == 0))) + abort (); + if (abs ((b == 0))) + abort (); +} + +int +main () +{ + unsigned char index = 0; + TTable *table_p = init(); + TEntry work; + + inlined_wrong (&(table_p->data[1]), 1); + expect_func (1, &index); + inlined_wrong (&work, 1); + + free (table_p); + + return 0; +} + |