Re: New compiler error with new compiler

["G.B." <bauhaus@notmyhomepage.invalid>]

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.