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,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,820de86ed0dafb8a
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Help Me Please :)
Date: 2000/04/07
Message-ID: <8ckflm$a1t$1@nnrp1.deja.com>#1/1
X-Deja-AN: 607849624
References: <tgg0u8cb6a.fsf@mercury.rus.uni-stuttgart.de>
 <lJSv4.1648$im1.34999@news.pacbell.net>
 <89rlvr$gn9$1@nntp3.atl.mindspring.net> <wccog8dqvk6.fsf@world.std.com>
 <38D8A607.F61F0FFF@mail.com> <wccya74m18e.fsf@world.std.com>
 <8bqcu2$s0p$1@nnrp1.deja.com> <8brgcd$5kp$1@nnrp1.deja.com>
 <38ECEB56.8FD7596E@gecm.com>
X-Http-Proxy: 1.0 x42.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Fri Apr 07 11:09:49 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-04-07T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <38ECEB56.8FD7596E@gecm.com>,
  Simon Pilgrim <simon.pilgrim@gecm.com> wrote:

> > Finally, 11.6 is about optimization, it is almost always the
> > case that you want *no* optimization for SC code. Why?
> > Because
> > you want the best possible correspondence between source
> > code and object code.
>
> Not true for the PFC.  We have a lot of code to squeeze into
> that frame.

Well "no optimization" is a relative term here, none of the
compilers you used had particularly strong optimizers by
modern standards. Certainly none of them took full
advantage of 11.6, which was the specific point of
this discussion.

Actually when the safety-critical crowd asks for no
optimization, they are making the usual mistake of
specifying a solution to their problem, rather than
stating the problem.

The problem is to make the examination of the object code
as easy as possible.

Certain types of optimization assist in this goal. For example,
with gnat, we usually find that -O1 assembly code is far easier
to follow than -O0 code, simply because there is so much less
of it.

On the other hand, if you have really fierce optimization,
involving high level algorithm substitution, propagation
of information all around the place, including erroneous
situations, massive restructuring of code, etc, then the
resulting object code can become quite complex to read.


Sent via Deja.com http://www.deja.com/
Before you buy.