Path: utzoo!utgpu!watmath!clyde!att!rutgers!mailrus!ames!haven!adm!smoke!gwyn
From: gwyn@smoke.BRL.MIL (Doug Gwyn )
Newsgroups: comp.std.c
Subject: Re: A Little Quibble
Message-ID: <9115@smoke.BRL.MIL>
Date: 9 Dec 88 07:31:03 GMT
References: <25200001@uicsrd.csrd.uiuc.edu>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) )
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 25

In article <25200001@uicsrd.csrd.uiuc.edu> mcdaniel@uicsrd.csrd.uiuc.edu writes:
>Does dpANS require that "1" be printed, or is the result not defined
>by dpANS?

It's undefined (use of an uninitialized auto in an initializer expression).
Questions like this are resolved by the "scope rules".

>Does the result change?

Yes, now "a=1\n" must be printed.

>- it's an interesting little quibble. :-)

Not really.

>- I would like to declare an invariant like this:
>	double nubie;
>	. . . compute nubie . . .
>	{const double nubie = nubie;
>	    . . . here, nubie is invariant . . .
>	}

Multiple use of the same name for different purposes in the same
section of code is considered horrible style by every programmer
I know.