From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: User Defined Storage Pool : did you ever experiment with it ?
Date: Tue, 25 Jan 2011 00:34:34 +0100
Date: 2011-01-25T00:34:34+01:00 [thread overview]
Message-ID: <op.vpt6fwhyule2fv@garhos> (raw)
In-Reply-To: ihk0te$e26@news.Informatik.Uni-Oldenburg.DE
Le Mon, 24 Jan 2011 15:04:30 +0100, Timo Warns
<Timo.Warns@informatik.uni-oldenburg.de> a écrit:
> As an example, Ada Gem #77 (http://www.adacore.com/2010/01/11/gem-77/)
> shows
> how to use the GNAT debug storage pool for analyzing the memory usage of
> a
> program.
From the above link:
> with My_Package;
> with Ada.Unchecked_Deallocation;
> procedure Main is
> procedure Unchecked_Free is
> new Ada.Unchecked_Deallocation (Integer, Integer_Access);
> Ptr : Integer_Access;
Seems either a use My_Package or a “My_Package.” prefix is missing in the
declaration of Ptr.
From the same link:
> GNAT.Debug_Pools can also give false warnings when
> dereferencing a pointer to aliased data on the stack
> (which was never allocated via a “new” operator, but was
> accessed via an ‘Access attribute).
How can a storage pool catch dereferencing ?
I skipped part II and III which are GNAT or vendor specifics by essence.
Thanks for that pointer.
--
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour
les chiens.
“I am fluent in ASCII” [Warren 2010]
next prev parent reply other threads:[~2011-01-24 23:34 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-22 0:04 User Defined Storage Pool : did you ever experiment with it ? Yannick Duchêne (Hibou57)
2011-01-22 0:55 ` Adam Beneschan
2011-01-22 1:42 ` Yannick Duchêne (Hibou57)
2011-01-22 5:19 ` Randy Brukardt
2011-01-22 8:49 ` Dmitry A. Kazakov
2011-01-22 9:47 ` User Defined Storage Pool : Example anon
2011-01-22 9:54 ` User Defined Storage Pool : did you ever experiment with it ? AdaMagica
2011-01-24 9:57 ` Yannick Duchêne (Hibou57)
2011-01-24 10:48 ` Mark Lorenzen
2011-01-22 15:13 ` Simon Wright
2011-01-24 9:56 ` Yannick Duchêne (Hibou57)
2011-01-24 16:09 ` Simon Wright
2011-01-24 23:58 ` Yannick Duchêne (Hibou57)
2011-01-22 22:17 ` Fritz Wuehler
2011-01-24 9:52 ` Yannick Duchêne (Hibou57)
2011-01-24 14:20 ` Bill Findlay
2011-01-24 9:25 ` Ludovic Brenta
2011-01-24 9:43 ` Yannick Duchêne (Hibou57)
2011-01-24 13:43 ` Emmanuel Briot
2011-01-24 16:48 ` Dirk Craeynest
2011-01-25 1:16 ` Yannick Duchêne (Hibou57)
2011-01-24 11:46 ` Jacob Sparre Andersen
2011-01-24 23:51 ` Yannick Duchêne (Hibou57)
2011-02-10 7:59 ` Jacob Sparre Andersen
2011-02-13 15:56 ` AdaMagica
2011-02-13 19:10 ` Simon Clubley
2011-01-24 14:04 ` Timo Warns
2011-01-24 23:34 ` Yannick Duchêne (Hibou57) [this message]
2011-01-25 0:14 ` Yannick Duchêne (Hibou57)
2011-01-25 1:36 ` Randy Brukardt
2011-02-06 20:05 ` Yannick Duchêne (Hibou57)
2011-02-07 22:09 ` Randy Brukardt
2011-02-07 22:18 ` Randy Brukardt
2011-02-07 22:59 ` Maciej Sobczak
2011-02-07 23:57 ` Shark8
2011-02-08 13:40 ` Maciej Sobczak
2011-02-10 2:08 ` Randy Brukardt
2011-02-08 9:08 ` Alex R. Mosteo
2011-01-26 20:13 ` Warren
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox