Warum warnt hier der Compiler?

[TurboMagic]

Hallo,

für folgende Zeile warnt der Delphi Compiler mittels W1024, dass vorzeichenlose und behaftete
Typen verglichen werden:

Delphi-Quellcode:

FBuf[0] := b or ((FCalcAuthenticationTagLength-2) shl 2) or (L-1);

FBuf ist dabei ein Array fester Länge von UInt8 Feldern.
b ist ein UInt8
FCalcAuthenticationTagLength ist ein UInt32
L ist ein UInt16

Wenn das "or (L-1)" testhalber entfernt wird, ist die Warnung weg.
Dass FCalcAuthenticationTagLength nicht größer als 16 werden darf/kann,
kann der Compiler nicht wissen.

[jaenicke]

Der Compiler kann nicht wissen, ob L immer größer als 0 ist. Entsprechend erweitert er den Datentyp für das Ergebnis auf vorzeichenbehaftet, weil auch -1 ein mögliches Ergebnis ist.

Wenn dies in deiner Logik klar ist, kannst du das Ergebnis von L - 1 auf UInt16 casten, damit die Warnung verschwindet. Vermute ich, ich habe es nicht getestet.

[TurboMagic]

Hallo,

so was in der Art dämmerte mir inzwischen auch.
Ich werde mir das mal morgen anschauen...

[freimatz]

Zitat:

Zitat von TurboMagic (Beitrag 1548463)

Hallo,

für folgende Zeile warnt der Delphi Compiler mittels W1024, dass vorzeichenlose und behaftete
Typen verglichen werden:

Delphi-Quellcode:

FBuf[0] := b or ((FCalcAuthenticationTagLength-2) shl 2) or (L-1);

So generell wenn man in einer Zeile ein Problem hat, dann kann man zuerst mal die Zeile aufteilen in mehrere. Dann warnt der Compiler zwar immer noch, aber man sieht besser in welchem Teil.