This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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!


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]