Path: utzoo!mnetor!uunet!husc6!mit-eddie!ll-xn!ames!necntc!linus!philabs!pwa-b!mmintl!franka
From: franka@mmintl.UUCP (Frank Adams)
Newsgroups: comp.lang.c
Subject: Re: Pragmas
Message-ID: <2654@mmintl.UUCP>
Date: 13 Jan 88 23:22:03 GMT
References: <17196@topaz.rutgers.edu> <6920@brl-smoke.ARPA> <14460@think.UUCP> <3313@ihlpf.ATT.COM>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Organization: Multimate International, E. Hartford, CT.
Lines: 19

In article <3313@ihlpf.ATT.COM> nevin1@ihlpf.UUCP (00704A-Liber,N.) writes:
>I believe that all programs which will conform to the ANSI C standard
>should run equivalently under all compilers that conform to ANSI C.  With
>noalias, this cannot be assured.

Not a chance in the world!

If someone writes a program which assumes 32 bit ints, it will run
(correctly) on some machines with some compilers, and not on other machines
with other compilers.  This is exactly like writing a program which uses the
noalias keyword incorrectly.

All *correct* conforming programs should run equivalently under all
conforming compilers.  But there is always the possibility of an undetected
incorrectness.
-- 

Frank Adams                           ihnp4!philabs!pwa-b!mmintl!franka
Ashton-Tate          52 Oakland Ave North         E. Hartford, CT 06108