Re: [PATCH] Remove bogus optimization from may_alias_p

["Diego Novillo" <dnovillo at google dot com>]

2008/10/20 Richard Guenther <rguenther@suse.de>:

> Even if the pointer (which is represented as SMT here) is "readonly"
> (though, as you might know, the GCC middle-end doesn't know a thing
> like a pointer that points to readonly memory - at least the const
> qualifier cannot be reliably used for this)

Ugh, yeah.  This test is quite old, we used to create SMTs with
readonly attributes at some point. Good catch.

Thanks for the testcase you just posted.


Diego.