paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-13 01:50:49 +02:00
Code Issues Packages Projects Releases Wiki Activity

fcl-passrc: resolver: const p: precord; p^.x:=1

Browse Source 
git-svn-id: trunk@38822 -
This commit is contained in:
Mattias Gaertner 2018-04-23 15:03:07 +00:00
parent 6a30410f7b
commit 549420da71
2 changed files with 14 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
packages/fcl-passrc/src/pasresolver.pp
View File

@ -1542,7 +1542,7 @@ type
procedure GetIncompatibleTypeDesc(const GotType, ExpType: TPasResolverResult;
out GotDesc, ExpDesc: String);
procedure RaiseMsg(const Id: int64; MsgNumber: integer; const Fmt: String;
Args: Array of const; ErrorPosEl: TPasElement);
Args: Array of const; ErrorPosEl: TPasElement); virtual;
procedure RaiseNotYetImplemented(id: int64; El: TPasElement; Msg: string = ''); virtual;
procedure RaiseInternalError(id: int64; const Msg: string = '');
procedure RaiseInvalidScopeForElement(id: int64; El: TPasElement; const Msg: string = '');
@ -7372,6 +7372,7 @@ begin
begin
// a.b -> a^.b
LTypeEl:=ResolveAliasType(TPasPointerType(LTypeEl).DestType);
Include(LeftResolved.Flags,rrfWritable);
end;
if LTypeEl.ClassType=TPasClassType then
@ -14236,7 +14237,7 @@ begin
if ErrorOnFalse then
begin
{$IFDEF VerbosePasResolver}
writeln('TPasResolver.CheckCanBeLHS ',GetResolverResultDbg(ResolvedEl));
writeln('TPasResolver.CheckCanBeLHS no identifier: ',GetResolverResultDbg(ResolvedEl));
{$ENDIF}
if (ResolvedEl.TypeEl<>nil) and (ResolvedEl.ExprEl<>nil) then
RaiseXExpectedButYFound(20170216152727,'identifier',GetElementTypeName(ResolvedEl.TypeEl),ResolvedEl.ExprEl)
@ -14250,6 +14251,9 @@ begin
exit(true);
// not writable
if not ErrorOnFalse then exit;
{$IFDEF VerbosePasResolver}
writeln('TPasResolver.CheckCanBeLHS not writable: ',GetResolverResultDbg(ResolvedEl));
{$ENDIF}
if ResolvedEl.IdentEl is TPasProperty then
RaiseMsg(20170216152427,nPropertyNotWritable,sPropertyNotWritable,[],ErrorEl)
else
@ -15391,8 +15395,7 @@ begin
exit(true);
if (ResolvedEl.IdentEl.ClassType=TPasConst) then
begin
// typed const are writable
Result:=(TPasConst(ResolvedEl.IdentEl).VarType<>nil);
Result:=TPasConst(ResolvedEl.IdentEl).IsConst;
exit;
end;
if (proPropertyAsVarParam in Options)

7
packages/fcl-passrc/tests/tcresolver.pas
View File

@ -12884,6 +12884,12 @@ begin
'type',
' PRec = ^TRec;',
' TRec = record x: longint; end;',
'procedure DoIt(const p: PRec);',
'begin',
' p.x:=p.x;',
' with p^ do',
' x:=x;',
'end;',
'var',
' r: TRec;',
' p: PRec;',
@ -12893,6 +12899,7 @@ begin
' p.x:=i;',
' if i=p.x then;',
' if p.x=i then;',
' DoIt(@r);',
'']);
ParseProgram;
end;