From: "Markus Schöpflin" <no.spam@spam.spam>
Subject: Re: Profiling Ada binaries
Date: Tue, 2 Aug 2016 08:39:47 +0200
Date: 2016-08-02T08:39:47+02:00 [thread overview]
Message-ID: <0f5aaa1d-9a63-a2df-a0c9-e9b215b930c1@spam.spam> (raw)
In-Reply-To: 845e12db-9e2c-4d0f-a3b0-19ac50f14d24@googlegroups.com
Am 02.08.2016 um 00:40 schrieb rieachus@comcast.net:
> On Tuesday, July 26, 2016 at 4:37:31 AM UTC-4, Markus Schöpflin wrote:
>
>> GNAT by default uses static elaboration. There should be no elaboration
>> checks when calling the generic versions. Or am I mistaken here?
>
> From the GNAT documentation: Strict conformance to the Ada Reference Manual
> can be achieved by adding two compiler options for dynamic checks for
> access-before-elaboration on subprogram calls and generic instantiations
> (-gnatE) and stack overflow checking (-fstack-check).
You lost me there. I was arguing that I don't need to worry about the
performance impact of dynamic elaborations checks as GNAT by default uses
static elaboration. Why would I want to turn on strict ARM conformance if I
don't need it in this case?
Markus
next prev parent reply other threads:[~2016-08-02 6:39 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-07-22 13:24 Profiling Ada binaries Markus Schöpflin
2016-07-22 14:59 ` Alejandro R. Mosteo
2016-07-22 15:05 ` Alejandro R. Mosteo
2016-07-25 7:01 ` Markus Schöpflin
2016-07-25 16:45 ` rieachus
2016-07-25 17:14 ` Simon Wright
2016-07-25 22:05 ` rieachus
2016-07-26 8:37 ` Markus Schöpflin
2016-08-01 22:40 ` rieachus
2016-08-01 23:36 ` Jeffrey R. Carter
2016-08-02 7:00 ` Markus Schöpflin
2016-08-05 3:18 ` rieachus
2016-08-05 20:27 ` Randy Brukardt
2016-08-02 6:39 ` Markus Schöpflin [this message]
2016-07-25 6:57 ` Markus Schöpflin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox