This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: [Bug optimization/14272] [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
--
THAT'S ALL FOLKS!