diff options
author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-01-24 08:54:25 +0000 |
---|---|---|
committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-01-24 08:54:25 +0000 |
commit | d7795efce29a8010afc6c71a9f8cbdf35ee48d59 (patch) | |
tree | 0acef8526681eeb1372d896c1eb2e4f5656de04d /gcc/testsuite/gcc.dg/20050121-2.c | |
parent | 89d22fcbc075c21316b955348586343b26bae7cf (diff) | |
download | gcc-d7795efce29a8010afc6c71a9f8cbdf35ee48d59.tar.gz |
* flow.c (propagate_one_insn): Formatting.
PR middle-end/19551
* flow.c (libcall_dead_p): Be more conservative if unsure.
If there are any instructions between insn and call, see if they are
all dead before saying the libcall is dead.
* gcc.c-torture/execute/20050121-1.c: New test.
* gcc.dg/20050121-2.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@94145 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gcc.dg/20050121-2.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/20050121-2.c | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/20050121-2.c b/gcc/testsuite/gcc.dg/20050121-2.c new file mode 100644 index 00000000000..6a6092c900a --- /dev/null +++ b/gcc/testsuite/gcc.dg/20050121-2.c @@ -0,0 +1,67 @@ +/* PR middle-end/19551 */ +/* { dg-options "-O2" } */ +/* { dg-do link } */ + +extern void abort (); + +#define T(type, name) \ +extern __attribute__((pure)) _Complex type \ +foo_c##name (int x); \ + \ +void \ +bar_c##name (type *x) \ +{ \ + type f = __real foo_c##name (5); \ + if (0) *x = f; \ +} \ + \ +void \ +baz_c##name (type *x) \ +{ \ + type f = __imag foo_c##name (5); \ + if (0) *x = f; \ +} \ + \ +extern __attribute__((pure)) type \ +foo_##name (int x); \ + \ +void \ +bar_##name (type *x) \ +{ \ + type f = foo_##name (5); \ + if (0) *x = f; \ +} + +typedef long double ldouble_t; +typedef long long llong; + +T (float, float) +T (double, double) +T (long double, ldouble_t) +T (char, char) +T (short, short) +T (int, int) +T (long, long) +T (long long, llong) +#undef T + +int +main (void) +{ +#define T(type, name) \ + { \ + type var = 0; \ + bar_c##name (&var); \ + baz_c##name (&var); \ + bar_##name (&var); \ + } + T (float, float) + T (double, double) + T (long double, ldouble_t) + T (char, char) + T (short, short) + T (int, int) + T (long, long) + T (long long, llong) + return 0; +} |