mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-05 08:18:12 +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 -
28 lines
342 B
ObjectPascal
28 lines
342 B
ObjectPascal
{ %opt=-vw -Sew }
|
|
|
|
{ should not cause warnings about potential problems with coerced univ
|
|
parameters, since no procvars are involved }
|
|
|
|
{$mode macpas}
|
|
|
|
type
|
|
tr = record
|
|
l : longint;
|
|
end;
|
|
|
|
procedure test(l: univ longint);
|
|
begin
|
|
writeln(l);
|
|
end;
|
|
|
|
var
|
|
r: tr;
|
|
s: single;
|
|
begin
|
|
r.l:=12345;
|
|
test(r);
|
|
s:=1234;
|
|
test(s);
|
|
end.
|
|
|