From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,33c2f396f345ec59
X-Google-Attributes: gid103376,public
From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Subject: Re: FRAC tool?
Date: 1999/06/26
Message-ID: <cS3d3.19$bo2.710@typhoon.nyu.edu>#1/1
X-Deja-AN: 494117287
References: <7jmnk0$vvv$1@nnrp1.deja.com> <2oRa3.14$Lc3.1167@typhoon.nyu.edu>
 <7l03ds$5a4$1@nnrp1.deja.com>
X-Trace: typhoon.nyu.edu 930400776 128.122.140.194 (Sat,
 26 Jun 1999 08:39:36 EDT)
Organization: New York University Ultracomputer Research Lab
NNTP-Posting-Date: Sat, 26 Jun 1999 08:39:36 EDT
Newsgroups: comp.lang.ada
Date: 1999-06-26T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <7l03ds$5a4$1@nnrp1.deja.com> Robert Dewar <robert_dewar@my-deja.com> writes:
>The issue is whether the given statements generate code. In
>this case clearly both statements generate code. The fact that
>the one instruction of the code takes care of both statements
>does not change this fact.
>
>If you think of Ada as defined by a virtual operational machine,
>the issue is whether this virtual operational machine would have
>code generated, assuming an appropriate realistic abstraction
>level for the machine.
>
>Sure this is vague, but could be made quite precise if someone
>desired to do so.
>
>I still see a quite clear intuitive distinction between the
>above two statements, and a statement that says
>
> begin

I don't.  In the presence of exception handlers or cleanup code, the
"begin" could easily generate far more code than the two arithmetic
statements in question.  Even a declaration with no initialization
might do a dynamic stack allocation in some contexts (e.g., some
declarations with -fstack-check in GNAT).