From: "Christoph Karl Walter Grein" <AdaMagica@web.de>
To: comp.lang.ada@ada-france.org
Subject: Re: Semantics of Inline vs non-Inline
Date: Fri, 15 Oct 2004 08:18:41 +0200
Date: 2004-10-15T08:18:41+02:00 [thread overview]
Message-ID: <mailman.332.1097821131.390.comp.lang.ada@ada-france.org> (raw)
>
The question here is not "Inline vs. not Inline", but "is 'Address attribute guaranteed to deliver
correct results".
RM 13.3(13) says it's the programmer's responsibility to ensure the address is valid.
RM 13.3(15..18) specify the recommended level of support.
Your parameter "Datum: Datum_Type" is not in this list:
Datum_Type is not a by-reference type.
If your program works non-inlined, you are just lucky. Your compiler vendor is right.
________________________________________________________________
Verschicken Sie romantische, coole und witzige Bilder per SMS!
Jetzt neu bei WEB.DE FreeMail: http://freemail.web.de/?mc=021193
next reply other threads:[~2004-10-15 6:18 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-10-15 6:18 Christoph Karl Walter Grein [this message]
2004-10-15 11:02 ` Semantics of Inline vs non-Inline Wojtek Narczynski
-- strict thread matches above, loose matches on Subject: below --
2004-10-21 11:21 Christoph Karl Walter Grein
2004-10-21 20:57 ` Wojtek Narczynski
2004-10-22 0:46 ` skidmarks
2004-10-22 5:50 ` Simon Wright
2004-10-22 12:57 ` Wojtek Narczynski
2004-10-21 5:07 Christoph Karl Walter Grein
2004-10-21 10:24 ` Wojtek Narczynski
2004-10-18 6:29 Christoph Karl Walter Grein
2004-10-20 15:07 ` Wojtek Narczynski
[not found] <35f054ea.0410140733.5f250e6f@posting.google.com>
2004-10-14 16:14 ` Wojtek Narczynski
2004-10-14 20:05 ` Arthur Schwarz
2004-10-15 10:24 ` Wojtek Narczynski
2004-10-15 16:32 ` Arthur Schwarz
2004-10-14 17:58 ` Martin Krischik
2004-10-15 0:49 ` Arthur Schwarz
2004-10-15 8:05 ` Martin Krischik
2004-10-15 16:39 ` Arthur Schwarz
2004-10-15 16:40 ` Arthur Schwarz
2004-10-15 16:40 ` Arthur Schwarz
2004-10-15 16:45 ` skidmarks
2004-10-15 3:40 ` Steve
2004-10-15 5:50 ` Simon Wright
2004-10-15 16:57 ` skidmarks
2004-10-18 17:01 ` skidmarks
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox