administrator/pascalabcnet
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fix #1402

Browse source
This commit is contained in:
miks1965 2018-10-21 19:01:04 +03:00
parent 987ab845e8
commit 421a7dd865
3 changed files with 21 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
TestSuite/errors/err0293.pas Normal file
View file

@ -0,0 +1,6 @@
type
T1 = array [0..integer.MaxValue] of byte;
begin
end.

6
TestSuite/errors/err0294.pas Normal file
View file

@ -0,0 +1,6 @@
type
T1 = array [integer] of byte;
begin
end.

11
TreeConverter/TreeConversion/syntax_tree_visitor.cs
View file

@ -13867,10 +13867,17 @@ namespace PascalABCCompiler.TreeConverter
if (tn.base_type == SystemLibrary.SystemLibrary.uint_type || tn.base_type == SystemLibrary.SystemLibrary.int64_type ||
tn.base_type == SystemLibrary.SystemLibrary.uint64_type)
//ordinal_type_interface oti = tn.get_internal_interface(internal_interface_kind.ordinal_interface) as ordinal_type_interface;
AddError(get_location(td), "RANGE_TOO_LARGE");
AddError(get_location(td), "RANGE_TOO_LARGE");
if (tn.base_type == SystemLibrary.SystemLibrary.integer_type)
{
Int64 low = ((tn as SemanticTree.ICommonTypeNode).lower_value as int_const_node).constant_value;
Int64 high = ((tn as SemanticTree.ICommonTypeNode).upper_value as int_const_node).constant_value;
if (high-low >= int.MaxValue)
AddError(get_location(td), "RANGE_TOO_LARGE");
}
}
else if (tn == SystemLibrary.SystemLibrary.uint_type || tn == SystemLibrary.SystemLibrary.int64_type ||
tn == SystemLibrary.SystemLibrary.uint64_type)
tn == SystemLibrary.SystemLibrary.uint64_type || tn == SystemLibrary.SystemLibrary.integer_type)
AddError(get_location(td), "RANGE_TOO_LARGE");
ind_types.AddElement(tn);
}