Re: alias analysis (was Loop Optimizations and Gotos)

konfrbr@euax7i3c01.eua.ericsson.se (Fredrik Bredberg)
17 Dec 1995 00:34:24 -0500

          From comp.compilers

Related articles
Re: Loop Optimizations and Gotos cliffc@ami.sps.mot.com (1995-11-22)
alias analysis (was Loop Optimizations and Gotos) bwilson@shasta.Stanford.EDU (Bob Wilson) (1995-11-28)
Re: alias analysis (was Loop Optimizations and Gotos) cliffc@ami.sps.mot.com (1995-11-29)
alias analysis (was Loop Optimizations and Gotos) dave@occl-cam.demon.co.uk (Dave Lloyd) (1995-12-09)
Re: alias analysis (was Loop Optimizations and Gotos) jfc@mit.edu (1995-12-12)
Re: alias analysis (was Loop Optimizations and Gotos) konfrbr@euax7i3c01.eua.ericsson.se (1995-12-17)
| List of all articles for this month |

From: konfrbr@euax7i3c01.eua.ericsson.se (Fredrik Bredberg)
Newsgroups: comp.compilers
Date: 17 Dec 1995 00:34:24 -0500
Organization: Ericsson Telecommunication Systems Laboratories
References: 95-11-198 95-11-228 95-12-073
Keywords: optimize

Dave Lloyd <dave@occl-cam.demon.co.uk> wrote:
>Well it seems to me that C could easily acquire a new "storage-class",
>say "independent" (after the HPF equivalent) which when applied to a
>pointer means "the storage at the end of this pointer is only
>accessible via this pointer within this scope".


jfc@mit.edu (John Carr) writes:
> The draft ANSI C standard had this feature (called "noalias" instead
> of "independent"). It was withdrawn after strong objection (I don't
> remember all the reasons, but lack of existing implementations was one).


After Dennis Ritchie had written his critique (see:
"http://sf.www.lysator.liu.se/c/dmr-on-noalias.html") of type
qualifiers in the draft ANSI standard of January 1988 noalias was
removed.


--
+--------------------------
| Fredrik Bredberg
| E-Mail..: frbr@enea.se
| Pager...: + 46 746 457371
| Enea Tel: + 46 8 6385067
| Enea Fax: + 46 8 6385050
| EUA User: konfrbr
| EUA Tel: + 46 8 7273638
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.