This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug optimization/14272] [tree-ssa] miscompilation of __exchange_and_add (atomicity.h)
- From: "ehrhardt at mathematik dot uni-ulm dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 25 Feb 2004 14:02:59 -0000
- Subject: [Bug optimization/14272] [tree-ssa] miscompilation of __exchange_and_add (atomicity.h)
- References: <20040224133459.14272.ehrhardt@mathematik.uni-ulm.de>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From ehrhardt at mathematik dot uni-ulm dot de 2004-02-25 14:02 -------
Subject: Re: [tree-ssa] miscompilation of __exchange_and_add (atomicity.h)
On Wed, Feb 25, 2004 at 01:43:17PM -0000, steven at gcc dot gnu dot org wrote:
> Note the missing VUSE in the dump where __mem is volatile.
Yes, but looking at get_expr_operands it seems intentional that
no VUSE is created for a volatile pointer dereference. get_expr_operands
instead sets ann->has_volatile_ops on the statement. I came to the
conclusion that TER should take this flag into account in addition to
VDEFs/VUSEs when killing expressions. I may be totally wrong though.
regards Christian
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14272