This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa PATCH] Fix PR 12187
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Steven Bosscher <s dot bosscher at student dot tudelft dot nl>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 16 Sep 2003 15:31:40 -0400
- Subject: Re: [tree-ssa PATCH] Fix PR 12187
- Organization: Red Hat Canada
- References: <1063576407.3627.9.camel@steven.lr-s.tudelft.nl> <1063577125.3626.12.camel@steven.lr-s.tudelft.nl> <1063673573.7313.8.camel@frodo.toronto.redhat.com> <1063705806.3659.30.camel@steven.lr-s.tudelft.nl>
On Tue, 2003-09-16 at 05:50, Steven Bosscher wrote:
> (I am surprised anyway about this result. Can't we detect that a is not
> volatile and cannot be clobbered between "a = 0;" and "a = 42;", and
> between "a = 42;" and the if-statement??)
>
No. Global aliasing is flow-insensitive.
Now that I think about it again, your original approach does look
better. Marking the variable as a global alias was too drastic.
Diego.