EIntOverflow bei LongWord, nicht aber bei Word

[Der schöne Günther]

Warum?

Delphi-Quellcode:

{$OVERFLOWCHECKS ON}

procedure acceptDouble(const input: Double);
begin
   //
end;

procedure p();
var
   a, b: Word;
   x, y: LongWord;
begin
   a := 1000;
   b := 10000;
   acceptDouble(a-b);

   x := 1000;
   y := 10000;
   acceptDouble(x-y); // << EIntOverflow
end;

[freimatz]

Ich vermute mal bei Word macht er implizit eine Erweiterung auf Int64. Bei LongWord geht das nicht.
Kam keine Warnung?

[himitsu]

Bedenke auch, dass erst gerechnet und dann das Ergebnis konvertiert wird.

Das WORD wird wohl einfach nach INTEGER für die Berechnung gecastet.
Größer als SizeOf(Pointer) werden aber keine automatischen Castes vorgenommen.

[Der schöne Günther]

Zitat von freimatz:

Kam keine Warnung?

Nö.

Zitat von himitsu:

Größer als SizeOf(Pointer) werden aber keine automatischen Castes vorgenommen.

Aber es ist doch SizeOf(Pointer) = SizeOf(LongWord) ?


PS: Verhalten bei Win32 und Win64 identisch.

[himitsu]

Ja, aber er würde danach größer sein.
Ich weiß jetzt nicht wie es im 64 Bit ist,
aber in 32 Bit wird maximal bis auf Größe der CPU-Register vergrößert.

[Der schöne Günther]

Verstehe ich nicht.

Das -9000 nicht im Bereich eines LongWord (0..4 Mrd.) liegt ist mir klar, aber was wird denn hier vergrößert? Bei Word (0..65535) scheint er ja keine Probleme zu haben. Weshalb sollte er hier überhaupt auf einen signed Typen vergrößern?


Und wo wäre so etwas überhaupt dokumentiert?

Und wie komme ich jetzt überhaupt aus der Sache raus? Statt acceptDouble(x-y) ein acceptDouble( (x*1.0) - (y*1.0)) wird ja wohl kaum die richtige Lösung sein...