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