mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-05 16:47:53 +02:00
2c3c6d27d3
(mantis #14841) -> this also makes it impossible now to use constructs such as inc(qword_var,-1) with range checking enabled, because that would require a conversion to 128 bit for proper evaluation git-svn-id: trunk@14260 -
27 lines
616 B
ObjectPascal
27 lines
616 B
ObjectPascal
{ Source provided for Free Pascal Bug Report 4152 }
|
|
{ Submitted by "C Western" on 2005-07-03 }
|
|
{ e-mail: mftq75@dsl.pipex.com }
|
|
{R+}{Q+}
|
|
var
|
|
p:^Byte;
|
|
c:Byte;
|
|
d:Integer;
|
|
{$ifdef cpu64}
|
|
v : qword;
|
|
{$else}
|
|
v : cardinal;
|
|
{$endif}
|
|
begin
|
|
v:=100;
|
|
{$ifdef cpu32}
|
|
{ this gets translated into "v:=v+(-1)", and the compiler would require 128bit
|
|
arithmetic to calculate this when v is a qword and range checking is on }
|
|
inc(v,-1);
|
|
{$endif cpu32}
|
|
p:=@c;
|
|
Inc(p,-1); // Gives compile time error: range check error while evaluating constants
|
|
d:=2;
|
|
Inc(d,-1);
|
|
Inc(p,d); // This fails at run time
|
|
end.
|