From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.7 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	REPLYTO_WITHOUT_TO_CC,T_SCC_BODY_TEXT_LINE autolearn=no
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: New compiler error with new compiler
Date: Thu, 8 Dec 2022 21:30:12 +0100
Organization: A noiseless patient Spider
Message-ID: <tmthgl$ud3k$1@dont-email.me>
References: <dc9f378b-d21b-48a1-b28c-c47e64eea9bcn@googlegroups.com>
 <tmn9g7$1kq7$1@gioia.aioe.org> <m2359ssln8.fsf@pushface.org>
 <cd12eaed-0b85-4d1f-a1f6-e88d40dc00bdn@googlegroups.com>
Reply-To: nonlegitur@notmyhomepage.de
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 8 Dec 2022 20:30:13 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="c7a469bf64e4a0526b5b80cbce17c3dc";
	logging-data="996468"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18N2/L5njFGyxat4Uo2P0Jw33zXYOnHlVw="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0)
 Gecko/20100101 Thunderbird/102.5.0
Cancel-Lock: sha1:6n/t2kX5rceAHr6I8MyWgCTO2nE=
In-Reply-To: <cd12eaed-0b85-4d1f-a1f6-e88d40dc00bdn@googlegroups.com>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:64686
List-Id: <comp.lang.ada>

On 08.12.22 05:07, Jerry wrote:
> So the correctness of an Ada program can depend on the processor that it runs on?

The correctness of the Ada program will depend
on the correctness of its assumptions ;-)

     declare
         Freezing_Cold : constant Integer :=
           Integer'Last / 1_000;
     begin
         Put ("Water freezes at ");
         Put (Freezing_Cold, Width => 2);
         Put (" degrees Fahrenheit");
     end;


The case statement of the program shown in your message
features a technique (of the few that are available to
the C programmer) for testing properties of an implementation
of C, at compile time.

Software configuration for the target platform can remove
the need for this kind of case distinction. Source text
will be restricted to normal program logic.