From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Legit Warnings or not
Date: Fri, 22 Jul 2011 19:31:08 -0500
Date: 2011-07-22T19:31:08-05:00 [thread overview]
Message-ID: <j0d4og$qdh$1@munin.nbi.dk> (raw)
In-Reply-To: b760b2c4-b774-43b6-b29e-4882470be1f4@a2g2000prf.googlegroups.com
"Adam Beneschan" <adam@irvine.com> wrote in message
news:b760b2c4-b774-43b6-b29e-4882470be1f4@a2g2000prf.googlegroups.com...
>On Jul 21, 8:41 am, Robert A Duff <bobd...@shell01.TheWorld.com>
>wrote:
>> Adam Beneschan <a...@irvine.com> writes:
>> > You don't have to allocate a whole new Warned_Person, just a new Name.
>>
>> Right. If you allocate a whole new Warned_Person, you can get
>> dangling pointers and dangling renamings. If I remember correctly,
>> the rules prevent renaming or 'Access of parts of Name (assuming
>> it has aliased parts).
>
>3.10.2(26), 8.5.1(5). However, I think the language now says that
>'Access and rename of a component are OK if the discriminated object
>is known to be constrained; that means that the implementation has to
>be smart enough to know that it can't allocate a new Name in that case
>(when the entire record is assigned) but keep the same pointer and
>just copy over the data that it points to.
That's a good idea anyway, just because allocating and deallocating memory
is expensive. We do that any time the component does not change size - which
has the side-effect of working in any case that would be allowed by the
mentioned rules.
Randy.
-- Adam
next prev parent reply other threads:[~2011-07-23 0:31 UTC|newest]
Thread overview: 58+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-07-20 22:30 Legit Warnings or not Anh Vo
2011-07-20 23:16 ` Robert A Duff
2011-07-21 18:43 ` Anh Vo
2011-07-23 0:26 ` Randy Brukardt
2011-07-23 14:26 ` Robert A Duff
2011-07-21 2:37 ` Jeffrey Carter
2011-07-21 9:50 ` Brian Drummond
2011-07-21 14:39 ` Dmitry A. Kazakov
2011-07-23 0:36 ` Randy Brukardt
2011-07-23 9:03 ` Dmitry A. Kazakov
2011-07-23 11:07 ` Simon Wright
2011-07-23 11:21 ` Dmitry A. Kazakov
2011-07-26 21:25 ` Randy Brukardt
2011-07-27 7:45 ` Dmitry A. Kazakov
2011-07-28 0:37 ` Randy Brukardt
2011-07-28 9:22 ` Dmitry A. Kazakov
2011-07-28 14:22 ` Robert A Duff
2011-07-28 14:41 ` Dmitry A. Kazakov
2011-07-28 15:10 ` Robert A Duff
2011-07-28 17:05 ` Dmitry A. Kazakov
2011-07-28 23:32 ` Randy Brukardt
2011-07-28 23:48 ` Randy Brukardt
2011-07-29 6:57 ` Simon Wright
2011-07-29 18:56 ` Jeffrey Carter
2011-07-30 0:13 ` Randy Brukardt
2011-07-29 7:41 ` Dmitry A. Kazakov
2011-07-30 0:17 ` Randy Brukardt
2011-07-30 8:27 ` Dmitry A. Kazakov
2011-08-01 22:12 ` Randy Brukardt
2011-08-02 10:01 ` Dmitry A. Kazakov
2011-08-02 21:30 ` Randy Brukardt
2011-08-03 9:01 ` Dmitry A. Kazakov
2011-08-03 20:35 ` Randy Brukardt
2011-08-04 8:11 ` Dmitry A. Kazakov
2011-08-05 23:57 ` Randy Brukardt
2011-08-06 8:23 ` Dmitry A. Kazakov
2011-08-08 21:30 ` Randy Brukardt
2011-07-23 14:32 ` Robert A Duff
2011-07-26 21:32 ` Randy Brukardt
2011-07-21 15:28 ` Adam Beneschan
2011-07-21 15:41 ` Robert A Duff
2011-07-21 20:12 ` Adam Beneschan
2011-07-23 0:31 ` Randy Brukardt [this message]
2011-07-21 17:40 ` Jeffrey Carter
2011-07-21 21:30 ` Brian Drummond
2011-07-21 21:54 ` Adam Beneschan
2011-07-22 10:16 ` Brian Drummond
2011-07-22 14:54 ` Adam Beneschan
2011-07-23 0:46 ` Randy Brukardt
2011-07-23 0:42 ` Randy Brukardt
2011-07-23 9:20 ` Niklas Holsti
2011-08-04 5:56 ` David Thompson
2011-07-23 9:24 ` Dmitry A. Kazakov
2011-07-23 12:36 ` Brian Drummond
2011-07-21 15:13 ` Robert A Duff
2011-07-23 0:52 ` Randy Brukardt
2011-07-23 14:48 ` Robert A Duff
2011-07-21 14:17 ` anon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox