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.