On Wed, Oct 8, 2014 at 12:51 PM, Richard Biener <rguent...@suse.de> wrote:
>> This message revives an old thread [1], where the miscompilation of gfortran >> on alpha was found that that resulted in: [...] > As said in the audit trail of the bugreport I think that the caller > of alpha_set_memflags is wrong in applying MEM flags from the _source_ > operand to MEMs generated for the RMW sequence for the destination. > > It would be better to fix that instead. Please see comment #6 of the referred PR [1] for further analysis and ammended testcase. The testcase and analysis will show a "native" read passing possibly aliasing store. [1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63483#c6 Uros.