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

* fixed web bug #4724 (don't allow inc/dec(pointer,pointer)

Browse Source 
* more accurate error postitions for inc/dec errors

git-svn-id: trunk@2502 -
This commit is contained in:
Jonas Maebe 2006-02-09 18:18:47 +00:00
parent 765fe2b2ab
commit 5007ae7197
3 changed files with 19 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitattributes vendored
View File

@ -5987,6 +5987,7 @@ tests/webtbf/tw4619b.pp svneol=native#text/plain
tests/webtbf/tw4647.pp svneol=native#text/plain
tests/webtbf/tw4651.pp svneol=native#text/plain
tests/webtbf/tw4695.pp svneol=native#text/plain
tests/webtbf/tw4724.pp svneol=native#text/plain
tests/webtbf/tw4737.pp svneol=native#text/plain
tests/webtbf/tw4757.pp svneol=native#text/plain
tests/webtbf/tw4764.pp svneol=native#text/plain

18
compiler/ninl.pas
View File

@ -1666,17 +1666,23 @@ implementation
{ two paras ? }
if assigned(tcallparanode(left).right) then
begin
set_varstate(tcallparanode(tcallparanode(left).right).left,vs_read,[vsf_must_be_valid]);
inserttypeconv_internal(tcallparanode(tcallparanode(left).right).left,tcallparanode(left).left.resulttype);
if assigned(tcallparanode(tcallparanode(left).right).right) then
CGMessage(parser_e_illegal_expression);
if is_integer(tcallparanode(left).right.resulttype.def) then
begin
set_varstate(tcallparanode(tcallparanode(left).right).left,vs_read,[vsf_must_be_valid]);
inserttypeconv_internal(tcallparanode(tcallparanode(left).right).left,tcallparanode(left).left.resulttype);
if assigned(tcallparanode(tcallparanode(left).right).right) then
{ should be handled in the parser (JM) }
internalerror(2006020901);
end
else
CGMessagePos(tcallparanode(left).right.fileinfo,type_e_ordinal_expr_expected);
end;
end
else
CGMessage(type_e_ordinal_expr_expected);
CGMessagePos(left.fileinfo,type_e_ordinal_expr_expected);
end
else
CGMessage(type_e_mismatch);
CGMessagePos(fileinfo,type_e_mismatch);
end;
in_read_x,

6
tests/webtbf/tw4724.pp Normal file
View File

@ -0,0 +1,6 @@
{ %fail }
var
p1, p2: pointer;
begin
dec(p1,p2);
end.