This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Reject tail calls that read from an escaped RESULT_DECL (PR90313)
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, Richard Sandiford <richard dot sandiford at arm dot com>
- Date: Fri, 9 Aug 2019 12:22:45 +0200
- Subject: Re: Reject tail calls that read from an escaped RESULT_DECL (PR90313)
- References: <mptef1uzqjb.fsf@arm.com> <CAFiYyc2VevJBWYPYGB5qJ+Oo1ybysv3FqzQ9wwcK6bk8nzvwUw@mail.gmail.com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Fri, Aug 09, 2019 at 11:28:32AM +0200, Richard Biener wrote:
> > Tested on aarch64-linux-gnu and x86_64-linux-gnu. OK to install?
>
> OK.
Can't we have a CLOBBER also for the RESULT_DECL var in some cases and
on some paths and thus shouldn't we track the RESULT_DECL in
compute_live_vars/live_vars_at_stmt
in addition to the local vars (sure, tree-ssa-live.c would need to change
the two spots where it tests VAR_P to VAR_P || == RESULT_DECL)?
Jakub