------- Comment #7 from pcarlini at suse dot de 2006-01-18 16:32 -------
(In reply to comment #6)
> int f(const int *a, int *b)
> {
> *b = 1;
> return *a;
> }
>
> a and b can alias and there is no way around that at all because that is
> what the C++ standard says.
Interesting example. But what if the parameters cannot alias (e.g., different
types). What about the other cases mentioned in the PR (probably more important
to me)? No pointers involved at all?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25845
