PR 11319 analyzed (Re: Patch fixing 3.3 bug PR 9745 and PR 10021)

[Michael Matz]

Hi,

On Tue, 15 Jul 2003, Franz Sirl wrote:

> - why does load_mems() use true_depedence() even if -fno-strict-aliasing?

That's OK, since alias sets will be zero for all mems when
-fno-strict-aliasing.  But true_dependence also checks for other reasons
why certain mems couldn't possibly overlap.  And this is what currently is
wrong sometimes.


Ciao,
Michael.