comp.lang.ada
 help / color / mirror / Atom feed
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

  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