From: Maxim Reznik <reznikmm@gmail.com>
Subject: Re: Restricted or no run time in Ada
Date: Fri, 4 Jan 2008 06:13:19 -0800 (PST)
Date: 2008-01-04T06:13:19-08:00 [thread overview]
Message-ID: <026c37aa-bca7-4206-a28e-071e99b741c5@h11g2000prf.googlegroups.com> (raw)
In-Reply-To: 1199450765.7932.2.camel@K72
On 4 янв, 14:46, Georg Bauhaus <rm.tsoh+bauh...@maps.futureapps.de>
wrote:
>
> Have you instructed GNAT to not perform any kind of
> optimization?
>
I used follow command:
gcc -S -gnato -O test.adb
In your listing there is no integer arithmetic overflow check,
required in ARM.
> Is this an option using Gela? (For example, to verify
> close correspondence of source and object code.)
Today most usable part of Gela is Gela-ASIS. This is target
independent ASIS implemented from scratch. It implement most of ASIS
for Ada 95 queries and 12 extension to support Ada 2005 according to
SI99 proposals.
next prev parent reply other threads:[~2008-01-04 14:13 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-02 19:19 Restricted or no run time in Ada Lucretia
2008-01-02 20:49 ` anon
2008-01-02 21:33 ` Lucretia
2008-01-03 3:50 ` anon
2008-01-02 22:23 ` Simon Wright
2008-01-02 23:06 ` Lucretia
2008-01-03 5:14 ` roderick.chapman
2008-01-03 7:30 ` Lucretia
2008-01-03 8:00 ` Lucretia
2008-01-03 8:40 ` Lucretia
2008-01-03 9:58 ` anon
2008-01-03 10:22 ` Lucretia
2008-01-03 17:30 ` anon
2008-01-03 20:05 ` Vadim Godunko
2008-01-03 20:22 ` Lucretia
2008-01-04 9:23 ` Maxim Reznik
2008-01-04 23:23 ` Brian May
2008-01-04 12:46 ` Georg Bauhaus
2008-01-04 13:53 ` Vadim Godunko
2008-01-04 14:13 ` Maxim Reznik [this message]
2008-01-04 14:15 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox