This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: RFC: Hack to make restrict more useful
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
mark@codesourcery.com
(650) 331-3385 x713