Apple-2gs-SW/ORCA-C
1
0
Fork 0
mirror of https://github.com/byteworksinc/ORCA-C.git synced 2025-04-14 19:37:03 +00:00
Code Issues Projects Releases Wiki Activity

Don't erroneously pop the symbol table at declarations of a pointer to a typedef'd function type.

Browse Source 
This problem could cause "duplicate symbol" and "undeclared identifier" errors, for example in the following program:

typedef int f1( void );
void bar( void ) {
    int i;
    f1 *foo;
    int baz;
    i = 10;
}
int foo;
long baz;
This commit is contained in:
Stephen Heumann 2017-06-21 00:20:35 -05:00
parent 5321ef2f84
commit f79887c565
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Parser.pas
View File

@ -1142,6 +1142,7 @@ var
tsPtr: typeDefPtr; {work pointer}
typeStack: typeDefPtr; {stack of type definitions}
varParmList: boolean; {did we prototype a variable?}
firstIteration: boolean; {first iteration of type-unstacking loop?}
{for checking function compatibility}
{-----------------------------------}
@ -1489,6 +1490,7 @@ typeStack := nil; {no types so far}
parameterStorage := false; {symbol is not in a parameter list}
checkParms := false; {assume we won't need to check for parameter type errors}
StackDeclarations(varParmList); {stack the type records}
firstIteration := true;
while typeStack <> nil do begin {reverse the type stack}
tsPtr := typeStack;
typeStack := tsPtr^.next;
@ -1501,7 +1503,8 @@ while typeStack <> nil do begin {reverse the type stack}
tPtr2 := tsPtr^.typeDef;
dispose(tsPtr);
if tPtr^.kind = functionType then
PopTable;
if not firstIteration then
PopTable; {balance push in StackDeclarations}
case tPtr2^.kind of
pointerType: begin
tPtr2^.pType := tPtr;
@ -1520,6 +1523,7 @@ while typeStack <> nil do begin {reverse the type stack}
otherwise: ;
end; {case}
tPtr := tPtr2;
firstIteration := false;
end; {while}
if checkParms then begin {check for parameter type conflicts}