mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-05 10:38:14 +02:00
0cfc6e1cac
passing any value to that parameter which has the same size as the
parameter (it basically acts as if there is an explicit type conversion
to the parameter type around the value at the caller side). If a procvar
has an univ parameter, all procvars whose corresponding parameter
has the same size as that univ parameter are similarly compatible.
This transparent compatibility can however cause crashes in case of
of the procvars when one of the types is passed on the stack and the
other isn't (because then the called routine will a) load the parameter
from a wrong location and b) pop the wrong amount off of the stack at
then end). Therefore FPC will warn in most cases where this can happen.
(mantis #15777)
git-svn-id: trunk@15010 -
81 lines
1.1 KiB
ObjectPascal
81 lines
1.1 KiB
ObjectPascal
{ %opt=-vw -Sew }
|
|
|
|
{$mode macpas}
|
|
|
|
type
|
|
Int8 = -128..127;
|
|
Int16 = integer;
|
|
Int32 = longint;
|
|
Rec1 = packed record f1, f2: Int8 end;
|
|
Rec2 = packed record f1, f2: Int16 end;
|
|
Rec3 = packed record f1, f2: Int32 end;
|
|
|
|
procedure test1(l: univ Int32);
|
|
begin
|
|
writeln(l)
|
|
end;
|
|
|
|
procedure test2(l: Int32);
|
|
begin
|
|
writeln(l)
|
|
end;
|
|
|
|
procedure test3(var l: univ Int32);
|
|
begin
|
|
writeln(l)
|
|
end;
|
|
|
|
procedure test4(const l: univ Int32);
|
|
begin
|
|
writeln(l)
|
|
end;
|
|
|
|
procedure testit;
|
|
var
|
|
s: single;
|
|
d: double;
|
|
i8: Int8;
|
|
i16: Int16;
|
|
i32: Int32;
|
|
r1: rec1;
|
|
r2: rec2;
|
|
r3: rec3;
|
|
begin
|
|
s:=1.0;
|
|
d:=1.0;
|
|
i8:=1;
|
|
i16:=1;
|
|
r2.f1:=1;
|
|
r2.f1:=1;
|
|
i32:= Int32( s);
|
|
test1(s);
|
|
test3(s);
|
|
test4(s);
|
|
// not supported by FPC since the sizes differ
|
|
// test1(d);
|
|
test1(i32);
|
|
test2(i32);
|
|
test3(i32);
|
|
test4(i32);
|
|
test1(1.0);
|
|
test4(1.0);
|
|
test1(2.0);
|
|
test4(2.0);
|
|
test1(r2);
|
|
test3(r2);
|
|
test4(r2);
|
|
test1(i8);
|
|
test4(i8);
|
|
test1(i16);
|
|
test4(i16);
|
|
i8:= Int8(i32);
|
|
i8:= Int8(i16);
|
|
i16:= Int16(i32);
|
|
i32:= Int32(i16);
|
|
end;
|
|
|
|
begin
|
|
testit
|
|
end.
|
|
|