paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-11 20:29:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

* tmoddivnode.pass_typecheck: in the case of unsigned div/mod positive_const, check also the upper bound of the const, so it doesn't get truncated

Browse Source 
git-svn-id: branches/i8086@24247 -
This commit is contained in:
nickysn 2013-04-14 21:56:32 +00:00
parent fef3732884
commit 1312fd72f2
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/nmat.pas
View File

@ -245,7 +245,8 @@ implementation
{ (webtbs/tw8870) } { (webtbs/tw8870) }
if (rd.ordtype in [u8bit,u16bit,u32bit,u64bit]) and if (rd.ordtype in [u8bit,u16bit,u32bit,u64bit]) and
((is_constintnode(left) and ((is_constintnode(left) and
(tordconstnode(left).value >= 0)) or (tordconstnode(left).value >= 0) and
(tordconstnode(left).value <= get_max_value(rd))) or
(not is_signed(ld) and (not is_signed(ld) and
(rd.size >= ld.size))) then (rd.size >= ld.size))) then
begin begin
@ -254,7 +255,8 @@ implementation
end; end;
if (ld.ordtype in [u8bit,u16bit,u32bit,u64bit]) and if (ld.ordtype in [u8bit,u16bit,u32bit,u64bit]) and
((is_constintnode(right) and ((is_constintnode(right) and
(tordconstnode(right).value >= 0)) or (tordconstnode(right).value >= 0) and
(tordconstnode(right).value <= get_max_value(ld))) or
(not is_signed(rd) and (not is_signed(rd) and
(ld.size >= rd.size))) then (ld.size >= rd.size))) then
begin begin