diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/calls.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20001130-1.c | 21 |
4 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 65855dd..3b38448 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2000-11-30 Richard Henderson <rth@redhat.com> + + * calls.c (expand_call): Emit queued insns before creating + the tail recursion sequence. + 2000-11-30 J. David Anglin <dave.anglin@nrc.ca> Bruce Korb <bkorb@gnu.org> diff --git a/gcc/calls.c b/gcc/calls.c index 45210c2..9513c30 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -2552,6 +2552,10 @@ expand_call (exp, target, ignore) int save_pending_stack_adjust = pending_stack_adjust; int save_stack_pointer_delta = stack_pointer_delta; + /* Emit any queued insns now; otherwise they would end up in + only one of the alternates. */ + emit_queue (); + /* Use a new sequence to hold any RTL we generate. We do not even know if we will use this RTL yet. The final decision can not be made until after RTL generation for the entire function is diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ca0fc26..f9c90e2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-11-30 Richard Henderson <rth@redhat.com> + + * gcc.c-torture/execute/20001130-1.c: New test. + 2000-11-30 Nathan Sidwell <nathan@codesourcery.com> * g++.old-deja/g++.other/op3.C: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/20001130-1.c b/gcc/testsuite/gcc.c-torture/execute/20001130-1.c new file mode 100644 index 0000000..4a996ee --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20001130-1.c @@ -0,0 +1,21 @@ +static inline int bar(void) { return 1; } +static int mem[3]; + +static int foo(int x) +{ + if (x != 0) + return x; + + mem[x++] = foo(bar()); + + if (x != 1) + abort(); + + return 0; +} + +int main() +{ + foo(0); + return 0; +} |