------- Comment #3 from pinskia at gcc dot gnu dot org 2009-03-19 17:02 -------
> int foo (int *p, int b)
> {
> if (b)
> p = &i;
I think this is invalid for -fargument-noalias-*. I don't think you can assign
to another pointer to p with this option turned on with defined results because
it says p does not alias any global all the time, and you just caused it to
alias i.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39506