Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uunet!zephyr.ens.tek.com!tektronix!sequent!ccssrv!perry
From: perry@ccssrv.UUCP (Perry Hutchison)
Newsgroups: comp.std.c
Subject: Re: Denotational Semantics and Language Standards
Message-ID: <813@ccssrv.UUCP>
Date: 10 Nov 89 06:37:35 GMT
References: <11065@riks.csl.sony.co.jp> <2727@cbnewsl.ATT.COM> <11477@smoke.BRL.MIL> <11081@riks.csl.sony.co.jp> <11555@smoke.BRL.MIL> <1989Nov8.222632.699@algor2.algorists.com> <1989Nov8.225008.793@algor2.algorists.com> <11571@smoke.BRL.MIL> <1989Nov9.151708.3617@al
Reply-To: perry@ccssrv.UUCP (Perry Hutchison)
Organization: Control-C Software, Inc., Beaverton, OR
Lines: 13

In article <1989Nov9.151708.3617@algor2.algorists.com>
jeffrey@algor2.algorists.com (Jeffrey Kegler) writes:

+ the result of
+ 
+ int f(int a, int b) { return a+b; }
+ ...
+ i = 2; i = f(i = 3, i);
+ 
+ is indeterminate.  Variable i can be either 5 or 6, after this

It can also be 3.  In fact, it is probably legal for i to have any value
whatsoever, or for the program to dump core.