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

[Christian Ehrhardt]

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!