paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-05 23:47:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

* reject the default Create array constructor if used on a variable instead of a type

Browse Source 
+ added test

git-svn-id: trunk@46279 -
This commit is contained in:
svenbarth 2020-08-05 21:35:01 +00:00
parent 315819692a
commit e4ec420bf5
3 changed files with 30 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitattributes vendored
View File

@ -14375,6 +14375,7 @@ tests/test/tarrconstr4.pp svneol=native#text/pascal
tests/test/tarrconstr5.pp svneol=native#text/pascal
tests/test/tarrconstr6.pp svneol=native#text/pascal
tests/test/tarrconstr7.pp svneol=native#text/pascal
tests/test/tarrconstr8.pp svneol=native#text/pascal
tests/test/tasm1.pp svneol=native#text/plain
tests/test/tasm10.pp svneol=native#text/plain
tests/test/tasm10a.pp svneol=native#text/plain

22
compiler/pexpr.pas
View File

@ -2485,16 +2485,26 @@ implementation
begin
if not try_type_helper(p1,nil) then
begin
if pattern='CREATE' then
if p1.nodetype=typen then
begin
consume(_ID);
p2:=parse_array_constructor(tarraydef(p1.resultdef));
p1.destroy;
p1:=p2;
if pattern='CREATE' then
begin
consume(_ID);
p2:=parse_array_constructor(tarraydef(p1.resultdef));
p1.destroy;
p1:=p2;
end
else
begin
Message2(scan_f_syn_expected,'CREATE',pattern);
p1.destroy;
p1:=cerrornode.create;
consume(_ID);
end;
end
else
begin
Message2(scan_f_syn_expected,'CREATE',pattern);
Message(parser_e_invalid_qualifier);
p1.destroy;
p1:=cerrornode.create;
consume(_ID);

13
tests/test/tarrconstr8.pp Normal file
View File

@ -0,0 +1,13 @@
{ %FAIL }
program tarrconstr8;
type
TLongIntArray = array of LongInt;
var
arr: TLongIntArray;
begin
// Create *must* be used on a type
arr := arr.Create(1, 2);
end.