------- 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

Reply via email to