Path: utzoo!mnetor!uunet!husc6!cmcl2!brl-adm!brl-smoke!gwyn
From: gwyn@brl-smoke.ARPA (Doug Gwyn )
Newsgroups: comp.lang.c
Subject: Re: noalias; parens honored
Message-ID: <6874@brl-smoke.ARPA>
Date: 18 Dec 87 23:09:51 GMT
References: <6829@brl-smoke.ARPA> <2845@zeus.TEK.COM> <1174@mips.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 10
Keywords: ANSI C standard

In article <1174@mips.UUCP> hansen@mips.UUCP (Craig Hansen) writes:
>Fortran 77 actually has this property specified in a different form...

Which we unfortunately cannot adopt for C, due to existing practice.

>However, checking for its proper use is extremely
>difficult, and I would conjecture, as difficult as the halting problem.

Yes, that seems to be correct.  That's why the burden of correctness
of usage of "noalias" is left to the programmer rather than the compiler.