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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2203a21a136b39cc X-Google-Attributes: gid103376,public From: dewar@merv.cs.nyu.edu (Robert Dewar) Subject: Re: Fortran's Equivalence Date: 1997/04/01 Message-ID: #1/1 X-Deja-AN: 229878354 References: <333840D1.7B12@cae.ca> <5hbcdn$i1h@top.mitre.org> Organization: New York University Newsgroups: comp.lang.ada Date: 1997-04-01T00:00:00+00:00 List-Id: Keith argues that somehow unchecked conversion is more guaranteed by the RM than address overlay. I find all these arguments bogus. First they are rather useless pedantry, if you are in the business of trying to find out what the RM absolutely guarantees will work in chapter 13, even with annex B implemented, you will likely be disappointed. Second in this particular case, there simply are no guarantees on either side. Keith try this excercise. Consider a case in which we are trying to model a Fortran EQUIVALENCE statement that maps a big 2D array into a big 1D array. Now write the EXACT code using UC and address overlays for this problem, and we will look at what you come up with. I am willing to bet that if you write reasonable code in both cases, we will find that (a) neither is guaranteed to work portably by the RM (b) in practice both will work fine with any reasonable implementation It pays to get out of pedantic mode when you are dealing with chapter 13 in real life. In porting millions of lines of code to GNAT, we have found that real code is full of stuff which is definitely NOT guaranteed to work by the RM, but we still work to have GNAT accept it properly and process it as expected. The minimum guarantees of the RM are so thin as to be pretty uninteresting except for the purpose of writing ACVC tests.