Re: FRAC tool?

[kenner@lab.ultra.nyu.edu (Richard Kenner)]

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).