Re: ADA Compiling Query

jb@rti.rti.org (Jeff Bartlett)
Wed, 13 Feb 91 21:16:43 GMT

          From comp.compilers
Related articles
ADA Compiling Query gor@cs.strath.ac.uk (Gordon Russell) (1991-02-11)
Re: ADA Compiling Query mfeldman@eesun.gwu.edu (1991-02-12)
Re: ADA Compiling Query gor@computer-science.strathclyde.ac.uk (1991-02-13)
Re: ADA Compiling Query jb@rti.rti.org (1991-02-13)
| List of all articles for this month |
Newsgroups: comp.lang.ada,comp.compilers
From: jb@rti.rti.org (Jeff Bartlett)
Followup-To: comp.lang.ada
Summary: call by ref vs copyin-copyout
Keywords: Ada
Organization: Research Triangle Institute, RTP, NC
References: <5572@baird.cs.strath.ac.uk>
Date: Wed, 13 Feb 91 21:16:43 GMT

In article <5572@baird.cs.strath.ac.uk>, gor@cs.strath.ac.uk (Gordon Russell) writes:
> [ does Ada pass arguments by reference or copy in/copy out?]


See ANSI/MIL-STD-1815A section 6.2 paragraph 7:


        .... The language does not define which of these two mechanisms is to
        be adopted for parameter passing, nor whether different calls to the
        same subprogram are to use the same mechanism. The execution of a
        program is erroneous if its effect depends on which mechanism is
        selected by the implementation.


And section 1.6 paragraph 6:


        (c) Erroneous execution.


        The language rules specify certain rules to be obeyed by Ada programs,
        although there is no requirement on Ada compilers to provide either a
        compilation-time or run-time detection of the violation of such
        rules. .... The effect of erroneous execution is unpredictable.


Jeff Bartlett
Center for Digital Systems Research
Research Triangle Institute
jb@rti.rti.org mcnc!rti!jb (919)-541-6945
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.