[Bug optimization/14272] [tree-ssa] miscompilation of __exchange_and_add (atomicity.h)

[ehrhardt at mathematik dot uni-ulm dot de]

------- 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