------- Comment #5 from dberlin at gcc dot gnu dot org 2009-03-19 17:10 ------- I agree with pinskia, and think this should be closed as invalid. fargument-noalias-* is an assertion by you, the user, that these things will never alias. You are telling the compiler it is allowed to assume it is always true. It is not simply a "starting point" of what the compiler is allowed to assume
Your testcase makes your assertion not true, so it is invalid in the face of those options. We absolutely should not try to make this work. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39506