Require preprocessor conditionals to be balanced in each include file.

This is required by the standard syntax for a preprocessing file (C17 6.10), which must be a "group" (or empty).

Scanner.asm

@@ -506,6 +506,8 @@ lab1     anop
          beq   la2
 la1      brl   lb5
 la2      anop
+!       CheckConditionals;
+         jsl   CheckConditionals
 !    if not lastWasReturn then begin
 !       lastWasReturn := true;
 !       needWriteLine := true;

Scanner.pas

@@ -253,6 +253,7 @@ type
       status:                           {what are we doing?}
          (processing,skippingToEndif,skippingToElse);
       elseFound: boolean;               {has an #else been found?}
+      theFile: filePtr;                 {file containing the #if}
       end;
 
    onOffEnum = (on,off,default);        {on-off values in standard pragmas}
@@ -1157,6 +1158,24 @@ procedure PreProcess; forward;
 { Handle preprocessor commands                                  }
 
 
+procedure CheckConditionals;
+
+{ Check that preprocessor conditionals were balanced at the end }
+{ of an include file.                                           }
+
+var
+   ip: ifPtr;
+
+begin {CheckConditionals}
+while (ifList <> nil) and (ifList^.theFile = fileList) do begin
+   Error(21);
+   ip := ifList;
+   ifList := ifList^.next;
+   dispose(ip);
+   end; {while}
+end; {CheckConditionals}
+
+
 function FindMacro (name: stringPtr): macroRecordPtr;
 
 { If the current token is a macro, find the macro table entry   }
@@ -2653,6 +2672,7 @@ var
    else
       ip^.status := processing;
    ip^.elseFound := false;              {no else has been found...}
+   ip^.theFile := fileList;             {record the file containing the #if}
    tSkipping := ip^.status <> processing; {decide if we should be skipping}
    end; {ProcessIf}
 
@@ -2991,7 +3011,7 @@ var
 
    begin {DoElif}
    ip := ifList;
-   if ip <> nil then begin
+   if (ip <> nil) and (ip^.theFile = fileList) then begin
                                         {decide if we should be skipping}
       tSkipping := ip^.status <> skippingToElse;
       if tSkipping then
@@ -3018,10 +3038,7 @@ var
    { #else                                                       }
  
    begin {DoElse}
-   NextToken;                            {skip the command name}
-   if token.kind <> eolsy then           {check for extra stuff on the line}
-      Error(11);
-   if ifList <> nil then begin
+   if (ifList <> nil) and (ifList^.theFile = fileList) then begin
       if ifList^.elseFound then         {check for multiple elses}
          Error(19)
       else
@@ -3035,6 +3052,9 @@ var
       end
    else
       Error(20);
+   NextToken;                            {skip the command name}
+   if token.kind <> eolsy then           {check for extra stuff on the line}
+      Error(11);
    end; {DoElse}
 
 
@@ -3046,7 +3066,7 @@ var
       ip: ifPtr;                        {used to create a new if record}
  
    begin {DoEndif}
-   if ifList <> nil then begin
+   if (ifList <> nil) and (ifList^.theFile = fileList) then begin
       ip := ifList;                     {remove the top if record from the list}
       ifList := ip^.next;
       dispose(ip);