Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!amdcad!ames!umd5!brl-adm!brl-smoke!gwyn
From: gwyn@brl-smoke.ARPA (Doug Gwyn )
Newsgroups: comp.lang.c
Subject: Re: Pragmas
Message-ID: <6984@brl-smoke.ARPA>
Date: 8 Jan 88 05:42:48 GMT
References: <17196@topaz.rutgers.edu> <6920@brl-smoke.ARPA> <14460@think.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 11

In article <14460@think.UUCP> barmar@sauron.think.com.UUCP (Barry Margolin) writes:
>Any program
>tha behaves differently depending on whether a variable was declared
>with noalias has a bug.

Yes, but my point was that is not true if you replace "noalias" with
"pragma".  It must behave the same (so far as the virtual machine is
concerned) regardless of the pragma.  Therefore no pragma can replace
"noalias", since I've shown that some code can be rendered "buggy"
simply by adding "noalias" at the [in]appropriate spots.  This is a
demonstration of the point, not a recommended practice!