mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-05 12:18:30 +02:00
fc3852e59a
false instead of triggering a range error (mantis #8258, based on patch provided by Thorsten Engler) git-svn-id: trunk@6357 -
1257 lines
45 KiB
ObjectPascal
1257 lines
45 KiB
ObjectPascal
program SetTests;
|
|
|
|
{$APPTYPE CONSOLE}
|
|
|
|
{$IFDEF FPC}
|
|
{$mode delphi}
|
|
{$ENDIF}
|
|
|
|
{$R+}
|
|
{$Q+}
|
|
|
|
uses
|
|
SysUtils;
|
|
|
|
var
|
|
u8 : Byte;
|
|
s8 : ShortInt;
|
|
u16 : Word;
|
|
s16 : SmallInt;
|
|
u32 : LongWord;
|
|
s32 : LongInt;
|
|
u64 : QWord;
|
|
s64 : Int64;
|
|
|
|
LargeSet : set of Byte;
|
|
SmallSet : set of 0..31;
|
|
|
|
Error : Boolean;
|
|
|
|
procedure CheckResult(const s: string; aIs, aExpected: Boolean); overload;
|
|
begin
|
|
if aIs <> aExpected then begin
|
|
WriteLn(s, aIs, ' <> ', aExpected, ' * * * ERROR * * * ERROR * * * ERROR * * *');
|
|
Error := True;
|
|
end else
|
|
WriteLn(s, aIs);
|
|
end;
|
|
|
|
procedure CheckResult(const s: string; aIs: Boolean); overload;
|
|
begin
|
|
WriteLn(s, aIs, ' <> EXCEPTION * * * ERROR * * * ERROR * * * ERROR * * *');
|
|
Error := True;
|
|
end;
|
|
|
|
|
|
begin
|
|
Error := False;
|
|
|
|
WriteLn('--- Variable against constant set [0, 2, 8..20, 99..192] ---' );
|
|
WriteLn;
|
|
|
|
u8 := 100;
|
|
s8 := 100;
|
|
u16 := 100;
|
|
s16 := 100;
|
|
u32 := 100;
|
|
s32 := 100;
|
|
u64 := 100;
|
|
s64 := 100;
|
|
|
|
WriteLn('100, should be true');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20, 99..192], True);
|
|
WriteLn;
|
|
|
|
u8 := 98;
|
|
s8 := 98;
|
|
u16 := 98;
|
|
s16 := 98;
|
|
u32 := 98;
|
|
s32 := 98;
|
|
u64 := 98;
|
|
s64 := 98;
|
|
|
|
WriteLn('98, should be false');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20, 99..192], False);
|
|
WriteLn;
|
|
|
|
u8 := 193;
|
|
// s8 := 193;
|
|
u16 := 193;
|
|
s16 := 193;
|
|
u32 := 193;
|
|
s32 := 193;
|
|
u64 := 193;
|
|
s64 := 193;
|
|
|
|
WriteLn('193, should be false');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20, 99..192], False);
|
|
// CheckResult(' s8 -> ', s8 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20, 99..192], False);
|
|
WriteLn;
|
|
|
|
// u8 := 256;
|
|
// s8 := 256;
|
|
u16 := 256;
|
|
s16 := 256;
|
|
u32 := 256;
|
|
s32 := 256;
|
|
u64 := 256;
|
|
s64 := 256;
|
|
|
|
WriteLn('256, should be false');
|
|
// CheckResult(' u8 -> ', u8 in [0, 2, 8..20, 99..192], False);
|
|
// CheckResult(' s8 -> ', s8 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20, 99..192], False);
|
|
WriteLn;
|
|
|
|
u8 := High(u8);
|
|
s8 := High(s8);
|
|
u16 := High(u16);
|
|
s16 := High(s16);
|
|
u32 := High(u32);
|
|
s32 := High(s32);
|
|
u64 := High(u64);
|
|
s64 := High(s64);
|
|
|
|
WriteLn('High(type), s8 should be true, u64/s64 should cause range check');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20, 99..192], False);
|
|
try
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20, 99..192]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20, 99..192]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
u8 := Low(u8);
|
|
s8 := Low(s8);
|
|
u16 := Low(u16);
|
|
s16 := Low(s16);
|
|
u32 := Low(u32);
|
|
s32 := Low(s32);
|
|
u64 := Low(u64);
|
|
s64 := Low(s64);
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error');
|
|
CheckResult('u8 -> ', u8 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s8 -> ', s8 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20, 99..192], True);
|
|
|
|
try
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20, 99..192]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- Variable against set of byte with value [0, 2, 8..20, 99..192] ---' );
|
|
WriteLn;
|
|
|
|
LargeSet := [0, 2, 8..20, 99..192];
|
|
|
|
u8 := 100;
|
|
s8 := 100;
|
|
u16 := 100;
|
|
s16 := 100;
|
|
u32 := 100;
|
|
s32 := 100;
|
|
u64 := 100;
|
|
s64 := 100;
|
|
|
|
WriteLn('100, should be true');
|
|
CheckResult(' u8 -> ', u8 in LargeSet, True);
|
|
CheckResult(' s8 -> ', s8 in LargeSet, True);
|
|
CheckResult('u16 -> ', u16 in LargeSet, True);
|
|
CheckResult('s16 -> ', s16 in LargeSet, True);
|
|
CheckResult('u32 -> ', u32 in LargeSet, True);
|
|
CheckResult('s32 -> ', s32 in LargeSet, True);
|
|
CheckResult('u64 -> ', u64 in LargeSet, True);
|
|
CheckResult('s64 -> ', s64 in LargeSet, True);
|
|
WriteLn;
|
|
|
|
u8 := 98;
|
|
s8 := 98;
|
|
u16 := 98;
|
|
s16 := 98;
|
|
u32 := 98;
|
|
s32 := 98;
|
|
u64 := 98;
|
|
s64 := 98;
|
|
|
|
WriteLn('98, should be false');
|
|
CheckResult(' u8 -> ', u8 in LargeSet, False);
|
|
CheckResult(' s8 -> ', s8 in LargeSet, False);
|
|
CheckResult('u16 -> ', u16 in LargeSet, False);
|
|
CheckResult('s16 -> ', s16 in LargeSet, False);
|
|
CheckResult('u32 -> ', u32 in LargeSet, False);
|
|
CheckResult('s32 -> ', s32 in LargeSet, False);
|
|
CheckResult('u64 -> ', u64 in LargeSet, False);
|
|
CheckResult('s64 -> ', s64 in LargeSet, False);
|
|
WriteLn;
|
|
|
|
u8 := 193;
|
|
// s8 := 193;
|
|
u16 := 193;
|
|
s16 := 193;
|
|
u32 := 193;
|
|
s32 := 193;
|
|
u64 := 193;
|
|
s64 := 193;
|
|
|
|
WriteLn('193, should be false');
|
|
CheckResult(' u8 -> ', u8 in LargeSet, False);
|
|
// CheckResult(' s8 -> ', s8 in LargeSet, False);
|
|
CheckResult('u16 -> ', u16 in LargeSet, False);
|
|
CheckResult('s16 -> ', s16 in LargeSet, False);
|
|
CheckResult('u32 -> ', u32 in LargeSet, False);
|
|
CheckResult('s32 -> ', s32 in LargeSet, False);
|
|
CheckResult('u64 -> ', u64 in LargeSet, False);
|
|
CheckResult('s64 -> ', s64 in LargeSet, False);
|
|
WriteLn;
|
|
|
|
// u8 := 256;
|
|
// s8 := 256;
|
|
u16 := 256;
|
|
s16 := 256;
|
|
u32 := 256;
|
|
s32 := 256;
|
|
u64 := 256;
|
|
s64 := 256;
|
|
|
|
WriteLn('256, should be false');
|
|
// CheckResult(' u8 -> ', u8 in LargeSet, False);
|
|
// CheckResult(' s8 -> ', s8 in LargeSet, False);
|
|
CheckResult('u16 -> ', u16 in LargeSet, False);
|
|
CheckResult('s16 -> ', s16 in LargeSet, False);
|
|
CheckResult('u32 -> ', u32 in LargeSet, False);
|
|
CheckResult('s32 -> ', s32 in LargeSet, False);
|
|
CheckResult('u64 -> ', u64 in LargeSet, False);
|
|
CheckResult('s64 -> ', s64 in LargeSet, False);
|
|
WriteLn;
|
|
|
|
u8 := High(u8);
|
|
s8 := High(s8);
|
|
u16 := High(u16);
|
|
s16 := High(s16);
|
|
u32 := High(u32);
|
|
s32 := High(s32);
|
|
u64 := High(u64);
|
|
s64 := High(s64);
|
|
|
|
WriteLn('High(type), s8 should be true, u64/s64 should cause range check');
|
|
CheckResult(' u8 -> ', u8 in LargeSet, False);
|
|
CheckResult(' s8 -> ', s8 in LargeSet, True);
|
|
CheckResult('u16 -> ', u16 in LargeSet, False);
|
|
CheckResult('s16 -> ', s16 in LargeSet, False);
|
|
CheckResult('u32 -> ', u32 in LargeSet, False);
|
|
CheckResult('s32 -> ', s32 in LargeSet, False);
|
|
try
|
|
CheckResult('u64 -> ', u64 in LargeSet);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
CheckResult('s64 -> ', s64 in LargeSet);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
u8 := Low(u8);
|
|
s8 := Low(s8);
|
|
u16 := Low(u16);
|
|
s16 := Low(s16);
|
|
u32 := Low(u32);
|
|
s32 := Low(s32);
|
|
u64 := Low(u64);
|
|
s64 := Low(s64);
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error');
|
|
CheckResult('u8 -> ', u8 in LargeSet, True);
|
|
CheckResult('s8 -> ', s8 in LargeSet, False);
|
|
CheckResult('u16 -> ', u16 in LargeSet, True);
|
|
CheckResult('s16 -> ', s16 in LargeSet, False);
|
|
CheckResult('u32 -> ', u32 in LargeSet, True);
|
|
CheckResult('s32 -> ', s32 in LargeSet, False);
|
|
CheckResult('u64 -> ', u64 in LargeSet, True);
|
|
|
|
try
|
|
CheckResult('s64 -> ', s64 in LargeSet);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- constant value against constant set [0, 2, 8..20, 99..192] ---' );
|
|
WriteLn;
|
|
|
|
WriteLn('100, should be true');
|
|
CheckResult('100 -> ', 100 in [0, 2, 8..20, 99..192], True);
|
|
WriteLn;
|
|
|
|
WriteLn('98, should be false');
|
|
CheckResult(' 98 -> ', 98 in [0, 2, 8..20, 99..192], False);
|
|
WriteLn;
|
|
|
|
WriteLn('193, should be false');
|
|
CheckResult('193 -> ', 193 in [0, 2, 8..20, 99..192], False);
|
|
WriteLn;
|
|
|
|
WriteLn('256, should be false');
|
|
CheckResult('256 -> ', 256 in [0, 2, 8..20, 99..192], False);
|
|
WriteLn;
|
|
|
|
WriteLn('High(type), s8 should be true, u64/s64 should cause range check at compile time');
|
|
CheckResult(' u8 -> ', High(u8) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult(' s8 -> ', High(s8) in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('u16 -> ', High(u16) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s16 -> ', High(s16) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', High(u32) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('s32 -> ', High(s32) in [0, 2, 8..20, 99..192], False);
|
|
try
|
|
// CheckResult('u64 -> ', High(u64) in [0, 2, 8..20, 99..192]);
|
|
WriteLn('u64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
// CheckResult('s64 -> ', High(s64) in [0, 2, 8..20, 99..192]);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error at compile time');
|
|
CheckResult('u8 -> ', Low(u8) in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s8 -> ', Low(s8) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u16 -> ', Low(u16) in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s16 -> ', Low(s16) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u32 -> ', Low(u32) in [0, 2, 8..20, 99..192], True);
|
|
CheckResult('s32 -> ', Low(s32) in [0, 2, 8..20, 99..192], False);
|
|
CheckResult('u64 -> ', Low(u64) in [0, 2, 8..20, 99..192], True);
|
|
|
|
try
|
|
// CheckResult('s64 -> ', Low(s64) in [0, 2, 8..20, 99..192]);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- constant value against set of byte with value [0, 2, 8..20, 99..192] ---' );
|
|
WriteLn;
|
|
|
|
LargeSet := [0, 2, 8..20, 99..192];
|
|
|
|
WriteLn('100, should be true');
|
|
CheckResult('100 -> ', 100 in LargeSet, True);
|
|
WriteLn;
|
|
|
|
WriteLn('98, should be false');
|
|
CheckResult(' 98 -> ', 98 in LargeSet, False);
|
|
WriteLn;
|
|
|
|
WriteLn('193, should be false');
|
|
CheckResult('193 -> ', 193 in LargeSet, False);
|
|
WriteLn;
|
|
|
|
WriteLn('256, should be false');
|
|
CheckResult('256 -> ', 256 in LargeSet, False);
|
|
WriteLn;
|
|
|
|
WriteLn('High(type), s8 should be true, u64/s64 should cause range check at compile time');
|
|
CheckResult(' u8 -> ', High(u8) in LargeSet, False);
|
|
CheckResult(' s8 -> ', High(s8) in LargeSet, True);
|
|
CheckResult('u16 -> ', High(u16) in LargeSet, False);
|
|
CheckResult('s16 -> ', High(s16) in LargeSet, False);
|
|
CheckResult('u32 -> ', High(u32) in LargeSet, False);
|
|
CheckResult('s32 -> ', High(s32) in LargeSet, False);
|
|
try
|
|
// CheckResult('u64 -> ', High(u64) in LargeSet);
|
|
WriteLn('u64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
// CheckResult('s64 -> ', High(s64) in LargeSet);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error at compile time');
|
|
CheckResult(' u8 -> ', Low(u8) in LargeSet, True);
|
|
CheckResult(' s8 -> ', Low(s8) in LargeSet, False);
|
|
CheckResult('u16 -> ', Low(u16) in LargeSet, True);
|
|
CheckResult('s16 -> ', Low(s16) in LargeSet, False);
|
|
CheckResult('u32 -> ', Low(u32) in LargeSet, True);
|
|
CheckResult('s32 -> ', Low(s32) in LargeSet, False);
|
|
CheckResult('u64 -> ', Low(u64) in LargeSet, True);
|
|
try
|
|
// CheckResult('s64 -> ', Low(s64) in LargeSet);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- Variable against constant set [0, 2, 8..20] ---' );
|
|
WriteLn;
|
|
|
|
u8 := 10;
|
|
s8 := 10;
|
|
u16 := 10;
|
|
s16 := 10;
|
|
u32 := 10;
|
|
s32 := 10;
|
|
u64 := 10;
|
|
s64 := 10;
|
|
|
|
WriteLn('10, should be true');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20], True);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20], True);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20], True);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20], True);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20], True);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20], True);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20], True);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20], True);
|
|
WriteLn;
|
|
|
|
u8 := 7;
|
|
s8 := 7;
|
|
u16 := 7;
|
|
s16 := 7;
|
|
u32 := 7;
|
|
s32 := 7;
|
|
u64 := 7;
|
|
s64 := 7;
|
|
|
|
WriteLn('7, should be false');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20], False);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20], False);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20], False);
|
|
WriteLn;
|
|
|
|
u8 := 30;
|
|
s8 := 30;
|
|
u16 := 30;
|
|
s16 := 30;
|
|
u32 := 30;
|
|
s32 := 30;
|
|
u64 := 30;
|
|
s64 := 30;
|
|
|
|
WriteLn('30, should be false');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20], False);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20], False);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20], False);
|
|
WriteLn;
|
|
|
|
// u8 := 256;
|
|
// s8 := 256;
|
|
u16 := 256;
|
|
s16 := 256;
|
|
u32 := 256;
|
|
s32 := 256;
|
|
u64 := 256;
|
|
s64 := 256;
|
|
|
|
WriteLn('256, should be false');
|
|
// CheckResult(' u8 -> ', u8 in [0, 2, 8..20], False);
|
|
// CheckResult(' s8 -> ', s8 in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20], False);
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20], False);
|
|
WriteLn;
|
|
|
|
u8 := High(u8);
|
|
s8 := High(s8);
|
|
u16 := High(u16);
|
|
s16 := High(s16);
|
|
u32 := High(u32);
|
|
s32 := High(s32);
|
|
u64 := High(u64);
|
|
s64 := High(s64);
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check');
|
|
CheckResult(' u8 -> ', u8 in [0, 2, 8..20], False);
|
|
CheckResult(' s8 -> ', s8 in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20], False);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20], False);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20], False);
|
|
try
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
u8 := Low(u8);
|
|
s8 := Low(s8);
|
|
u16 := Low(u16);
|
|
s16 := Low(s16);
|
|
u32 := Low(u32);
|
|
s32 := Low(s32);
|
|
u64 := Low(u64);
|
|
s64 := Low(s64);
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error');
|
|
CheckResult('u8 -> ', u8 in [0, 2, 8..20], True);
|
|
CheckResult('s8 -> ', s8 in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', u16 in [0, 2, 8..20], True);
|
|
CheckResult('s16 -> ', s16 in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', u32 in [0, 2, 8..20], True);
|
|
CheckResult('s32 -> ', s32 in [0, 2, 8..20], False);
|
|
CheckResult('u64 -> ', u64 in [0, 2, 8..20], True);
|
|
|
|
try
|
|
CheckResult('s64 -> ', s64 in [0, 2, 8..20]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- Variable against set of 0..31 with value [0, 2, 8..20] ---' );
|
|
WriteLn;
|
|
|
|
SmallSet := [0, 2, 8..20];
|
|
|
|
u8 := 10;
|
|
s8 := 10;
|
|
u16 := 10;
|
|
s16 := 10;
|
|
u32 := 10;
|
|
s32 := 10;
|
|
u64 := 10;
|
|
s64 := 10;
|
|
|
|
WriteLn('10, should be true');
|
|
CheckResult(' u8 -> ', u8 in SmallSet, True);
|
|
CheckResult(' s8 -> ', s8 in SmallSet, True);
|
|
CheckResult('u16 -> ', u16 in SmallSet, True);
|
|
CheckResult('s16 -> ', s16 in SmallSet, True);
|
|
CheckResult('u32 -> ', u32 in SmallSet, True);
|
|
CheckResult('s32 -> ', s32 in SmallSet, True);
|
|
CheckResult('u64 -> ', u64 in SmallSet, True);
|
|
CheckResult('s64 -> ', s64 in SmallSet, True);
|
|
WriteLn;
|
|
|
|
u8 := 7;
|
|
s8 := 7;
|
|
u16 := 7;
|
|
s16 := 7;
|
|
u32 := 7;
|
|
s32 := 7;
|
|
u64 := 7;
|
|
s64 := 7;
|
|
|
|
WriteLn('7, should be false');
|
|
CheckResult(' u8 -> ', u8 in SmallSet, False);
|
|
CheckResult(' s8 -> ', s8 in SmallSet, False);
|
|
CheckResult('u16 -> ', u16 in SmallSet, False);
|
|
CheckResult('s16 -> ', s16 in SmallSet, False);
|
|
CheckResult('u32 -> ', u32 in SmallSet, False);
|
|
CheckResult('s32 -> ', s32 in SmallSet, False);
|
|
CheckResult('u64 -> ', u64 in SmallSet, False);
|
|
CheckResult('s64 -> ', s64 in SmallSet, False);
|
|
WriteLn;
|
|
|
|
u8 := 30;
|
|
s8 := 30;
|
|
u16 := 30;
|
|
s16 := 30;
|
|
u32 := 30;
|
|
s32 := 30;
|
|
u64 := 30;
|
|
s64 := 30;
|
|
|
|
WriteLn('30, should be false');
|
|
CheckResult(' u8 -> ', u8 in SmallSet, False);
|
|
CheckResult(' s8 -> ', s8 in SmallSet, False);
|
|
CheckResult('u16 -> ', u16 in SmallSet, False);
|
|
CheckResult('s16 -> ', s16 in SmallSet, False);
|
|
CheckResult('u32 -> ', u32 in SmallSet, False);
|
|
CheckResult('s32 -> ', s32 in SmallSet, False);
|
|
CheckResult('u64 -> ', u64 in SmallSet, False);
|
|
CheckResult('s64 -> ', s64 in SmallSet, False);
|
|
WriteLn;
|
|
|
|
// u8 := 256;
|
|
// s8 := 256;
|
|
u16 := 256;
|
|
s16 := 256;
|
|
u32 := 256;
|
|
s32 := 256;
|
|
u64 := 256;
|
|
s64 := 256;
|
|
|
|
WriteLn('256, should be false');
|
|
// CheckResult(' u8 -> ', u8 in SmallSet, False);
|
|
// CheckResult(' s8 -> ', s8 in SmallSet, False);
|
|
CheckResult('u16 -> ', u16 in SmallSet, False);
|
|
CheckResult('s16 -> ', s16 in SmallSet, False);
|
|
CheckResult('u32 -> ', u32 in SmallSet, False);
|
|
CheckResult('s32 -> ', s32 in SmallSet, False);
|
|
CheckResult('u64 -> ', u64 in SmallSet, False);
|
|
CheckResult('s64 -> ', s64 in SmallSet, False);
|
|
WriteLn;
|
|
|
|
u8 := High(u8);
|
|
s8 := High(s8);
|
|
u16 := High(u16);
|
|
s16 := High(s16);
|
|
u32 := High(u32);
|
|
s32 := High(s32);
|
|
u64 := High(u64);
|
|
s64 := High(s64);
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check');
|
|
CheckResult(' u8 -> ', u8 in SmallSet, False);
|
|
CheckResult(' s8 -> ', s8 in SmallSet, False);
|
|
CheckResult('u16 -> ', u16 in SmallSet, False);
|
|
CheckResult('s16 -> ', s16 in SmallSet, False);
|
|
CheckResult('u32 -> ', u32 in SmallSet, False);
|
|
CheckResult('s32 -> ', s32 in SmallSet, False);
|
|
try
|
|
CheckResult('u64 -> ', u64 in SmallSet);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
CheckResult('s64 -> ', s64 in SmallSet);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
u8 := Low(u8);
|
|
s8 := Low(s8);
|
|
u16 := Low(u16);
|
|
s16 := Low(s16);
|
|
u32 := Low(u32);
|
|
s32 := Low(s32);
|
|
u64 := Low(u64);
|
|
s64 := Low(s64);
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error');
|
|
CheckResult('u8 -> ', u8 in SmallSet, True);
|
|
CheckResult('s8 -> ', s8 in SmallSet, False);
|
|
CheckResult('u16 -> ', u16 in SmallSet, True);
|
|
CheckResult('s16 -> ', s16 in SmallSet, False);
|
|
CheckResult('u32 -> ', u32 in SmallSet, True);
|
|
CheckResult('s32 -> ', s32 in SmallSet, False);
|
|
CheckResult('u64 -> ', u64 in SmallSet, True);
|
|
|
|
try
|
|
CheckResult('s64 -> ', s64 in SmallSet);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- constant value against constant set [0, 2, 8..20] ---' );
|
|
WriteLn;
|
|
|
|
WriteLn('10, should be true');
|
|
CheckResult('10 -> ', 10 in [0, 2, 8..20], True);
|
|
WriteLn;
|
|
|
|
WriteLn('7, should be false');
|
|
CheckResult(' 7 -> ', 7 in [0, 2, 8..20], False);
|
|
WriteLn;
|
|
|
|
WriteLn('30, should be false');
|
|
CheckResult('30 -> ', 30 in [0, 2, 8..20], False);
|
|
WriteLn;
|
|
|
|
WriteLn('256, should be false');
|
|
CheckResult('256 -> ', 256 in [0, 2, 8..20], False);
|
|
WriteLn;
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check at compile time');
|
|
CheckResult(' u8 -> ', High(u8) in [0, 2, 8..20], False);
|
|
CheckResult(' s8 -> ', High(s8) in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', High(u16) in [0, 2, 8..20], False);
|
|
CheckResult('s16 -> ', High(s16) in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', High(u32) in [0, 2, 8..20], False);
|
|
CheckResult('s32 -> ', High(s32) in [0, 2, 8..20], False);
|
|
try
|
|
// CheckResult('u64 -> ', High(u64) in [0, 2, 8..20]);
|
|
WriteLn('u64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
// CheckResult('s64 -> ', High(s64) in [0, 2, 8..20]);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error at compile time');
|
|
CheckResult('u8 -> ', Low(u8) in [0, 2, 8..20], True);
|
|
CheckResult('s8 -> ', Low(s8) in [0, 2, 8..20], False);
|
|
CheckResult('u16 -> ', Low(u16) in [0, 2, 8..20], True);
|
|
CheckResult('s16 -> ', Low(s16) in [0, 2, 8..20], False);
|
|
CheckResult('u32 -> ', Low(u32) in [0, 2, 8..20], True);
|
|
CheckResult('s32 -> ', Low(s32) in [0, 2, 8..20], False);
|
|
CheckResult('u64 -> ', Low(u64) in [0, 2, 8..20], True);
|
|
|
|
try
|
|
// CheckResult('s64 -> ', Low(s64) in [0, 2, 8..20]);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- constant value against set of 0..31 with value [0, 2, 8..20] ---' );
|
|
WriteLn;
|
|
|
|
SmallSet := [0, 2, 8..20];
|
|
|
|
WriteLn('10, should be true');
|
|
CheckResult('10 -> ', 10 in SmallSet, True);
|
|
WriteLn;
|
|
|
|
WriteLn('7, should be false');
|
|
CheckResult(' 7 -> ', 7 in SmallSet, False);
|
|
WriteLn;
|
|
|
|
WriteLn('30, should be false');
|
|
CheckResult('30 -> ', 30 in SmallSet, False);
|
|
WriteLn;
|
|
|
|
WriteLn('256, should be false');
|
|
CheckResult('256 -> ', 256 in SmallSet, False);
|
|
WriteLn;
|
|
|
|
WriteLn('High(type), all false, u64/s64 should cause range check at compile time');
|
|
CheckResult(' u8 -> ', High(u8) in SmallSet, False);
|
|
CheckResult(' s8 -> ', High(s8) in SmallSet, False);
|
|
CheckResult('u16 -> ', High(u16) in SmallSet, False);
|
|
CheckResult('s16 -> ', High(s16) in SmallSet, False);
|
|
CheckResult('u32 -> ', High(u32) in SmallSet, False);
|
|
CheckResult('s32 -> ', High(s32) in SmallSet, False);
|
|
try
|
|
// CheckResult('u64 -> ', High(u64) in SmallSet);
|
|
WriteLn('u64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
// CheckResult('s64 -> ', High(s64) in SmallSet);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
|
|
WriteLn('Low(type), all unsigned true, all signed false, except s64 -> range check error at compile time');
|
|
CheckResult(' u8 -> ', Low(u8) in SmallSet, True);
|
|
CheckResult(' s8 -> ', Low(s8) in SmallSet, False);
|
|
CheckResult('u16 -> ', Low(u16) in SmallSet, True);
|
|
CheckResult('s16 -> ', Low(s16) in SmallSet, False);
|
|
CheckResult('u32 -> ', Low(u32) in SmallSet, True);
|
|
CheckResult('s32 -> ', Low(s32) in SmallSet, False);
|
|
CheckResult('u64 -> ', Low(u64) in SmallSet, True);
|
|
try
|
|
// CheckResult('s64 -> ', Low(s64) in SmallSet);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- Variable against constant set [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41] ---' );
|
|
WriteLn;
|
|
|
|
u8 := 25;
|
|
s8 := 25;
|
|
u16 := 25;
|
|
s16 := 25;
|
|
u32 := 25;
|
|
s32 := 25;
|
|
u64 := 25;
|
|
s64 := 25;
|
|
|
|
WriteLn('25, should be true');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
WriteLn;
|
|
|
|
u8 := 26;
|
|
s8 := 26;
|
|
u16 := 26;
|
|
s16 := 26;
|
|
u32 := 26;
|
|
s32 := 26;
|
|
u64 := 26;
|
|
s64 := 26;
|
|
|
|
WriteLn('26, should be false');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn;
|
|
|
|
u8 := 49;
|
|
s8 := 49;
|
|
u16 := 49;
|
|
s16 := 49;
|
|
u32 := 49;
|
|
s32 := 49;
|
|
u64 := 49;
|
|
s64 := 49;
|
|
|
|
WriteLn('49, should be false');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn;
|
|
|
|
// u8 := 256;
|
|
// s8 := 256;
|
|
u16 := 256;
|
|
s16 := 256;
|
|
u32 := 256;
|
|
s32 := 256;
|
|
u64 := 256;
|
|
s64 := 256;
|
|
|
|
WriteLn('256, should be false');
|
|
// CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
// CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn;
|
|
|
|
u8 := High(u8);
|
|
s8 := High(s8);
|
|
u16 := High(u16);
|
|
s16 := High(s16);
|
|
u32 := High(u32);
|
|
s32 := High(s32);
|
|
u64 := High(u64);
|
|
s64 := High(s64);
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
try
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
u8 := Low(u8);
|
|
s8 := Low(s8);
|
|
u16 := Low(u16);
|
|
s16 := Low(s16);
|
|
u32 := Low(u32);
|
|
s32 := Low(s32);
|
|
u64 := Low(u64);
|
|
s64 := Low(s64);
|
|
|
|
WriteLn('Low(type), all false, except s64 -> range check error');
|
|
CheckResult('u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
|
|
try
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- constant value against constant set [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41] ---' );
|
|
WriteLn;
|
|
|
|
WriteLn('25, should be true');
|
|
CheckResult('25 -> ', 25 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], True);
|
|
WriteLn;
|
|
|
|
WriteLn('26, should be false');
|
|
CheckResult(' 26 -> ', 26 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn;
|
|
|
|
WriteLn('49, should be false');
|
|
CheckResult('49 -> ', 49 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn;
|
|
|
|
WriteLn('256, should be false');
|
|
CheckResult('256 -> ', 256 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn;
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check at compile time');
|
|
CheckResult(' u8 -> ', High(u8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult(' s8 -> ', High(s8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', High(u16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', High(s16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', High(u32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', High(s32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
try
|
|
// CheckResult('u64 -> ', High(u64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn('u64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
// CheckResult('s64 -> ', High(s64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('Low(type), all false, except s64 -> range check error at compile time');
|
|
CheckResult('u8 -> ', Low(u8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s8 -> ', Low(s8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u16 -> ', Low(u16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s16 -> ', Low(s16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u32 -> ', Low(u32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('s32 -> ', Low(s32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
CheckResult('u64 -> ', Low(u64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
|
|
try
|
|
// CheckResult('s64 -> ', Low(s64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41], False);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- Variable against constant set [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29] ---' );
|
|
WriteLn;
|
|
|
|
u8 := 25;
|
|
s8 := 25;
|
|
u16 := 25;
|
|
s16 := 25;
|
|
u32 := 25;
|
|
s32 := 25;
|
|
u64 := 25;
|
|
s64 := 25;
|
|
|
|
WriteLn('25, should be true');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
WriteLn;
|
|
|
|
u8 := 26;
|
|
s8 := 26;
|
|
u16 := 26;
|
|
s16 := 26;
|
|
u32 := 26;
|
|
s32 := 26;
|
|
u64 := 26;
|
|
s64 := 26;
|
|
|
|
WriteLn('26, should be false');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn;
|
|
|
|
u8 := 30;
|
|
s8 := 30;
|
|
u16 := 30;
|
|
s16 := 30;
|
|
u32 := 30;
|
|
s32 := 30;
|
|
u64 := 30;
|
|
s64 := 30;
|
|
|
|
WriteLn('30, should be false');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn;
|
|
|
|
// u8 := 256;
|
|
// s8 := 256;
|
|
u16 := 256;
|
|
s16 := 256;
|
|
u32 := 256;
|
|
s32 := 256;
|
|
u64 := 256;
|
|
s64 := 256;
|
|
|
|
WriteLn('256, should be false');
|
|
// CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
// CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn;
|
|
|
|
u8 := High(u8);
|
|
s8 := High(s8);
|
|
u16 := High(u16);
|
|
s16 := High(s16);
|
|
u32 := High(u32);
|
|
s32 := High(s32);
|
|
u64 := High(u64);
|
|
s64 := High(s64);
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check');
|
|
CheckResult(' u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult(' s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
try
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
u8 := Low(u8);
|
|
s8 := Low(s8);
|
|
u16 := Low(u16);
|
|
s16 := Low(s16);
|
|
u32 := Low(u32);
|
|
s32 := Low(s32);
|
|
u64 := Low(u64);
|
|
s64 := Low(s64);
|
|
|
|
WriteLn('Low(type), all false, except s64 -> range check error');
|
|
CheckResult('u8 -> ', u8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s8 -> ', s8 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', u16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', s16 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', u32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', s32 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u64 -> ', u64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
|
|
try
|
|
CheckResult('s64 -> ', s64 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29]);
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('--- constant value against constant set [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29] ---' );
|
|
WriteLn;
|
|
|
|
WriteLn('25, should be true');
|
|
CheckResult('25 -> ', 25 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], True);
|
|
WriteLn;
|
|
|
|
WriteLn('26, should be false');
|
|
CheckResult(' 26 -> ', 26 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn;
|
|
|
|
WriteLn('30, should be false');
|
|
CheckResult('30 -> ', 30 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn;
|
|
|
|
WriteLn('256, should be false');
|
|
CheckResult('256 -> ', 256 in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn;
|
|
|
|
WriteLn('High(type), should be false, u64/s64 should cause range check at compile time');
|
|
CheckResult(' u8 -> ', High(u8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult(' s8 -> ', High(s8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', High(u16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', High(s16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', High(u32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', High(s32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
try
|
|
// CheckResult('u64 -> ', High(u64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn('u64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('u64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
try
|
|
// CheckResult('s64 -> ', High(s64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
WriteLn('Low(type), all false, except s64 -> range check error at compile time');
|
|
CheckResult('u8 -> ', Low(u8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s8 -> ', Low(s8) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u16 -> ', Low(u16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s16 -> ', Low(s16) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u32 -> ', Low(u32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('s32 -> ', Low(s32) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
CheckResult('u64 -> ', Low(u64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
|
|
try
|
|
// CheckResult('s64 -> ', Low(s64) in [1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29], False);
|
|
WriteLn('s64 -> Error: range check error while evaluating constants');
|
|
except
|
|
on E: Exception do
|
|
WriteLn('s64 -> ', E.Classname,': ',E.Message);
|
|
end;
|
|
WriteLn;
|
|
|
|
if Error then begin
|
|
WriteLn('* * * ERROR * * * ERROR * * * ERROR * * * ERROR * * * ERROR * * * ERROR * * *');
|
|
Halt(1);
|
|
end else
|
|
Halt(0);
|
|
end.
|