Joseph S. Myers wrote: > The rules that unmodified memory may alias were a deliberate change in the > FDIS relative to the previous public draft; see > <http://www.open-std.org/jtc1/sc22/wg14/www/docs/n866.htm>:
That explains why I had no memory of this, despite having researched "restrict" pretty carefully in earlier drafts. That also explains why other compilers in the field implements "restrict" as meaning "does not alias", independent of what's modified. Danny, does your more comprehensive treatment of "restrict" still optimize test cases like the one in the PR I filed? In any case, I guess we should consider my patch withdrawn. Although, if the new meaning of "restrict" matches standard Fortran semantics, then our Fortran handling must be wrong, since all my patch did was make us match our current Fortran semantics. Thanks, -- Mark Mitchell CodeSourcery [EMAIL PROTECTED] (650) 331-3385 x713