From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bbbeae4ed07e9626
X-Google-Attributes: gid103376,public
From: smize@news.imagin.net (Samuel Mize)
Subject: Re: Address to function pointer conversion
Date: 1997/06/13
Message-ID: <5nrv4p$340m$1@prime.imagin.net>#1/1
X-Deja-AN: 248210307
References: <5nrq5h$13cm@info4.rus.uni-stuttgart.de>
Organization: ImagiNet Communications Ltd, Arlington, Texas
Reply-To: smize@imagin.net (Samuel Mize)
Newsgroups: comp.lang.ada
Date: 1997-06-13T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <5nrq5h$13cm@info4.rus.uni-stuttgart.de>,
Michael Paus <michael@ifr16.luftfahrt.uni-stuttgart.de> wrote:
[reformatted for length]
> I just stumbled over a little problem. I have a system address and I
> would like to convert it to an access to function type. How can this
> be done correctly?

Depends on how you define "correctly."

There is no such conversion defined within the language, because the
language would need some way to verify that this address is the
correct place to enter a routine with the given profile.

>PS: I currently just use an unchecked conversion which just works fine,

That's the only way I can imagine.  It is NOT "incorrect", but it IS
extremely compiler-dependent.  If you port to a different platform,
compiler brand, or compiler VERSION, you'll need to re-verify that this
works right.

Sam Mize

-- 
Samuel Mize -- smize@imagin.net -- Team Ada
(personal net account)