Re: Possible Bug Printing the Max of SYSTEM.REAL64

[Gaius Mulley]

Michael Riedl <udo-michael.riedl@t-online.de> writes:

> Hallo,
>
> can confirm the Compiler errror - even if I replace
>
>   FpuIO.WriteLongReal(MAX(SYSTEM.REAL64), 200, 30);
>
> by
>
>   FpuIO.WriteLongReal(VAL(LONGREAL,MAX(SYSTEM.REAL64)), 200, 30);
>
> so that the first argument of FpuIO.WriteLongReal is of the right kind.
>
> (using GCC/GM2 15.0.1 downloaded two days ago form the official repository).
>
> Gruß
>
> Michael
>
> Am 16.03.25 um 07:19 schrieb Derek Wyss:
>> Hello,
>>
>> I was playing around to see how the SYSTEM floating point types
>> matched up with the regular floating point types (instead of looking
>> at the docs like maybe a sane person would do).
>>
>> Here is my source:
>>
>> MODULE num_experiment;
>>    IMPORT FpuIO;
>>    IMPORT NumberIO;
>>    IMPORT StrIO;
>>    IMPORT SYSTEM;
>>
>>    VAR a: REAL;
>>    VAR b: SYSTEM.REAL64;
>>
>> BEGIN
>>    StrIO.WriteString("REAL: ");
>>    FpuIO.WriteReal(MAX(REAL), 200, 30);
>>    StrIO.WriteLn;
>>
>>    StrIO.WriteString("LONGREAL: ");
>>    FpuIO.WriteLongReal(MAX(LONGREAL), 200, 30);
>>    StrIO.WriteLn;
>> (*
>>    StrIO.WriteString("SYSTEM.REAL64: ");
>>    FpuIO.WriteReal(MAX(SYSTEM.REAL64), 200, 30);
>>    StrIO.WriteLn;
>> *)
>>
>>    StrIO.WriteString("SYSTEM.REAL64: ");
>>    FpuIO.WriteLongReal(MAX(SYSTEM.REAL64), 200, 30);
>>    StrIO.WriteLn;
>>
>> END num_experiment.
>>
>> ------------------------------------
>> Here is me trying to compile:
>>
>> tez@sdevboron:~/projects/m2_bug$ ninja
>> [1/1] gm2 -g -Wall -fpim -fcase -ffloatvalue -findex -frange
>> -freturn -freport-bug num_experiment.mod -o demo
>> FAILED: demo
>> gm2 -g -Wall -fpim -fcase -ffloatvalue -findex -frange -freturn
>> -freport-bug num_experiment.mod -o demo
>> cc1gm2: internal compiler error: assert failed
>> 0x2663227 internal_error(char const*, ...)
>> ../../gcc-14.2/gcc/diagnostic-global-context.cc:517
>> 0xa0d8a4 m2linemap_internal_error
>> ../../gcc-14.2/gcc/m2/gm2-gcc/m2linemap.cc:254
>> 0xadd628 M2Emit_InternalError
>> m2/gm2-compiler-boot/M2Emit.c:104

Hi,

just confirming the bug - and here is the PR-119449.
Bugfix finished - just need to git commit the fix,

regards,
Gaius