Merge branch source:main into main

compiler/aasmcnst.pas

@@ -665,6 +665,7 @@ implementation
    destructor tai_simpletypedconst.destroy;
      begin
        fval.free;
+       fval := nil;
        inherited destroy;
      end;
 
@@ -719,7 +720,7 @@ implementation
             if ai.adetyp<>tck_simple then
               internalerror(2014070103);
             add_to_string(newstr,tai_simpletypedconst(ai).val);
-            ai.free;
+            ai.free; // no nil needed
           end;
        fvalues.count:=0;
        { the "nil" def will be replaced with an array def of the appropriate
@@ -787,7 +788,8 @@ implementation
              1:
                begin
                  add_to_string(tai_string(tai_simpletypedconst(fvalues[0]).val),tai_simpletypedconst(val).val);
-                 val.free
+                 val.free;
+                 val := nil;
                end
              else
                internalerror(2014070104);
@@ -849,6 +851,7 @@ implementation
    destructor tai_aggregatetypedconst.destroy;
      begin
        fvalues.free;
+       fvalues := nil;
        inherited destroy;
      end;
 
@@ -1044,6 +1047,7 @@ implementation
        fasmlist.concat(tai_symbol_end.Createname(asmsym.name));
        { free the temporary list }
        prelist.free;
+       prelist := nil;
      end;
 
 
@@ -1077,6 +1081,7 @@ implementation
            symind.increfs;
 
            indtcb.free;
+           indtcb := nil;
            if not (target_info.system in systems_indirect_var_imports) then
              current_module.add_public_asmsym(symind.name,AB_INDIRECT,AT_DATA);
          end;
@@ -1274,7 +1279,9 @@ implementation
           (ErrorCount=0) then
          internalerror(2014062901);
        faggregateinformation.free;
+       faggregateinformation := nil;
        fasmlist.free;
+       fasmlist := nil;
        inherited destroy;
      end;
 
@@ -1559,6 +1566,7 @@ implementation
        info:=curagginfo;
        faggregateinformation.count:=faggregateinformation.count-1;
        info.free;
+       info := nil;
      end;
 
 
@@ -1826,6 +1834,7 @@ implementation
        { we emit the high value, not the count }
        arrlengthloc.replace(tai_const.Create_sizeint(arrlength-1),sizesinttype);
        arrlengthloc.free;
+       arrlengthloc := nil;
        if get_dynarray_symofs=0 then
          emit_tai(tai_symbol_end.create(llofs.lab),arrdef);
        result:=end_anonymous_record;
@@ -1940,6 +1949,7 @@ implementation
              strtcb.get_final_asmlist(strlab,datadef,sec_rodata_norel,strlab.name,const_align(sizeof(pint)))
            );
            strtcb.free;
+           strtcb := nil;
 
            entry^.Data:=strlab;
            { Make sure strlab has a reference }
@@ -2158,7 +2168,9 @@ implementation
        for i:=high(fields) downto low(fields) do
          queue_subscriptn(tabstractrecorddef(parentdefs[i]),tfieldvarsym(syms[i]));
        syms.free;
+       syms := nil;
        parentdefs.free;
+       parentdefs := nil;
      end;
 
 
@@ -2266,6 +2278,7 @@ implementation
        list.insertafter(ai,insertpos);
        list.remove(insertpos);
        insertpos.free;
+       insertpos := nil;
      end;
 
 

compiler/aasmdata.pas

@@ -32,7 +32,7 @@ unit aasmdata;
 interface
 
     uses
-       cutils,cclasses,
+       sysutils,cutils,cclasses,
        globtype,systems,
        cgbase,
        symtype,
@@ -556,7 +556,9 @@ implementation
         memasmsymbols.start;
 {$endif}
         FAltSymbolList.free;
+        FAltSymbolList := nil;
         FAsmSymbolDict.free;
+        FAsmSymbolDict := nil;
 {$ifdef MEMDEBUG}
         memasmsymbols.stop;
 {$endif}
@@ -565,6 +567,7 @@ implementation
         memasmcfi.start;
 {$endif}
         FAsmCFI.free;
+        FAsmCFI := nil;
 {$ifdef MEMDEBUG}
         memasmcfi.stop;
 {$endif}
@@ -573,15 +576,18 @@ implementation
          memasmlists.start;
 {$endif}
         ResStrInits.free;
+        ResStrInits := nil;
         WideInits.free;
+        WideInits := nil;
          for hal:=low(TAsmListType) to high(TAsmListType) do
-           AsmLists[hal].free;
+           FreeAndNil(AsmLists[hal]);
          CurrAsmList.free;
+         CurrAsmList := nil;
 {$ifdef MEMDEBUG}
          memasmlists.stop;
 {$endif}
          for hp := low(TConstPoolType) to high(TConstPoolType) do
-           FConstPools[hp].Free;
+           FreeAndNil(FConstPools[hp]);
       end;
 
     function TAsmData.DefineAsmSymbolByClass(symclass: TAsmSymbolClass; const s: TSymStr; _bind: TAsmSymBind; _typ: Tasmsymtype; def: tdef): TAsmSymbol;
@@ -763,8 +769,11 @@ initialization
 finalization
 {$ifdef MEMDEBUG}
   memasmsymbols.free;
+  memasmsymbols := nil;
   memasmcfi.free;
+  memasmcfi := nil;
   memasmlists.free;
+  memasmlists := nil;
 {$endif MEMDEBUG}
 
 end.

compiler/aasmdef.pas

@@ -75,6 +75,7 @@ function TAsmDataDef.DefineAsmSymbolByClass(symclass: TAsmSymbolClass; const s:
           lower(symind.name),
           ptrdef.alignment));
         tcb.free;
+        tcb := nil;
         if (_typ=AT_DATA_FORCEINDIRECT) and not (target_info.system in systems_indirect_var_imports) then
           current_module.add_public_asmsym(symind.name,AB_INDIRECT,AT_DATA);
       end;

compiler/aggas.pas

@@ -177,6 +177,7 @@ implementation
     destructor TGNUAssembler.Destroy;
       begin
         InstrWriter.free;
+        InstrWriter := nil;
         inherited destroy;
       end;
 

compiler/aopt.pas

@@ -379,6 +379,7 @@ Unit aopt;
         p.Debug_InsertInstrRegisterDependencyInfo;
 {$endif DEBUG_INSTRUCTIONREGISTERDEPENDENCIES}
         p.free;
+        p := nil;
         StopTimer;
       end;
 
@@ -389,7 +390,8 @@ Unit aopt;
       begin
         p:=cpreregallocscheduler.Create(AsmL);
         p.Optimize;
-        p.free
+        p.free;
+        p := nil;
       end;
 
 

compiler/aoptobj.pas

@@ -38,7 +38,7 @@ Unit AoptObj;
   Interface
 
     uses
-      globtype,
+      sysutils,globtype,
       aasmbase,aasmcpu,aasmtai,aasmdata,
       cclasses,
       cgbase,cgutils,
@@ -1227,7 +1227,7 @@ Unit AoptObj;
           i : TRegisterType;
       begin
         for i:=low(TRegisterType) to high(TRegisterType) do
-          regs[i].Free;
+          regs[i].free; // no nil needed
       end;
 
 
@@ -1671,7 +1671,7 @@ Unit AoptObj;
     procedure TAOptObj.RemoveInstruction(const hp: tai); inline;
       begin
         AsmL.Remove(hp);
-        hp.Free;
+        hp.Free; // no nil needed
       end;
 
 
@@ -1761,6 +1761,7 @@ Unit AoptObj;
           begin
             asml.remove(hp2);
             hp2.free;
+            hp2 := nil;
           end;
         { Anything except A_NOP must be left in place: these instructions
           execute before branch, so code stays correct if branch is removed. }
@@ -1871,6 +1872,7 @@ Unit AoptObj;
                     end;
                   asml.remove(hp1);
                   hp1.free;
+                  hp1 := nil;
                 end
               else
                 p:=hp1;
@@ -2090,6 +2092,7 @@ Unit AoptObj;
 {$endif EXTDEBUG}
                 asml.Remove(hp);
                 hp.Free;
+                hp := nil;
                 Exit;
               end;
             else

compiler/assemble.pas

@@ -1403,7 +1403,7 @@ Implementation
     destructor TExternalAssembler.Destroy;
       begin
         if ffreewriter then
-          writer.Free;
+          writer.Free; // no nil needed
         inherited;
       end;
 
@@ -1428,8 +1428,10 @@ Implementation
       begin
         if assigned(ObjData) then
           ObjData.free;
+          ObjData := nil;
         if assigned(ObjOutput) then
           ObjOutput.free;
+          ObjOutput := nil;
       end;
 
 
@@ -2766,6 +2768,7 @@ Implementation
         ObjData.free;
         ObjData:=nil;
         ObjWriter.free;
+        ObjWriter := nil;
       end;
 
 
@@ -2881,6 +2884,7 @@ Implementation
         ObjData.free;
         ObjData:=nil;
         ObjWriter.free;
+        ObjWriter := nil;
       end;
 
 
@@ -2926,6 +2930,7 @@ Implementation
         a:=CAssembler[target_asm.id].Create(@target_asm,smart);
         a.MakeObject;
         a.Free;
+        a := nil;
       end;
 
 

compiler/blockutl.pas

@@ -373,6 +373,7 @@ implementation
         end;
 
       procvarnode.free;
+      procvarnode := nil;
 
       { restore scanner }
       restore_scanner(sstate);

compiler/cclasses.pas

@@ -1059,7 +1059,7 @@ begin
     exit;
   Lp := Lst.FList;
   for I := 0 to Lst.Count-1 do
-    TObject(Lp[I]).Free;
+    TObject(Lp[I]).Free; // no nil needed
   Lst.Free;
   Lst := nil;
 end;
@@ -1112,7 +1112,7 @@ var
 begin
   if FFreeObjects then
     for i := 0 to FList.Count - 1 do
-      TObject(FList[i]).Free;
+      TObject(FList[i]).Free; // no nil needed
   FList.Clear;
 end;
 
@@ -1152,7 +1152,7 @@ end;
 procedure TFPObjectList.SetItem(Index: Integer; AObject: TObject);
 begin
   if OwnsObjects then
-    TObject(FList[Index]).Free;
+    TObject(FList[Index]).Free; // no nil needed
   FList[index] := AObject;
 end;
 
@@ -1174,7 +1174,7 @@ end;
 procedure TFPObjectList.Delete(Index: Integer);
 begin
   if OwnsObjects then
-    TObject(FList[Index]).Free;
+    TObject(FList[Index]).Free; // no nil needed
   FList.Delete(Index);
 end;
 
@@ -1200,7 +1200,7 @@ begin
   if (Result <> -1) then
   begin
     if OwnsObjects then
-      TObject(FList[Result]).Free;
+      TObject(FList[Result]).Free; // no nil needed
     FList.Delete(Result);
   end;
 end;
@@ -1893,7 +1893,7 @@ var
 begin
   if FFreeObjects then
     for i := 0 to FHashList.Count - 1 do
-      TObject(FHashList[i]).Free;
+      TObject(FHashList[i]).Free; // no nil needed
   FHashList.Clear;
 end;
 
@@ -1921,7 +1921,7 @@ end;
 procedure TFPHashObjectList.SetItem(Index: Integer; AObject: TObject);
 begin
   if OwnsObjects then
-    TObject(FHashList[Index]).Free;
+    TObject(FHashList[Index]).Free; // no nil needed
   FHashList[index] := AObject;
 end;
 
@@ -1958,7 +1958,7 @@ end;
 procedure TFPHashObjectList.Delete(Index: Integer);
 begin
   if OwnsObjects then
-    TObject(FHashList[Index]).Free;
+    TObject(FHashList[Index]).Free; // no nil needed
   FHashList.Delete(Index);
 end;
 
@@ -1979,7 +1979,7 @@ begin
   if (Result <> -1) then
     begin
       if OwnsObjects then
-        TObject(FHashList[Result]).Free;
+        TObject(FHashList[Result]).Free; // no nil needed
       FHashList.Delete(Result);
     end;
 end;
@@ -2541,6 +2541,7 @@ end;
          begin
            inherited Remove(p);
            p.Free;
+           p := nil;
          end;
       end;
 
@@ -2556,6 +2557,7 @@ end;
           begin
             GetFirst:=p.FPStr;
             p.free;
+            p := nil;
           end;
       end;
 
@@ -2571,6 +2573,7 @@ end;
           begin
             Getlast:=p.FPStr;
             p.free;
+            p := nil;
           end;
       end;
 
@@ -2985,7 +2988,7 @@ end;
           begin
             next := item^.Next;
             if FOwnsObjects then
-              item^.Data.Free;
+              FreeAndNil(item^.Data);
             FreeItem(item);
             item := next;
           end;
@@ -3136,7 +3139,7 @@ end;
               begin
                 chain^ := Entry^.Next;
                 if FOwnsObjects then
-                  Entry^.Data.Free;
+                  FreeAndNil(Entry^.Data);
                 FreeItem(Entry);
                 Dec(FCount);
                 Result := True;

compiler/cfidwarf.pas

@@ -271,6 +271,7 @@ implementation
     destructor TDwarfAsmCFILowLevel.destroy;
       begin
         FDwarfList.Free;
+        FDwarfList := nil;
       end;
 
 

compiler/cfileutl.pas

@@ -219,6 +219,7 @@ end;
       begin
         FreeDirectoryEntries;
         FDirectoryEntries.Free;
+        FDirectoryEntries := nil;
         inherited destroy;
       end;
 
@@ -390,6 +391,7 @@ end;
     destructor TDirectoryCache.destroy;
       begin
         FDirectories.Free;
+        FDirectories := nil;
         inherited destroy;
       end;
 
@@ -1116,6 +1118,7 @@ end;
              Insert(s);
            end;
           hl.Free;
+          hl := nil;
         end
        else
         begin
@@ -1556,6 +1559,7 @@ end;
     procedure DoneFileUtils;
       begin
         DirCache.Free;
+        DirCache := nil;
       end;
 
 end.

compiler/cg64f32.pas

@@ -1008,6 +1008,7 @@ unit cg64f32;
 
              hlcg.g_rangecheck(list,temploc,hdef,todef);
              hdef.free;
+             hdef := nil;
 
              if from_signed and to_signed then
                begin
@@ -1041,6 +1042,7 @@ unit cg64f32;
                  temploc.size:=OS_32;
                  hlcg.g_rangecheck(list,temploc,hdef,todef);
                  hdef.free;
+                 hdef := nil;
                  cg.a_label(list,endlabel);
                end;
            end

compiler/comprsrc.pas

@@ -244,6 +244,7 @@ destructor TWinLikeResourceFile.Destroy;
 begin
   if fResScript<>nil then
     fResScript.Free;
+    fResScript := nil;
   inherited;
 end;
 
@@ -450,7 +451,9 @@ begin
     end;
   dst.CopyFrom(src,src.Size);
   dst.Free;
+  dst := nil;
   src.Free;
+  src := nil;
   Result:=true;
 end;
  
@@ -486,6 +489,7 @@ begin
       if resourcefile.IsCompiled(s) then
         begin
           resourcefile.free;
+          resourcefile := nil;
           if AnsiCompareFileName(IncludeTrailingPathDelimiter(ExpandFileName(current_module.outputpath)), p) <> 0 then
             begin
               { Copy .res file to units output dir. Otherwise .res file will not be found
@@ -510,6 +514,7 @@ begin
             end;
           resourcefile.compile(outfmt, current_module.outputpath+res.FPStr);
           resourcefile.free;
+          resourcefile := nil;
         end;
       res:=TCmdStrListItem(res.Next);
     end;
@@ -564,6 +569,7 @@ begin
   { Finish collection }
   resourcefile.EndCollect;
   resourcefile.free;
+  resourcefile := nil;
 end;
 
 procedure initglobals;

compiler/cprofile.pas

@@ -106,7 +106,7 @@ finalization
   for t:=low(timers) to high(timers) do
     writeln(StdErr,'  ',t,' ',timers[t].Elapsed:0:9,' s');
   for t:=low(timers) to high(timers) do
-    timers[t].Free;
+    FreeAndNil(timers[t]);
 {$endif COMPILER_TIMINGS}
 end.
 

compiler/cresstr.pas

@@ -161,6 +161,7 @@ uses
     Destructor Tresourcestrings.Destroy;
       begin
         List.Free;
+        List := nil;
       end;
 
 
@@ -235,6 +236,7 @@ uses
             );
             R:=TResourceStringItem(R.Next);
             tcb.free;
+            tcb := nil;
           end;
         tcb:=ctai_typedconstbuilder.create([tcalo_vectorized_dead_strip_end,tcalo_data_force_indirect,tcalo_is_public_asm]);
         tcb.begin_anonymous_record(internaltypeprefixName[itp_emptyrec],
@@ -246,6 +248,7 @@ uses
           )
         );
         tcb.free;
+        tcb := nil;
       end;
 
     procedure Tresourcestrings.WriteRSJFile;
@@ -368,6 +371,7 @@ uses
             resstrs.WriteRSJFile;
           end;
         resstrs.Free;
+        resstrs := nil;
         symtablestack.pop(current_module.localsymtable);
         if assigned(current_module.globalsymtable) then
           symtablestack.pop(current_module.globalsymtable);

compiler/cscript.pas

@@ -156,6 +156,7 @@ end;
 destructor TScript.Destroy;
 begin
   data.Free;
+  data := nil;
 end;
 
 

compiler/cstreams.pas

@@ -623,6 +623,7 @@ begin
     SaveToStream(S);
   finally
     S.free;
+    S := nil;
   end;
 end;
 
@@ -711,6 +712,7 @@ begin
     LoadFromStream(S);
   finally
     S.free;
+    S := nil;
   end;
 end;
 

compiler/ctask.pas

@@ -164,6 +164,7 @@ end;
 destructor ttask_handler.destroy;
 begin
   hash.free;
+  hash := nil;
   List.Clear;
   FreeAndNil(list);
   inherited destroy;

compiler/dbgbase.pas

@@ -348,6 +348,7 @@ implementation
             looplist := deftowritelist;
           end;
         templist.free;
+        templist := nil;
       end;
 
 

compiler/dbgdwarf.pas

@@ -471,6 +471,7 @@ implementation
     destructor TDirIndexItem.Destroy;
       begin
         FFiles.Free;
+        FFiles := nil;
         inherited Destroy;
       end;
 
@@ -1084,6 +1085,7 @@ implementation
         append_block1(DW_AT_frame_base,blocksize);
         current_asmdata.asmlists[al_dwarf_info].concatlist(templist);
         templist.free;
+        templist := nil;
       end;
 {$elseif defined(wasm)}
       var
@@ -1103,6 +1105,7 @@ implementation
               append_block1(DW_AT_frame_base,blocksize);
               current_asmdata.asmlists[al_dwarf_info].concatlist(templist);
               templist.free;
+              templist := nil;
             end;
       end;
 {$else}
@@ -1144,6 +1147,7 @@ implementation
         append_block1(DW_AT_segment,blocksize);
         current_asmdata.asmlists[al_dwarf_info].concatlist(templist);
         templist.free;
+        templist := nil;
       end;
 {$endif i8086}
 
@@ -2646,6 +2650,7 @@ implementation
 {$endif i8086}
 
         templist.free;
+        templist := nil;
 
         finish_entry;
       end;
@@ -3014,6 +3019,7 @@ implementation
                   appendsym_var_with_name_type_offset(list,tabstractnormalvarsym(tosym),symname(sym, false),tabstractvarsym(sym).vardef,offset,flags);
                 end;
               templist.free;
+              templist := nil;
               exit;
             end;
         end;
@@ -3033,6 +3039,7 @@ implementation
         append_labelentry_ref(DW_AT_type,def_dwarf_lab(sym.vardef));
 
         templist.free;
+        templist := nil;
 
         finish_entry;
       end;
@@ -3102,6 +3109,7 @@ implementation
         templist.concat(tai_symbol.createname(target_asm.labelprefix+'debug_line0',AT_METADATA,0,voidpointertype));
         current_asmdata.asmlists[al_start].insertlist(templist);
         templist.free;
+        templist := nil;
 
         { finalize line info if the unit doesn't contain any function/ }
         { procedure/init/final code                                    }
@@ -3226,6 +3234,7 @@ implementation
         linelist.concat(tai_symbol.createname(target_asm.labelprefix+'edebug_line0',AT_METADATA,0,voidpointertype));
 
         flist.free;
+        flist := nil;
       end;
 
 

compiler/dbgstabs.pas

@@ -1177,6 +1177,7 @@ implementation
         current_asmdata.asmlists[al_procedures].insertlistbefore(def.procstarttai,templist);
 
         templist.free;
+        templist := nil;
         current_procdef:=prev_procdef;
       end;
 
@@ -1749,7 +1750,9 @@ implementation
         deftowritelist:=nil;
 
         stabsvarlist.free;
+        stabsvarlist := nil;
         stabstypelist.free;
+        stabstypelist := nil;
         current_filepos:=storefilepos;
       end;
 

compiler/entfile.pas

@@ -609,6 +609,7 @@ begin
 {$endif}
      if fisfile then
        f.Free;
+       f := nil;
      mode:=0;
      closed:=true;
    end;

compiler/export.pas

@@ -282,6 +282,7 @@ procedure DoneExport;
 begin
   if assigned(Exportlib) then
     Exportlib.free;
+    Exportlib := nil;
 end;
 
 

compiler/expunix.pas

@@ -75,6 +75,7 @@ end;
 destructor texportlibunix.destroy;
 begin
   fexportedsymnames.free;
+  fexportedsymnames := nil;
   inherited destroy;
 end;
 

compiler/finput.pas

@@ -500,6 +500,7 @@ uses
         fileclose:=false;
         try
           f.Free;
+          f := nil;
           fileclose:=true;
         except
         end;
@@ -526,7 +527,7 @@ uses
          ifile : SizeInt;
       begin
          for ifile:=0 to nfiles-1 do
-          files[ifile].free;
+          FreeAndNil(files[ifile]);
          FreeMem(files);
       end;
 

compiler/fmodule.pas

@@ -463,6 +463,7 @@ implementation
            get:=p.data;
            m:=p.needlink;
            p.free;
+           p := nil;
          end;
       end;
 
@@ -483,6 +484,7 @@ implementation
           getusemask:=p.data;
           found:=(p.needlink and mask)<>0;
           p.free;
+          p := nil;
         until found;
       end;
 
@@ -694,25 +696,25 @@ implementation
           end;
         derefmap:=nil;
         if assigned(_exports) then
-         _exports.free;
+          freeandnil(_exports);
         if assigned(dllscannerinputlist) then
-         dllscannerinputlist.free;
+          freeandnil(dllscannerinputlist);
         if assigned(localnamespacelist) then
-         localnamespacelist.free;
+          freeandnil(localnamespacelist);
         if assigned(scanner) then
-         begin
+          begin
             { also update current_scanner if it was pointing
               to this module }
             if current_scanner=tscannerfile(scanner) then
               set_current_scanner(nil);
             freeandnil(scanner);
-
-         end;
+          end;
         if assigned(asmdata) then
           begin
             if current_asmdata=asmdata then
               current_asmdata:=nil;
              asmdata.free;
+             asmdata := nil;
           end;
         if assigned(procinfo) then
           begin
@@ -729,40 +731,68 @@ implementation
           end;
         DoneDebugInfo(self,current_debuginfo_reset);
         used_units.free;
+        used_units := nil;
         dependent_units.free;
+        dependent_units := nil;
         resourcefiles.Free;
+        resourcefiles := nil;
         linkorderedsymbols.Free;
+        linkorderedsymbols := nil;
         linkunitofiles.Free;
+        linkunitofiles := nil;
         linkunitstaticlibs.Free;
+        linkunitstaticlibs := nil;
         linkunitsharedlibs.Free;
+        linkunitsharedlibs := nil;
         linkotherofiles.Free;
+        linkotherofiles := nil;
         linkotherstaticlibs.Free;
+        linkotherstaticlibs := nil;
         linkothersharedlibs.Free;
+        linkothersharedlibs := nil;
         linkotherframeworks.Free;
+        linkotherframeworks := nil;
         stringdispose(mainname);
         externasmsyms.Free;
+        externasmsyms := nil;
         publicasmsyms.Free;
+        publicasmsyms := nil;
         unitimportsyms.Free;
+        unitimportsyms := nil;
         FImportLibraryList.Free;
+        FImportLibraryList := nil;
         extendeddefs.Free;
+        extendeddefs := nil;
         genericdummysyms.free;
+        genericdummysyms := nil;
         pendingspecializations.free;
+        pendingspecializations := nil;
         waitingforunit.free;
+        waitingforunit := nil;
         waitingunits.free;
+        waitingunits := nil;
         used_rtti_attrs.free;
+        used_rtti_attrs := nil;
         stringdispose(asmprefix);
         stringdispose(deprecatedmsg);
         stringdispose(namespace);
         tcinitcode.free;
+        tcinitcode := nil;
         localunitsearchpath.Free;
+        localunitsearchpath := nil;
         localobjectsearchpath.free;
+        localobjectsearchpath := nil;
         localincludesearchpath.free;
+        localincludesearchpath := nil;
         locallibrarysearchpath.free;
+        locallibrarysearchpath := nil;
         localframeworksearchpath.free;
+        localframeworksearchpath := nil;
 {$ifdef MEMDEBUG}
         memsymtable.start;
 {$endif}
         derefdata.free;
+        derefdata := nil;
         if assigned(deflist) then
           begin
             for i:=0 to deflist.Count-1 do
@@ -770,27 +800,45 @@ implementation
                  (tdef(deflist[i]).registered_in_module=self) then
                 tdef(deflist[i]).registered_in_module:=nil;
             deflist.free;
+            deflist := nil;
           end;
         symlist.free;
+        symlist := nil;
         ptrdefs.free;
+        ptrdefs := nil;
         arraydefs.free;
+        arraydefs := nil;
         procaddrdefs.free;
+        procaddrdefs := nil;
 {$ifdef llvm}
         llvmdefs.free;
+        llvmdefs := nil;
         llvmusedsyms.free;
+        llvmusedsyms := nil;
         llvmcompilerusedsyms.free;
+        llvmcompilerusedsyms := nil;
         llvminitprocs.free;
+        llvminitprocs := nil;
         llvmfiniprocs.free;
+        llvmfiniprocs := nil;
         llvmmetadatastrings.free;
+        llvmmetadatastrings := nil;
 {$endif llvm}
         ansistrdef:=nil;
         wpoinfo.free;
+        wpoinfo := nil;
         checkforwarddefs.free;
+        checkforwarddefs := nil;
         forwardgenericdefs.free;
+        forwardgenericdefs := nil;
         globalsymtable.free;
+        globalsymtable := nil;
         localsymtable.free;
+        localsymtable := nil;
         globalmacrosymtable.free;
+        globalmacrosymtable := nil;
         localmacrosymtable.free;
+        localmacrosymtable := nil;
 {$ifdef MEMDEBUG}
         memsymtable.stop;
 {$endif}
@@ -1457,6 +1505,7 @@ initialization
 finalization
 {$ifdef MEMDEBUG}
   memsymtable.free;
+  memsymtable := nil;
 {$endif MEMDEBUG}
 
 end.

compiler/fpcp.pas

@@ -312,6 +312,7 @@ implementation
           rewriteppu(module^.module.ppufilename,stream);
           module^.size:=stream.position;
           stream.free;
+          stream := nil;
         end;
 
       pos:=pcpfile.position;
@@ -416,6 +417,7 @@ implementation
   destructor tpcppackage.destroy;
     begin
       pcpfile.free;
+      pcpfile := nil;
       inherited destroy;
     end;
 

compiler/fpkg.pas

@@ -26,6 +26,7 @@ unit fpkg;
 interface
 
   uses
+    sysutils,
     cclasses,
     globtype,
     finput;
@@ -87,7 +88,9 @@ implementation
             dispose(p);
           end;
       containedmodules.free;
+      containedmodules := nil;
       requiredpackages.free;
+      requiredpackages := nil;
       inherited destroy;
     end;
 
@@ -108,7 +111,7 @@ implementation
             for i:=0 to packagelist.count-1 do
               begin
                 pkgentry:=ppackageentry(packagelist[i]);
-                pkgentry^.package.free;
+                FreeAndNil(pkgentry^.package);
                 dispose(pkgentry);
               end;
           end;

compiler/fppu.pas

@@ -2530,6 +2530,7 @@ var
                       end;
                     finally
                       Cycle.Free;
+                      Cycle := nil;
                     end;
                     if assigned(hp2) then
                       Message2(unit_f_circular_unit_reference,callermodule.realmodulename^,hp.realmodulename^);

compiler/gendef.pas

@@ -73,7 +73,9 @@ begin
      ([cs_link_nolink,cs_link_deffile]*current_settings.globalswitches=[]) then
     DeleteFile(FName);
   importlist.Free;
+  importlist := nil;
   exportlist.Free;
+  exportlist := nil;
 end;
 
 

compiler/globals.pas

@@ -1705,15 +1705,25 @@ implementation
      begin
        calldoneprocs;
        librarysearchpath.Free;
+       librarysearchpath := nil;
        unitsearchpath.Free;
+       unitsearchpath := nil;
        objectsearchpath.Free;
+       objectsearchpath := nil;
        includesearchpath.Free;
+       includesearchpath := nil;
        frameworksearchpath.Free;
+       frameworksearchpath := nil;
        LinkLibraryAliases.Free;
+       LinkLibraryAliases := nil;
        LinkLibraryOrder.Free;
+       LinkLibraryOrder := nil;
        packagesearchpath.Free;
+       packagesearchpath := nil;
        namespacelist.Free;
+       namespacelist := nil;
        premodule_namespacelist.Free;
+       premodule_namespacelist := nil;
        current_namespacelist:=Nil;
      end;
 

compiler/htypechk.pas

@@ -26,7 +26,7 @@ unit htypechk;
 interface
 
     uses
-      cclasses,cmsgs,tokens,
+      sysutils,cclasses,cmsgs,tokens,
       node,globtype,compinnr,
       symconst,symtype,symdef,symsym,symbase,
       pgentype;
@@ -807,6 +807,7 @@ implementation
           begin
             candidates.done;
             ppn.free;
+            ppn := nil;
             if not (ocf_check_only in ocf) then
               begin
                 CGMessage2(parser_e_operator_not_overloaded_2,ld.typename,arraytokeninfo[optoken].str);
@@ -828,6 +829,7 @@ implementation
           begin
             candidates.done;
             ppn.free;
+            ppn := nil;
             if not (ocf_check_only in ocf) then
               begin
                 CGMessage2(parser_e_operator_not_overloaded_2,ld.typename,arraytokeninfo[optoken].str);
@@ -853,6 +855,7 @@ implementation
         if ocf_check_only in ocf then
           begin
             ppn.free;
+            ppn := nil;
             result:=true;
             exit;
           end;
@@ -1005,6 +1008,7 @@ implementation
         if (cand_cnt=0) then
           begin
             ppn.free;
+            ppn := nil;
             if not (ocf_check_only in ocf) then
               t:=cnothingnode.create;
             exit;
@@ -1013,6 +1017,7 @@ implementation
         if ocf_check_only in ocf then
           begin
             ppn.free;
+            ppn := nil;
             result:=true;
             exit;
           end;
@@ -1431,6 +1436,7 @@ implementation
                   for i:=0 to typeconvs.Count-1 do
                     ttypeconvnode(typeconvs[i]).assignment_side:=false;
                 typeconvs.free;
+                typeconvs := nil;
               end;
           end;
 
@@ -2209,6 +2215,7 @@ implementation
         sym : tsym;
       begin
         FIgnoredCandidateProcs.free;
+        FIgnoredCandidateProcs := nil;
         { free any symbols for anonymous parameter types that we're used for
           specialization when no specialization was picked }
         TFPList.FreeAndNilObjects(FParaAnonSyms);
@@ -2229,7 +2236,7 @@ implementation
                        break;
                      end;
                  end;
-               hp^.data.free;
+               FreeAndNil(hp^.data);
              end;
            dispose(hp);
            hp:=hpnext;
@@ -2675,6 +2682,7 @@ implementation
                 if tprocsym(pd.procsym).procdeflist.extract(pd)<>pd then
                   internalerror(20150828);
                 pd.free;
+                pd := nil;
               end;
           end;
 {$ifndef DISABLE_FAST_OVERLOAD_PATCH}
@@ -2689,6 +2697,7 @@ implementation
         calc_distance(st,flags);
 
         ProcdefOverloadList.Free;
+        ProcdefOverloadList := nil;
       end;
 
 
@@ -3100,6 +3109,7 @@ implementation
                    eq:=compare_defs_ext(n.resultdef,def_to,n.nodetype,convtype,pdoper,cdoptions);
                    check_valid_var:=false;
                    n.free;
+                   n := nil;
                  end
               else if is_open_array(def_to) and
                       is_class_or_interface_or_dispinterface_or_objc_or_java(tarraydef(def_to).elementdef) and
@@ -3201,7 +3211,10 @@ implementation
 
               { maybe release temp currpt }
               if releasecurrpt then
-                currpt.free;
+               begin
+                 currpt.free;
+                 currpt := nil;
+               end;
 
               { next parameter in the call tree }
               pt:=tcallparanode(pt.right);

compiler/import.pas

@@ -122,6 +122,7 @@ procedure DoneImport;
 begin
   if assigned(importlib) then
     importlib.free;
+    importlib := nil;
 end;
 
 end.

compiler/link.pas

@@ -199,6 +199,7 @@ Implementation
         if CStreamError<>0 then
           begin
             fs.Free;
+            fs := nil;
             Comment(V_Error,'Can''t open file: '+fn);
             exit;
           end;
@@ -209,6 +210,7 @@ Implementation
         until bufcount<bufsize;
         buf:=nil;
         fs.Free;
+        fs := nil;
       end;
 
 
@@ -376,10 +378,15 @@ Implementation
     Destructor TLinker.Destroy;
       begin
         ObjectFiles.Free;
+        ObjectFiles := nil;
         SharedLibFiles.Free;
+        SharedLibFiles := nil;
         StaticLibFiles.Free;
+        StaticLibFiles := nil;
         FrameworkFiles.Free;
+        FrameworkFiles := nil;
         OrderedSymbols.Free;
+        OrderedSymbols := nil;
         inherited;
       end;
 
@@ -638,6 +645,7 @@ Implementation
         for i:=0 to p.count-1 do
           src.insert(p[i].Key);
         p.free;
+        p := nil;
       end;
 
 
@@ -677,6 +685,7 @@ Implementation
         symfile.WriteToDisk;
         result:=symfile.fn;
         symfile.Free;
+        symfile := nil;
       end;
 
 
@@ -770,6 +779,7 @@ Implementation
         if result then
           ObjectFiles.concatList(sanitizerlibraryfiles);
         sanitizerlibraryfiles.free;
+        sanitizerlibraryfiles := nil;
       end;
 
 
@@ -1543,9 +1553,13 @@ Implementation
     Destructor TInternalLinker.Destroy;
       begin
         FGroupStack.Free;
+        FGroupStack := nil;
         linkscript.free;
-        StaticLibraryList.Free;
-        ImportLibraryList.Free;
+        linkscript := nil;
+        FStaticLibraryList.Free;
+        FStaticLibraryList := nil;
+        FImportLibraryList.Free;
+        FImportLibraryList := nil;
         if assigned(IsHandled) then
           begin
             IsHandled:=nil;
@@ -1710,7 +1724,9 @@ Implementation
           end;
         { release input object }
         objinput.free;
+        objinput := nil;
         objreader.free;
+        objreader := nil;
       end;
 
 
@@ -1744,7 +1760,9 @@ Implementation
                   TFPObjectList(FGroupStack.Last).Add(stmt);
                 end;
               objinput.Free;
+              objinput := nil;
               objreader.Free;
+              objreader := nil;
             end
           else       { try parsing as script }
             begin
@@ -1752,7 +1770,9 @@ Implementation
               ScriptLexer:=TScriptLexer.Create(objreader);
               ParseLdScript(ScriptLexer);
               ScriptLexer.Free;
+              ScriptLexer := nil;
               objreader.Free;
+              objreader := nil;
             end;
       end;
 
@@ -2244,6 +2264,7 @@ Implementation
       begin
         if assigned(linker) then
          Linker.Free;
+         Linker := nil;
       end;
 
 

compiler/machoutils.pas

@@ -543,6 +543,7 @@ const
         begin
           if AllowFreeWriter then
             ARawWriter.Free;
+            ARawWriter := nil;
           Result:=nil;
         end;
       end;
@@ -587,6 +588,7 @@ const
     begin
       if fown then
         fwriter.Free;
+        fwriter := nil;
       inherited Destroy;
     end;
 

compiler/nadd.pas

@@ -913,7 +913,7 @@ const
               have a side effect }
             if (is_constintnode(left) and might_have_sideeffects(right)) or
               (is_constintnode(right) and might_have_sideeffects(left)) then
-              t.free
+              t.free // no nil needed
             else
               result:=t;
             exit;

compiler/nbas.pas

@@ -863,6 +863,7 @@ implementation
                                 Flags := Flags + (p.left.flags * [nf_usercode_entry]);
 
                                 p.Free;
+                                p := nil;
                                 Continue;
                               end;
                           else
@@ -1032,7 +1033,10 @@ implementation
     destructor tasmnode.destroy;
       begin
         if assigned(p_asm) then
-          p_asm.free;
+          begin
+            p_asm.free;
+            p_asm := nil;
+          end;
         inherited destroy;
       end;
 
@@ -1826,8 +1830,8 @@ implementation
 
     destructor ttempdeletenode.destroy;
       begin
-        tempinfo^.withnode.free;
-        tempinfo^.tempinitcode.free;
+        tempinfo^.withnode.free; // no nil needed
+        tempinfo^.tempinitcode.free; // no nil needed
         dispose(tempinfo);
         inherited destroy;
       end;

compiler/ncal.pas

@@ -582,6 +582,7 @@ implementation
 
         { old argument list skeleton isn't needed anymore }
         parametersnode.free;
+        parametersnode := nil;
 
         pvardatadef:=tpointerdef(search_system_type('PVARDATA').typedef);
 
@@ -614,6 +615,7 @@ implementation
           )
         );
         tcb.free;
+        tcb := nil;
 
         if variantdispatch then
           begin
@@ -971,7 +973,9 @@ implementation
 
       begin
          fparainit.free;
+         fparainit := nil;
          fparacopyback.free;
+         fparacopyback := nil;
          inherited destroy;
       end;
 
@@ -1181,6 +1185,7 @@ implementation
                  left:=ttypeconvnode(left).left;
                  ttypeconvnode(hp).left:=nil;
                  hp.free;
+                 hp := nil;
                end;
              maybe_global_proc_to_nested(left,parasym.vardef);
 
@@ -1726,15 +1731,26 @@ implementation
     destructor tcallnode.destroy;
       begin
          methodpointer.free;
+         methodpointer := nil;
          callinitblock.free;
+         callinitblock := nil;
          callcleanupblock.free;
+         callcleanupblock := nil;
          funcretnode.free;
+         funcretnode := nil;
          if assigned(varargsparas) then
+         begin
            varargsparas.free;
+           varargsparas := nil;
+         end;
          call_self_node.free;
+         call_self_node := nil;
          call_vmt_node.free;
+         call_vmt_node := nil;
          vmt_entry.free;
+         vmt_entry := nil;
          spezcontext.free;
+         spezcontext := nil;
          inherited destroy;
       end;
 
@@ -2396,6 +2412,7 @@ implementation
                         p:=left;
                         Tcallparanode(tinlinenode(temp).left).left:=nil;
                         temp.free;
+                        temp := nil;
 
                         typecheckpass(hightree);
                       end
@@ -2425,6 +2442,7 @@ implementation
                           right:=nil;
                         end;
                       temp.free;
+                      temp := nil;
 
                       {Tree changed from p[l..h] to p[l], recalculate resultdef.}
                       p.resultdef:=nil;
@@ -2446,6 +2464,7 @@ implementation
                         end
                       else
                         temp.free;
+                        temp := nil;
                     end;
                 end;
             end;
@@ -3764,6 +3783,7 @@ implementation
           end;
         if assigned(parents) then
           parents.free;
+          parents := nil;
         { Finally give out a warning for each abstract method still in the list }
         for i:=0 to AbstractMethodsList.Count-1 do
           begin
@@ -3775,7 +3795,10 @@ implementation
               end;
           end;
         if assigned(AbstractMethodsList) then
-          AbstractMethodsList.Free;
+          begin
+            AbstractMethodsList.Free;
+            AbstractMethodsList := nil;
+          end;
       end;
 
 
@@ -5746,6 +5769,7 @@ implementation
         if assigned(n) then
           begin
             inlineblock.free;
+            inlineblock := nil;
             result:=n;
           end;
 

compiler/ncgcon.pas

@@ -363,6 +363,7 @@ implementation
                         internalerror(2013120103);
                    end;
                    datatcb.free;
+                   datatcb := nil;
                    lab_str:=lastlabel.lab;
                    entry^.Data:=lastlabel.lab;
                 end;
@@ -420,6 +421,7 @@ implementation
         current_asmdata.asmlists[al_typedconsts].concatlist(tcb.get_final_asmlist(
           result,resultdef,sec_rodata_norel,result.name,const_align(8)));
         tcb.free;
+        tcb := nil;
       end;
 
 
@@ -515,6 +517,7 @@ implementation
                  current_asmdata.asmlists[al_typedconsts].concatList(
                    datatcb.get_final_asmlist(lastlabel,rec_tguid,sec_rodata_norel,lastlabel.name,const_align(16)));
                  datatcb.free;
+                 datatcb := nil;
                  lab_set:=lastlabel;
                  entry^.Data:=lastlabel;
                end;

compiler/ncgflw.pas

@@ -371,8 +371,10 @@ implementation
              { add all lists together }
              org_list.concatlist(then_list);
              then_list.free;
+             then_list := nil;
              org_list.concatlist(else_list);
              else_list.free;
+             else_list := nil;
              org_list.concatlist(current_asmdata.CurrAsmList);
              current_asmdata.CurrAsmList.free;
              current_asmdata.CurrAsmList := org_list;
@@ -1009,6 +1011,7 @@ implementation
 
              current_asmdata.CurrAsmList.concatList(tmplist);
              tmplist.free;
+             tmplist := nil;
            end
          else
            cexceptionstatehandler.emit_except_label(current_asmdata.CurrAsmList,exceptframekind,finallyexceptionstate,excepttemps);

compiler/ncgrtti.pas

@@ -485,6 +485,7 @@ implementation
             );
 
             loctcb.free;
+            loctcb := nil;
 
             entry^.data:=loclab;
           end
@@ -638,6 +639,7 @@ implementation
             tcb.emit_tai(tai_const.Create_sym(tbllbl),voidpointertype);
           end;
         list.free;
+        list := nil;
       end;
 
 
@@ -725,6 +727,7 @@ implementation
             maybe_add_comment(tcb,'RTTI end field '+tostr(i)+': '+sym.prettyname);
           end;
         fields.free;
+        fields := nil;
       end;
 
 
@@ -885,6 +888,7 @@ implementation
           end;
         tcb.end_anonymous_record;
         list.free;
+        list := nil;
       end;
 
 
@@ -1226,6 +1230,7 @@ implementation
                       tbltcb.get_final_asmlist(tbllab,tbldef,sec_rodata,tbllab.name,const_align(sizeof(pint)))
                     );
                     tbltcb.free;
+                    tbltcb := nil;
                     { write the pointer to the prop info }
                     maybe_add_comment(tcb,#9'property info reference');
                     tcb.emit_tai(Tai_const.Create_sym(tbllab),voidpointertype);
@@ -1720,6 +1725,7 @@ implementation
               tcb.get_final_asmlist(rttilab,rttidef,sec_rodata,rttilab.name,
               sizeof(PInt)));
             tcb.free;
+            tcb := nil;
           end;
 
 
@@ -1733,6 +1739,7 @@ implementation
             collect_propnamelist(propnamelist,def,visibilities);
             properties_write_rtti_data(tcb,propnamelist,def.symtable,true,visibilities);
             propnamelist.free;
+            propnamelist := nil;
           end;
 
         var
@@ -1968,6 +1975,7 @@ implementation
             collect_propnamelist(propnamelist,def,visibilities);
             properties_write_rtti_data(tcb,propnamelist,def.symtable,true,visibilities);
             propnamelist.free;
+            propnamelist := nil;
           end;
 
           procedure objectdef_rtti_class_full(def:tobjectdef);
@@ -2024,6 +2032,7 @@ implementation
             tcb.end_anonymous_record;
 
             propnamelist.free;
+            propnamelist := nil;
           end;
 
           procedure objectdef_rtti_interface_full(def:tobjectdef);
@@ -2089,6 +2098,7 @@ implementation
             tcb.end_anonymous_record;
 
             propnamelist.free;
+            propnamelist := nil;
           end;
 
         begin
@@ -2234,6 +2244,7 @@ implementation
             );
 
             argtcb.free;
+            argtcb := nil;
 
             { write argument size and the reference to the argument entry }
             tbltcb.emit_ord_const(argdef.size,u16inttype);
@@ -2295,6 +2306,7 @@ implementation
       );
 
       tbltcb.free;
+      tbltcb := nil;
 
       { write the reference to the attribute table }
       tcb.emit_tai(Tai_const.Create_sym(tbllab),voidpointertype);
@@ -2441,6 +2453,7 @@ implementation
               rttilab,tabledef,sec_rodata,
               rttilab.name,sizeof(PInt)));
             tcb.free;
+            tcb := nil;
 
             current_module.add_public_asmsym(rttilab);
         end;
@@ -2487,6 +2500,7 @@ implementation
             rttilab,tabledef,sec_rodata,
             rttilab.name,sizeof(PInt)));
           tcb.free;
+          tcb := nil;
 
           current_module.add_public_asmsym(rttilab);
         end;
@@ -2526,6 +2540,7 @@ implementation
           syms.sort(@enumsym_compare_value);
           enumdef_rtti_ord2stringindex(rttidef,syms);
           syms.free;
+          syms := nil;
         end;
 
 
@@ -2672,6 +2687,7 @@ implementation
         current_asmdata.AsmLists[al_rtti].concatList(
           tcb.get_final_asmlist(rttilab,rttidef,sec_rodata,rttilab.name,min(target_info.alignment.maxCrecordalign,SizeOf(QWord))));
         tcb.free;
+        tcb := nil;
 
         current_module.add_public_asmsym(rttilab);
 

compiler/ncgvmt.pas

@@ -718,6 +718,7 @@ implementation
           end;
 
         classtablelist.free;
+        classtablelist := nil;
       end;
 
 
@@ -923,6 +924,7 @@ implementation
             s,
             sizeof(pint)));
           tcb.free;
+          tcb := nil;
           current_module.add_public_asmsym(sym);
         end;
       s:=make_mangledname('IIDSTR',_class.owner,_class.objname^);
@@ -936,6 +938,7 @@ implementation
         s,
         sizeof(pint)));
       tcb.free;
+      tcb := nil;
       current_module.add_public_asmsym(sym);
     end;
 
@@ -1232,6 +1235,7 @@ implementation
            )
          );
          tcb.free;
+         tcb := nil;
 {$ifdef vtentry}
          { write vtinherit symbol to notify the linker of the class inheritance tree }
          hs:='VTINHERIT'+'_'+_class.vmt_mangledname+'$$';
@@ -1325,6 +1329,7 @@ implementation
                            current_debuginfo.insertlineinfo(tmplist);
                       list.concatlist(tmplist);
                       tmplist.Free;
+                      tmplist := nil;
                       current_filepos:=oldfileposinfo;
                     end;
                   end;
@@ -1365,6 +1370,7 @@ implementation
                       if (oo_has_vmt in tobjectdef(def).objectoptions) then
                         vmtwriter.writevmt;
                       vmtwriter.free;
+                      vmtwriter := nil;
                       include(def.defstates,ds_vmt_written);
                     end;
                   if is_class(def) then

compiler/ncnv.pas

@@ -612,7 +612,9 @@ implementation
                               for l:=tordconstnode(p2).value.svalue to tordconstnode(p3).value.svalue do
                                 do_set(l);
                               p2.free;
+                              p2 := nil;
                               p3.free;
+                              p3 := nil;
                             end
                            else
                             begin
@@ -649,6 +651,7 @@ implementation
 
                           do_set(tordconstnode(p2).value.svalue);
                           p2.free;
+                          p2 := nil;
                         end
                        else
                         begin
@@ -676,7 +679,7 @@ implementation
               hp:=tarrayconstructornode(tarrayconstructornode(p2).right);
               tarrayconstructornode(p2).right:=nil;
               if freep then
-                p2.free;
+                p2.free; // no nil needed
               current_filepos:=oldfilepos;
               first:=false;
             end;
@@ -687,7 +690,7 @@ implementation
          begin
            { empty set [], only remove node }
            if freep then
-             p.free;
+             p.free; // no nil needed
          end;
         { set the initial set type }
         constp.resultdef:=csetdef.create(hdef,constsetlo.svalue,constsethi.svalue,true);
@@ -895,6 +898,7 @@ implementation
             typecheckpass(fromnode);
             ttypeconvnode(hp).left:=nil;
             hp.free;
+            hp := nil;
             result:=true;
           end;
       end;
@@ -929,6 +933,7 @@ implementation
             typecheckpass(fromnode);
             ttypeconvnode(hp).left:=nil;
             hp.free;
+            hp := nil;
             result:=true;
           end;
       end;
@@ -2716,6 +2721,7 @@ implementation
             typecheckpass(left);
             ttypeconvnode(hp).left:=nil;
             hp.free;
+            hp := nil;
           end;
 
         intfdef:=capturer_add_procvar_or_proc(current_procinfo,left,capturer,hp);
@@ -3481,6 +3487,7 @@ implementation
                       n:=newblock;
                       do_typecheckpass(n);
                       originaldivtree.free;
+                      originaldivtree := nil;
                     end;
                 end
               else
@@ -3618,6 +3625,7 @@ implementation
                   if ([nf_explicit,nf_internal] * flags <> []) then
                     include(result.flags, nf_explicit);
                   hp.free;
+                  hp := nil;
                 end;
             end;
 
@@ -5137,6 +5145,7 @@ implementation
 
       begin
         call.free;
+        call := nil;
         inherited destroy;
       end;
 

compiler/nflw.pas

@@ -760,7 +760,9 @@ implementation
             result:=cnothingnode.create;
             // free unused nodes
             hloopvar.free;
+            hloopvar := nil;
             hloopbody.free;
+            hloopbody := nil;
             exit;
           end;
         { result is a block of statements }
@@ -941,7 +943,9 @@ implementation
               begin
                 result:=cerrornode.create;
                 hloopvar.free;
+                hloopvar := nil;
                 hloopbody.free;
+                hloopbody := nil;
                 MessagePos1(expr.fileinfo,parser_e_for_in_loop_cannot_be_used_for_the_type,expr.resultdef.typename);
               end
             else
@@ -958,7 +962,9 @@ implementation
                 if result.nodetype=errorn then
                   begin
                     hloopvar.free;
+                    hloopvar := nil;
                     hloopbody.free;
+                    hloopbody := nil;
                   end;
               end
             { "for x in [] do ..." always results in a never executed loop body }
@@ -997,7 +1003,9 @@ implementation
                       begin
                         result:=cerrornode.create;
                         hloopvar.free;
+                        hloopvar := nil;
                         hloopbody.free;
+                        hloopbody := nil;
                         MessagePos1(expr.fileinfo,sym_e_no_enumerator_move,pd.returndef.typename);
                       end
                     else
@@ -1007,7 +1015,9 @@ implementation
                           begin
                             result:=cerrornode.create;
                             hloopvar.free;
+                            hloopvar := nil;
                             hloopbody.free;
+                            hloopbody := nil;
                             MessagePos1(expr.fileinfo,sym_e_no_enumerator_current,pd.returndef.typename);
                           end
                         else
@@ -1038,7 +1048,9 @@ implementation
                       begin
                         result:=cerrornode.create;
                         hloopvar.free;
+                        hloopvar := nil;
                         hloopbody.free;
+                        hloopbody := nil;
                         MessagePos1(expr.fileinfo,sym_e_no_enumerator,expr.resultdef.typename);
                       end;
                     end;
@@ -1061,6 +1073,7 @@ implementation
             n:=tfornode(n).makewhileloop;
             do_firstpass(n);
             hp.Free;
+            hp := nil;
           end;
       end;
 
@@ -1087,7 +1100,9 @@ implementation
 
       begin
          t1.free;
+         t1 := nil;
          t2.free;
+         t2 := nil;
          inherited destroy;
       end;
 
@@ -1325,6 +1340,7 @@ implementation
              left:=Tunarynode(left).left;
              t.left:=nil;
              t.free;
+             t := nil;
              {Symdif operator, in case you are wondering:}
              loopflags:=loopflags >< [lnf_checknegate];
            end;
@@ -1552,6 +1568,7 @@ implementation
                 if code.track_state_pass(exec_known) then
                     track_state_pass:=true;
                 code.free;
+                code := nil;
             end;
         repeat
             condition:=left.getcopy;
@@ -1592,7 +1609,9 @@ implementation
                     done:=true;
                 end;
             code.free;
+            code := nil;
             condition.free;
+            condition := nil;
             firsttest:=false;
         until done;
         {The loop condition is also known, for example:
@@ -1615,7 +1634,7 @@ implementation
             aktstate.store_fact(condition,
              cordconstnode.create(byte(checknegate),pasbool1type,true))
         else
-            condition.free;
+            condition.free; // no nil needed
     end;
 {$endif}
 
@@ -1886,6 +1905,7 @@ implementation
     destructor tfornode.destroy;
       begin
          loopiteration.free;
+         loopiteration := nil;
          inherited destroy;
       end;
 
@@ -2887,6 +2907,7 @@ implementation
         { copied nodes don't need to release the symtable }
         if assigned(excepTSymtable) then
          excepTSymtable.free;
+         excepTSymtable := nil;
         inherited destroy;
       end;
 

compiler/ngenutil.pas

@@ -245,6 +245,7 @@ implementation
          tlocalvarsym(tloadnode(p).symtableentry).inparentfpstruct then
         begin
           p.free;
+          p := nil;
           result:=cnothingnode.create;
         end
       else
@@ -294,6 +295,7 @@ implementation
          tlocalvarsym(tloadnode(p).symtableentry).inparentfpstruct then
         begin
           p.free;
+          p := nil;
           result:=cnothingnode.create;
         end
       else
@@ -498,6 +500,7 @@ implementation
             end;
         end;
       structlist.free;
+      structlist := nil;
     end;
 
 
@@ -866,6 +869,7 @@ implementation
                       trash_large(stat,trashn,caddnode.create(addn,cinlinenode.create(in_high_x,false,trashn.getcopy),genintconstnode(1)),trashintval)
                     else
                       trashn.free;
+                      trashn := nil;
                   end;
                 1: trash_small(stat,
                   ctypeconvnode.create_internal(trashn,s8inttype),
@@ -898,6 +902,7 @@ implementation
         end
       else
         trashn.free;
+        trashn := nil;
     end;
 
 
@@ -1273,6 +1278,7 @@ implementation
       );
 
       unitinits.free;
+      unitinits := nil;
     end;
 
 
@@ -1342,6 +1348,7 @@ implementation
       { set the count at the start }
       placeholder.replace(tai_const.Create_sizeint(count),sizesinttype);
       placeholder.free;
+      placeholder := nil;
       { insert in data segment }
       tabledef:=tcb.end_anonymous_record;
       sym:=current_asmdata.DefineAsmSymbol('FPC_THREADVARTABLES',AB_GLOBAL,AT_DATA,tabledef);
@@ -1351,6 +1358,7 @@ implementation
         )
       );
       tcb.free;
+      tcb := nil;
     end;
 
 
@@ -1406,6 +1414,7 @@ implementation
            current_module.add_public_asmsym(sym);
          end;
        tcb.Free;
+       tcb := nil;
     end;
 
 
@@ -1447,6 +1456,7 @@ implementation
       { Insert TableCount at start }
       countplaceholder.replace(Tai_const.Create_sizeint(count),sizesinttype);
       countplaceholder.free;
+      countplaceholder := nil;
       { insert in data segment }
       tabledef:=tcb.end_anonymous_record;
       current_asmdata.asmlists[al_globals].concatlist(
@@ -1457,6 +1467,7 @@ implementation
         )
       );
       tcb.free;
+      tcb := nil;
     end;
 
 
@@ -1497,6 +1508,7 @@ implementation
           current_asmdata.DefineAsmSymbol(s,AB_GLOBAL,AT_DATA,rawdatadef),
           rawdatadef,sec_data,s,const_align(sizeof(pint))));
       tcb.free;
+      tcb := nil;
       include(current_module.moduleflags,unitflag);
     end;
 
@@ -1558,6 +1570,7 @@ implementation
       { Insert TableCount at start }
       countplaceholder.replace(Tai_const.Create_sizeint(count),sizesinttype);
       countplaceholder.free;
+      countplaceholder := nil;
       { Add to data segment }
       tabledef:=tcb.end_anonymous_record;
       current_asmdata.AsmLists[al_globals].concatList(
@@ -1567,6 +1580,7 @@ implementation
         )
       );
       tcb.free;
+      tcb := nil;
     end;
 
 
@@ -1597,6 +1611,7 @@ implementation
           );
 
           tcb.free;
+          tcb := nil;
         end;
     end;
 
@@ -1640,6 +1655,7 @@ implementation
             tcb.get_final_asmlist(sym,ptruinttype,sec_data,'__stklen',const_align(sizeof(pint)))
           );
           tcb.free;
+          tcb := nil;
         end;
 
       { allocate the stack on the ZX Spectrum system }
@@ -1672,6 +1688,7 @@ implementation
            tcb.get_final_asmlist(sym,def,sec_data,'__stack_cookie',sizeof(pint))
          );
          tcb.free;
+         tcb := nil;
        end;
 {$ENDIF POWERPC}
       { Initial heapsize }
@@ -1682,6 +1699,7 @@ implementation
         tcb.get_final_asmlist(sym,ptruinttype,sec_data,'__heapsize',const_align(sizeof(pint)))
       );
       tcb.free;
+      tcb := nil;
 
       { allocate an initial heap on embedded systems }
       if target_info.system in (systems_embedded+systems_freertos+[system_z80_zxspectrum,system_z80_msxdos]) then
@@ -1702,6 +1720,7 @@ implementation
         tcb.get_final_asmlist(sym,u8inttype,sec_data,'__fpc_valgrind',const_align(sizeof(pint)))
       );
       tcb.free;
+      tcb := nil;
     end;
 
 
@@ -1724,6 +1743,7 @@ implementation
             )
           );
           tcb.free;
+          tcb := nil;
         end;
     end;
 

compiler/ngtcon.pas

@@ -188,6 +188,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
              inserttypeconv(n,def);
            tc_emit_orddef(def,n);
            n.free;
+           n := nil;
         end;
 
       procedure ttypedconstbuilder.parse_floatdef(def:tfloatdef);
@@ -197,6 +198,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           n:=comp_expr([ef_accept_equal]);
           tc_emit_floatdef(def,n);
           n.free;
+          n := nil;
         end;
 
       procedure ttypedconstbuilder.parse_classrefdef(def:tclassrefdef);
@@ -216,6 +218,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           end;
           tc_emit_classrefdef(def,n);
           n.free;
+          n := nil;
         end;
 
       procedure ttypedconstbuilder.parse_pointerdef(def:tpointerdef);
@@ -225,6 +228,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           p:=comp_expr([ef_accept_equal]);
           tc_emit_pointerdef(def,p);
           p.free;
+          p := nil;
         end;
 
       procedure ttypedconstbuilder.parse_setdef(def:tsetdef);
@@ -234,6 +238,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           p:=comp_expr([ef_accept_equal]);
           tc_emit_setdef(def,p);
           p.free;
+          p := nil;
         end;
 
       procedure ttypedconstbuilder.parse_enumdef(def:tenumdef);
@@ -243,6 +248,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           p:=comp_expr([ef_accept_equal]);
           tc_emit_enumdef(def,p);
           p.free;
+          p := nil;
         end;
 
       procedure ttypedconstbuilder.parse_stringdef(def:tstringdef);
@@ -252,6 +258,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           n:=comp_expr([ef_accept_equal]);
           tc_emit_stringdef(def,n);
           n.free;
+          n := nil;
         end;
 
     { ttypedconstbuilder }
@@ -479,7 +486,9 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
     destructor tasmlisttypedconstbuilder.Destroy;
       begin
         fdatalist.free;
+        fdatalist := nil;
         ftcb.free;
+        ftcb := nil;
         inherited Destroy;
       end;
 
@@ -1180,6 +1189,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           begin
             incompatibletypes(node.resultdef,def);
             node.free;
+            node := nil;
             consume_all_until(_SEMICOLON);
             result:=false;
             exit;
@@ -1191,6 +1201,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
         if (bp.curbitoffset>=AIntBits) then
           flush_packed_value(bp);
         node.free;
+        node := nil;
       end;
 
     procedure tasmlisttypedconstbuilder.get_final_asmlists(out reslist, datalist: tasmlist);
@@ -1466,6 +1477,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
                end;
              ftcb.maybe_end_aggregate(def);
              n.free;
+             n := nil;
           end
         else
           begin
@@ -1505,6 +1517,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
         if codegenerror then
           begin
             n.free;
+            n := nil;
             exit;
           end;
         { let type conversion check everything needed }
@@ -1512,6 +1525,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
         if codegenerror then
           begin
             n.free;
+            n := nil;
             exit;
           end;
         { in case of a nested procdef initialised with a global routine }
@@ -1605,6 +1619,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
           Message(parser_e_illegal_expression);
         ftcb.maybe_end_aggregate(def);
         n.free;
+        n := nil;
       end;
 
 
@@ -1655,6 +1670,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
                   Message(parser_e_illegal_expression);
               end;
             n.free;
+            n := nil;
             exit;
           end;
         if (def=rec_tguid) and ((token=_CSTRING) or (token=_CCHAR)) then
@@ -1666,6 +1682,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
             else
               Message(parser_e_illegal_expression);
             n.free;
+            n := nil;
             exit;
           end;
         ftcb.maybe_begin_aggregate(def);
@@ -1861,6 +1878,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
             else
               ftcb.emit_tai(Tai_const.Create_sym(nil),def);
             n.free;
+            n := nil;
             exit;
           end;
 
@@ -2062,6 +2080,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
                   Message(parser_e_illegal_expression);
               end;
             n.free;
+            n := nil;
             exit;
           end;
         if (def=rec_tguid) and ((token=_CSTRING) or (token=_CCHAR)) then
@@ -2073,6 +2092,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
             else
               Message(parser_e_illegal_expression);
             n.free;
+            n := nil;
             exit;
           end;
         { bitpacked record? }
@@ -2186,6 +2206,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
            ) then
           Message1(parser_w_skipped_fields_after,sorg);
         orgbasenode.free;
+        orgbasenode := nil;
         basenode:=nil;
 
         consume(_RKLAMMER);
@@ -2225,6 +2246,7 @@ function get_next_varsym(def: tabstractrecorddef; const SymList:TFPHashObjectLis
                 basenode:=nil;
               end;
             n.free;
+            n := nil;
             exit;
           end;
 

compiler/ninl.pas

@@ -1156,6 +1156,7 @@ implementation
                   { parameters coming after it                    }
                   para.right := nil;
                   para.free;
+                  para := nil;
                 end
               else
                 { read of non s/u-8/16bit, or a write }
@@ -1197,15 +1198,18 @@ implementation
               { free the parameter, since it isn't referenced anywhere anymore }
               para.right := nil;
               para.free;
+              para := nil;
               if assigned(lenpara) then
                 begin
                   lenpara.right := nil;
                   lenpara.free;
+                  lenpara := nil;
                 end;
               if assigned(fracpara) then
                 begin
                   fracpara.right := nil;
                   fracpara.free;
+                  fracpara := nil;
                 end;
             end;
 
@@ -1571,17 +1575,19 @@ implementation
 
         { free the file parameter (it's copied inside the handle_*_read_write methods) }
         filepara.free;
+        filepara := nil;
 
         { if we found an error, simply delete the generated blocknode }
         if found_error then
           begin
             { ensure that the tempinfo is freed correctly by destroying a
               delete node for it
-              Note: this might happen legitimately whe parsing a generic that
-                    passes a undefined type to Write/Read }
+              Note: this might happen legitimately when parsing a generic that
+                    passes an undefined type to Write/Read }
             if assigned(filetemp) then
-              ctempdeletenode.create(filetemp).free;
-            newblock.free
+              ctempdeletenode.create(filetemp).free; // no nil needed
+            newblock.free;
+            newblock := nil;
           end
         else
           begin
@@ -1832,6 +1838,7 @@ implementation
         destpara.left := nil;
         destpara.right := nil;
         destpara.free;
+        destpara := nil;
 
         { check if we used a temp for code and whether we have to store }
         { it to the real code parameter                                 }
@@ -5395,6 +5402,7 @@ implementation
 
             ppn.left:=nil;
             paras.free;
+            paras := nil;
           end
         else
           result:=ccallnode.createintern('fpc_shortstr_copy',paras);
@@ -5954,6 +5962,7 @@ implementation
            end;
 
          list.free;
+         list := nil;
        end;
 
 

compiler/nmat.pas

@@ -671,6 +671,7 @@ implementation
                     addstatement(statements,ctempdeletenode.create_normal_temp(resulttemp));
                     addstatement(statements,ctemprefnode.create(resulttemp));
                     right.Free;
+                    right := nil;
                   end
                 else
                   begin

compiler/nobj.pas

@@ -977,6 +977,7 @@ implementation
                       prot_get_procdefs_recursive(ImplIntf,ImplIntf.IntfDef);
                     end;
                   handledprotocols.free;
+                  handledprotocols := nil;
                 end
               else
                 internalerror(2009091801);
@@ -992,6 +993,7 @@ implementation
         vmtbuilder:=TVMTBuilder.create(def);
         vmtbuilder.build;
         vmtbuilder.free;
+        vmtbuilder := nil;
       end;
 
 end.

compiler/node.pas

@@ -1094,6 +1094,7 @@ implementation
     destructor tunarynode.destroy;
       begin
         left.free;
+        left := nil;
         inherited destroy;
       end;
 
@@ -1201,6 +1202,7 @@ implementation
     destructor tbinarynode.destroy;
       begin
         right.free;
+        right := nil;
         inherited destroy;
       end;
 
@@ -1355,6 +1357,7 @@ implementation
     destructor ttertiarynode.destroy;
       begin
         third.free;
+        third := nil;
         inherited destroy;
       end;
 

compiler/nset.pas

@@ -26,7 +26,7 @@ unit nset;
 interface
 
     uses
-       cclasses,constexp,
+       sysutils,cclasses,constexp,
        node,globtype,globals,
        aasmbase,ncon,nflw,symtype;
 
@@ -539,8 +539,8 @@ implementation
            deletecaselabels(p^.less);
          if (p^.label_type = ltConstString) then
            begin
-             p^._low_str.Free;
-             p^._high_str.Free;
+             FreeAndNil(p^._low_str);
+             FreeAndNil(p^._high_str);
            end;
          dispose(p);
       end;
@@ -645,14 +645,16 @@ implementation
         hp : pcaseblock;
       begin
          elseblock.free;
+         elseblock := nil;
          deletecaselabels(flabels);
          for i:=0 to blocks.count-1 do
            begin
-             pcaseblock(blocks[i])^.statement.free;
+             FreeAndNil(pcaseblock(blocks[i])^.statement);
              hp:=pcaseblock(blocks[i]);
              dispose(hp);
            end;
          blocks.free;
+         blocks := nil;
          inherited destroy;
       end;
 
@@ -811,6 +813,7 @@ implementation
             end;
           { will free its elements too because of create(true) }
           blocklist.free;
+          blocklist := nil;
           typecheckpass(result);
         end;
 
@@ -1416,8 +1419,8 @@ implementation
               result := insertlabel(p^.greater)
           else
             begin
-              hcaselabel^._low_str.free;
-              hcaselabel^._high_str.free;
+              FreeAndNil(hcaselabel^._low_str);
+              FreeAndNil(hcaselabel^._high_str);
               dispose(hcaselabel);
               Message(parser_e_double_caselabel);
               result:=nil;

compiler/objcdef.pas

@@ -140,6 +140,7 @@ implementation
         for i:=0 to variantstarts.count-1 do
           encodedstr:=encodedstr+'})';
         variantstarts.free;
+        variantstarts := nil;
         encodedstr:=encodedstr+'}';
         result:=true
       end;

compiler/objcgutl.pas

@@ -173,6 +173,7 @@ procedure objcreatestringpoolentryintern(p: pchar; len: longint; pooltype: tcons
           tcb.get_final_asmlist(strlab,def,stringsec,strlab.name,1)
         );
         tcb.free;
+        tcb := nil;
         def:=cpointerdef.getreusable(def);
       end
     else
@@ -207,6 +208,7 @@ procedure objcfinishstringrefpoolentry(entry: phashsetitem; stringpool: tconstpo
           tcb.get_final_asmlist(reflab,strdef,refsec,reflab.name,sizeof(pint))
           );
         tcb.free;
+        tcb := nil;
 
         { in case of a class reference, also add a lazy symbol reference for
           the class (the linker requires this for the fragile ABI). }
@@ -252,6 +254,7 @@ procedure objcfinishclassrefnfpoolentry(entry: phashsetitem; classdef: tobjectde
           tcb.get_final_asmlist(reflab,voidpointertype,sec_objc_cls_refs,reflab.name,sizeof(pint))
         );
         tcb.free;
+        tcb := nil;
       end;
   end;
 
@@ -371,6 +374,7 @@ procedure tobjcrttiwriter.gen_objc_methods(list: tasmlist; objccls: tobjectdef;
       )
     );
     tcb.free;
+    tcb := nil;
   end;
 
 
@@ -420,9 +424,13 @@ procedure tobjcrttiwriter.gen_objc_protocol_elements(list: tasmlist; protocol: t
       optclssym:=nil;
 
     reqinstmlist.Free;
+    reqinstmlist := nil;
     reqclsmlist.Free;
+    reqclsmlist := nil;
     optinstmlist.Free;
+    optinstmlist := nil;
     optclsmlist.Free;
+    optclsmlist := nil;
 end;
 
 
@@ -498,6 +506,7 @@ procedure tobjcrttiwriter.gen_objc_protocol_list(list: tasmlist; protolist: tfpo
       )
     );
     tcb.free;
+    tcb := nil;
     { the symbol will point to a record }
   end;
 
@@ -547,6 +556,7 @@ begin
       listsym,tcb.end_anonymous_record,section,sectname,sizeof(pint))
   );
   tcb.free;
+  tcb := nil;
 end;
 
 
@@ -609,11 +619,17 @@ constructor tobjcrttiwriter.create(_abi: tobjcabi);
 destructor tobjcrttiwriter.destroy;
   begin
     classdefs.free;
+    classdefs := nil;
     classsyms.free;
+    classsyms := nil;
     classrttidefs.free;
+    classrttidefs := nil;
     catrttidefs.free;
+    catrttidefs := nil;
     catdefs.free;
+    catdefs := nil;
     catsyms.free;
+    catsyms := nil;
     inherited destroy;
   end;
 
@@ -721,6 +737,7 @@ function tobjcrttiwriter_fragile.gen_objc_protocol_ext(list: TAsmList; optinstsy
           )
         );
         tcb.free;
+        tcb := nil;
       end
     else
       Result:=nil;
@@ -773,6 +790,7 @@ procedure tobjcrttiwriter_fragile.gen_objc_protocol(list:TAsmList; protocol: tob
       )
     );
     tcb.free;
+    tcb := nil;
   end;
 
 
@@ -844,6 +862,7 @@ procedure tobjcrttiwriter_fragile.gen_objc_category_sections(list:TAsmList; objc
       )
     );
     tcb.free;
+    tcb := nil;
 
     catlabel:=catsym;
     catlabeldef:=catdef;
@@ -1036,6 +1055,7 @@ procedure tobjcrttiwriter_fragile.gen_objc_classes_sections(list:TAsmList; objcl
       )
     );
     tcb.free;
+    tcb := nil;
 
     classlabel:=clssym;
     classlabeldef:=clsDef;
@@ -1135,6 +1155,7 @@ procedure tobjcrttiwriter_fragile.gen_objc_info_sections(list: tasmlist);
           end;
       end;
     superclasses.free;
+    superclasses := nil;
     { reference symbols for all classes and categories defined in this unit }
     for i:=0 to classdefs.count-1 do
       list.concat(tai_symbol.Createname_global_value('.objc_class_name_'+tobjectdef(classdefs[i]).objextname^,AT_DATA,0,0,voidpointertype));
@@ -1240,6 +1261,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_ivars(list: tasmlist; objccls: tob
                 )
               );
               tcb.free;
+              tcb := nil;
               inc(vcnt);
             end
           else
@@ -1289,6 +1311,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_ivars(list: tasmlist; objccls: tob
       )
     );
     tcb.free;
+    tcb := nil;
   end;
 
 
@@ -1395,6 +1418,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_protocol(list: tasmlist; protocol:
       )
     );
     tcb.free;
+    tcb := nil;
   end;
 
 (*
@@ -1455,6 +1479,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_category_sections(list:TAsmList; o
       )
     );
     tcb.free;
+    tcb := nil;
 
     catlabel:=catsym;
     catlabeldef:=catdef;
@@ -1667,6 +1692,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_class_ro_part(list: tasmlist; objc
       )
     );
     tcb.free;
+    tcb := nil;
     classrolabel:=rosym;
   end;
 
@@ -1781,6 +1807,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_classes_sections(list:TAsmList; ob
       )
     );
     metatcb.free;
+    metatcb := nil;
 
     { 2) regular class declaration }
     { the isa }
@@ -1801,6 +1828,7 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_classes_sections(list:TAsmList; ob
       )
     );
     isatcb.free;
+    isatcb := nil;
 
     classlabel:=clssym;
     classlabeldef:=classdef;
@@ -1888,7 +1916,9 @@ procedure tobjcrttiwriter_nonfragile.gen_objc_info_sections(list: tasmlist);
     addclasslist(list,sec_objc_nlcatlist,target_asm.labelprefix+'_OBJC_LABEL_NONLAZY_CATEGORY_$',nonlazycategories);
 
     nonlazyclasses.free;
+    nonlazyclasses := nil;
     nonlazycategories.free;
+    nonlazycategories := nil;
     { the non-fragile abi doesn't have any module info, nor lazy references
       to used classes or to parent classes }
   end;
@@ -1920,6 +1950,7 @@ procedure MaybeGenerateObjectiveCImageInfo(globalst, localst: tsymtable);
         objcrttiwriter.gen_objc_rtti_sections(current_asmdata.asmlists[al_objc_data],localst);
         objcrttiwriter.gen_objc_info_sections(current_asmdata.asmlists[al_objc_data]);
         objcrttiwriter.free;
+        objcrttiwriter := nil;
       end;
   end;
 

compiler/ogbase.pas

@@ -1075,10 +1075,15 @@ implementation
     destructor TObjSection.destroy;
       begin
         if assigned(Data) then
-          Data.Free;
+          begin
+            FData.Free;
+            FData := nil;
+          end;
         stringdispose(FCachedFullName);
         ObjRelocations.Free;
+        ObjRelocations := nil;
         VTRefList.Free;
+        VTRefList := nil;
         inherited destroy;
       end;
 
@@ -1432,17 +1437,21 @@ implementation
 {$endif}
         ResetCachedAsmSymbols;
         FCachedAsmSymbolList.free;
+        FCachedAsmSymbolList := nil;
         FObjSymbolList.free;
+        FObjSymbolList := nil;
 {$ifdef MEMDEBUG}
         MemObjSymbols.Stop;
 {$endif}
-        GroupsList.free;
+        FGroupsList.free;
+        FGroupsList := nil;
 
         { Sections }
 {$ifdef MEMDEBUG}
         MemObjSections.Start;
 {$endif}
         FObjSectionList.free;
+        FObjSectionList := nil;
 {$ifdef MEMDEBUG}
         MemObjSections.Stop;
 {$endif}
@@ -2125,6 +2134,7 @@ implementation
     destructor TExeVTable.Destroy;
       begin
         ChildList.Free;
+        ChildList := nil;
         if assigned(EntryArray) then
           Freemem(EntryArray);
       end;
@@ -2220,7 +2230,8 @@ implementation
 
     destructor TExeSection.destroy;
       begin
-        ObjSectionList.Free;
+        FObjSectionList.Free;
+        FObjSectionList := nil;
         inherited destroy;
       end;
 
@@ -2285,6 +2296,7 @@ implementation
     destructor TStaticLibrary.destroy;
       begin
         FPayload.Free;
+        FPayload := nil;
         inherited destroy;
       end;
 
@@ -2325,7 +2337,8 @@ implementation
 
     destructor TImportLibrary.destroy;
       begin
-        ImportSymbolList.Free;
+        FImportSymbolList.Free;
+        FImportSymbolList := nil;
         inherited destroy;
       end;
 
@@ -2394,16 +2407,27 @@ implementation
     destructor TExeOutput.destroy;
       begin
         FExeSymbolList.free;
-        UnresolvedExeSymbols.free;
-        ExternalObjSymbols.free;
+        FExeSymbolList := nil;
+        FUnresolvedExeSymbols.free;
+        FUnresolvedExeSymbols := nil;
+        FExternalObjSymbols.free;
+        FExternalObjSymbols := nil;
         FProvidedObjSymbols.free;
+        FProvidedObjSymbols := nil;
         FIndirectObjSymbols.free;
-        CommonObjSymbols.free;
-        ExeVTableList.free;
+        FIndirectObjSymbols := nil;
+        FCommonObjSymbols.free;
+        FCommonObjSymbols := nil;
+        FExeVTableList.free;
+        FExeVTableList := nil;
         FExeSectionList.free;
+        FExeSectionList := nil;
         ComdatGroups.free;
-        ObjDatalist.free;
+        ComdatGroups := nil;
+        FObjDatalist.free;
+        FObjDatalist := nil;
         FWriter.free;
+        FWriter := nil;
         inherited destroy;
       end;
 
@@ -2590,6 +2614,7 @@ implementation
             CurrExeSec.AddObjSection(objsec);
           end;
         TmpObjSectionList.Free;
+        TmpObjSectionList := nil;
       end;
 
 
@@ -3185,6 +3210,7 @@ implementation
                               objinput:=lib.ObjInputClass.Create;
                               objinput.ReadObjData(lib.ArReader,objdata);
                               objinput.free;
+                              objinput := nil;
                               AddObjData(objdata);
                               LoadObjDataSymbols(objdata);
                               lib.ArReader.CloseFile;
@@ -3313,7 +3339,9 @@ implementation
         if cs_link_opt_vtable in current_settings.globalswitches then
           BuildVTableTree(VTInheritList,VTEntryList);
         VTInheritList.Free;
+        VTInheritList := nil;
         VTEntryList.Free;
+        VTEntryList := nil;
       end;
 
 
@@ -3446,6 +3474,7 @@ implementation
               end;
           end;
         list.Free;
+        list := nil;
       end;
 
 
@@ -4149,6 +4178,8 @@ initialization
 
 finalization
   memobjsymbols.free;
+  memobjsymbols := nil;
   memobjsections.free;
+  memobjsections := nil;
 {$endif MEMDEBUG}
 end.

compiler/ogcoff.pas

@@ -1797,7 +1797,9 @@ const pemagic : array[0..3] of byte = (
     destructor TCoffObjOutput.destroy;
       begin
         FCoffSyms.free;
+        FCoffSyms := nil;
         FCoffStrs.free;
+        FCoffStrs := nil;
         inherited destroy;
       end;
 
@@ -2271,6 +2273,7 @@ const pemagic : array[0..3] of byte = (
     destructor TCoffObjInput.destroy;
       begin
         FCoffSyms.free;
+        FCoffSyms := nil;
         FCoffStrs:=nil;
         FSymTbl:=nil;
         FSecTbl:=nil;
@@ -3404,6 +3407,7 @@ const pemagic : array[0..3] of byte = (
           end;
         { Release }
         FCoffStrs.Free;
+        FCoffStrs := nil;
         result:=true;
       end;
 
@@ -3951,6 +3955,7 @@ const pemagic : array[0..3] of byte = (
             readdllproc(DLLName,FuncName);
           end;
         DLLReader.Free;
+        DLLReader := nil;
       end;
 
 {$ifdef arm}

compiler/ogelf.pas

@@ -741,6 +741,7 @@ implementation
     destructor TElfDynamicObjData.destroy;
       begin
         FVersionDefs.free;
+        FVersionDefs := nil;
         inherited Destroy;
       end;
 
@@ -1832,10 +1833,15 @@ implementation
     destructor TElfExeOutput.Destroy;
       begin
         dyncopysyms.Free;
+        dyncopysyms := nil;
         neededlist.Free;
+        neededlist := nil;
         segmentlist.Free;
+        segmentlist := nil;
         dynsymlist.Free;
+        dynsymlist := nil;
         dynreloclist.Free;
+        dynreloclist := nil;
         if assigned(dynsymnames) then
           FreeMem(dynsymnames);
         stringdispose(FInterpreter);
@@ -2334,7 +2340,9 @@ implementation
         if (newsections.count<>0) then
           ReplaceExeSectionList(allsections);
         newsections.Free;
+        newsections := nil;
         allsections.Free;
+        allsections := nil;
       end;
 
 
@@ -3292,6 +3300,7 @@ implementation
     destructor TElfSegment.Destroy;
       begin
         FSectionList.Free;
+        FSectionList := nil;
         inherited Destroy;
       end;
 

compiler/ogmacho.pas

@@ -1141,13 +1141,19 @@ uses
       TrailZeros;
 
       if not Assigned(strsec) then
-        symstr.Free;
+        begin
+          symstr.Free;
+          symstr := nil;
+        end;
 
       TrailZeros;
 
       mfile.Free;
+      mfile := nil;
       symList.Free;
+      symList := nil;
       IndirIndex.Free;
+      IndirIndex := nil;
     end;
 
 

compiler/ognlm.pas

@@ -398,9 +398,13 @@ end;
     destructor TNLMexeoutput.destroy;
       begin
         nlmImports.Free;
+        nlmImports := nil;
         nlmImpNames.Free;
+        nlmImpNames := nil;
         nlmSymbols.Free;
+        nlmSymbols := nil;
         FexportFunctionOffsets.Free;
+        FexportFunctionOffsets := nil;
         inherited destroy;
       end;
 

compiler/ogomf.pas

@@ -882,6 +882,7 @@ implementation
     destructor TOmfRelocation.Destroy;
       begin
         FOmfFixup.Free;
+        FOmfFixup := nil;
         inherited Destroy;
       end;
 
@@ -1029,6 +1030,7 @@ implementation
     destructor TOmfObjSection.destroy;
       begin
         FLinNumEntries.Free;
+        FLinNumEntries := nil;
         inherited destroy;
       end;
 
@@ -1076,7 +1078,9 @@ implementation
     destructor TOmfObjData.destroy;
       begin
         FExportedSymbolList.Free;
+        FExportedSymbolList := nil;
         FImportLibraryList.Free;
+        FImportLibraryList := nil;
         inherited destroy;
       end;
 
@@ -1419,6 +1423,7 @@ implementation
               ChunkFixupStart:=ChunkFixupEnd+1;
             end;
             RawRecord.Free;
+            RawRecord := nil;
           end;
       end;
 
@@ -1448,7 +1453,9 @@ implementation
               end;
 
             LinNumRec.Free;
+            LinNumRec := nil;
             RawRecord.Free;
+            RawRecord := nil;
           end;
       end;
 
@@ -1512,11 +1519,13 @@ implementation
                   RawRecord.WriteTo(FWriter);
                 end;
               PubDefRec.Free;
+              PubDefRec := nil;
             end;
 
         for i:=0 to Data.ObjSectionList.Count-1 do
           FreeAndNil(PubNamesForSection[i]);
         RawRecord.Free;
+        RawRecord := nil;
       end;
 
     procedure TOmfObjOutput.WriteEXTDEFs(Data: TObjData);
@@ -1552,10 +1561,13 @@ implementation
                 RawRecord.WriteTo(FWriter);
               end;
             ExtDefRec.Free;
+            ExtDefRec := nil;
           end;
 
         ExtNames.Free;
+        ExtNames := nil;
         RawRecord.Free;
+        RawRecord := nil;
       end;
 
     function TOmfObjOutput.writeData(Data:TObjData):boolean;
@@ -1595,6 +1607,7 @@ implementation
         Header.EncodeTo(RawRecord);
         RawRecord.WriteTo(FWriter);
         Header.Free;
+        Header := nil;
 
         { write translator COMENT header }
         Translator_COMENT:=TOmfRecord_COMENT.Create;
@@ -1604,6 +1617,7 @@ implementation
         Translator_COMENT.EncodeTo(RawRecord);
         RawRecord.WriteTo(FWriter);
         Translator_COMENT.Free;
+        Translator_COMENT := nil;
 
         if (target_dbg.id=dbg_codeview) or
            ((ds_dwarf_omf_linnum in current_settings.debugswitches) and
@@ -1615,6 +1629,7 @@ implementation
             DebugFormat_COMENT.EncodeTo(RawRecord);
             RawRecord.WriteTo(FWriter);
             DebugFormat_COMENT.Free;
+            DebugFormat_COMENT := nil;
           end;
 
         LNames.Clear;
@@ -1639,6 +1654,7 @@ implementation
             RawRecord.WriteTo(FWriter);
           end;
         LNamesRec.Free;
+        LNamesRec := nil;
 
         { write SEGDEF record(s) }
         for I:=1 to Segments.Count-1 do
@@ -1670,6 +1686,7 @@ implementation
         LinkPassSeparator_COMENT.EncodeTo(RawRecord);
         RawRecord.WriteTo(FWriter);
         LinkPassSeparator_COMENT.Free;
+        LinkPassSeparator_COMENT := nil;
 
         { write section content, interleaved with fixups }
         WriteSections(Data);
@@ -1679,8 +1696,10 @@ implementation
         ModEnd.EncodeTo(RawRecord);
         RawRecord.WriteTo(FWriter);
         ModEnd.Free;
+        ModEnd := nil;
 
         RawRecord.Free;
+        RawRecord := nil;
         result:=true;
       end;
 
@@ -1698,8 +1717,11 @@ implementation
     destructor TOmfObjOutput.Destroy;
       begin
         FGroups.Free;
+        FGroups := nil;
         FSegments.Free;
+        FSegments := nil;
         FLNames.Free;
+        FLNames := nil;
         inherited Destroy;
       end;
 
@@ -1718,6 +1740,7 @@ implementation
         Header.EncodeTo(RawRecord);
         RawRecord.WriteTo(FWriter);
         Header.Free;
+        Header := nil;
 
         { write IMPDEF record }
         DllImport_COMENT_IMPDEF:=TOmfRecord_COMENT_IMPDEF.Create;
@@ -1746,8 +1769,10 @@ implementation
         ModEnd.EncodeTo(RawRecord);
         RawRecord.WriteTo(FWriter);
         ModEnd.Free;
+        ModEnd := nil;
 
         RawRecord.Free;
+        RawRecord := nil;
       end;
 
 {****************************************************************************
@@ -1777,6 +1802,7 @@ implementation
         LNamesRec.Names:=LNames;
         LNamesRec.DecodeFrom(RawRec);
         LNamesRec.Free;
+        LNamesRec := nil;
         Result:=True;
       end;
 
@@ -1795,6 +1821,7 @@ implementation
           begin
             InputError('Segment name index out of range');
             SegDefRec.Free;
+            SegDefRec := nil;
             exit;
           end;
         SegmentName:=LNames[SegDefRec.SegmentNameIndex];
@@ -1802,6 +1829,7 @@ implementation
           begin
             InputError('Segment class name index out of range');
             SegDefRec.Free;
+            SegDefRec := nil;
             exit;
           end;
         SegClassName:=LNames[SegDefRec.ClassNameIndex];
@@ -1809,6 +1837,7 @@ implementation
           begin
             InputError('Segment overlay name index out of range');
             SegDefRec.Free;
+            SegDefRec := nil;
             exit;
           end;
         OverlayName:=LNames[SegDefRec.OverlayNameIndex];
@@ -1830,12 +1859,14 @@ implementation
             begin
               InputError('Absolute segment alignment not supported');
               SegDefRec.Free;
+              SegDefRec := nil;
               exit;
             end;
           saNotDefined:
             begin
               InputError('Invalid (unsupported/undefined) OMF segment alignment');
               SegDefRec.Free;
+              SegDefRec := nil;
               exit;
             end;
         end;
@@ -1861,6 +1892,7 @@ implementation
           begin
             InputError('Segment too large');
             SegDefRec.Free;
+            SegDefRec := nil;
             exit;
           end;
         objsec.Size:=SegDefRec.SegmentLength;
@@ -1872,6 +1904,7 @@ implementation
            (SegmentName='FPC') then
           objsec.SecOptions:=objsec.SecOptions+[oso_keep];
         SegDefRec.Free;
+        SegDefRec := nil;
         Result:=True;
       end;
 
@@ -1889,6 +1922,7 @@ implementation
           begin
             InputError('Group name index out of range');
             GrpDefRec.Free;
+            GrpDefRec := nil;
             exit;
           end;
         GroupName:=LNames[GrpDefRec.GroupNameIndex];
@@ -1903,11 +1937,13 @@ implementation
               begin
                 InputError('Segment name index out of range in group definition');
                 GrpDefRec.Free;
+                GrpDefRec := nil;
                 exit;
               end;
             SecGroup.members[i]:=TOmfObjSection(objdata.ObjSectionList[SegIndex-1]);
           end;
         GrpDefRec.Free;
+        GrpDefRec := nil;
         Result:=True;
       end;
 
@@ -1939,6 +1975,7 @@ implementation
             objsym.size:=0;
           end;
         ExtDefRec.Free;
+        ExtDefRec := nil;
         Result:=True;
       end;
 
@@ -1962,6 +1999,7 @@ implementation
           begin
             InputError('Public symbol''s group name index out of range');
             PubDefRec.Free;
+            PubDefRec := nil;
             exit;
           end;
         if PubDefRec.BaseGroupIndex<>0 then
@@ -1972,12 +2010,14 @@ implementation
           begin
             InputError('Public symbol''s segment name index out of range');
             PubDefRec.Free;
+            PubDefRec := nil;
             exit;
           end;
         if PubDefRec.BaseSegmentIndex=0 then
           begin
             InputError('Public symbol uses absolute addressing, which is not supported by this linker');
             PubDefRec.Free;
+            PubDefRec := nil;
             exit;
           end;
         objsec:=TOmfObjSection(objdata.ObjSectionList[PubDefRec.BaseSegmentIndex-1]);
@@ -2001,6 +2041,7 @@ implementation
               objsec.FFirstSym:=objsym;
           end;
         PubDefRec.Free;
+        PubDefRec := nil;
         Result:=True;
       end;
 
@@ -2020,18 +2061,21 @@ implementation
               begin
                 InputError('Physical start address not supported');
                 ModEndRec.Free;
+                ModEndRec := nil;
                 exit;
               end;
             if not (ModEndRec.TargetMethod in [ftmSegmentIndex,ftmSegmentIndexNoDisp]) then
               begin
                 InputError('Target method for start address other than "Segment Index" is not supported');
                 ModEndRec.Free;
+                ModEndRec := nil;
                 exit;
               end;
             if (ModEndRec.TargetDatum<1) or (ModEndRec.TargetDatum>objdata.ObjSectionList.Count) then
               begin
                 InputError('Segment name index for start address out of range');
                 ModEndRec.Free;
+                ModEndRec := nil;
                 exit;
               end;
             case ModEndRec.FrameMethod of
@@ -2041,12 +2085,14 @@ implementation
                     begin
                       InputError('Frame segment name index for start address out of range');
                       ModEndRec.Free;
+                      ModEndRec := nil;
                       exit;
                     end;
                   if ModEndRec.FrameDatum<>ModEndRec.TargetDatum then
                     begin
                       InputError('Frame segment different than target segment is not supported supported for start address');
                       ModEndRec.Free;
+                      ModEndRec := nil;
                       exit;
                     end;
                   basegroup:=nil;
@@ -2057,6 +2103,7 @@ implementation
                     begin
                       InputError('Frame group name index for start address out of range');
                       ModEndRec.Free;
+                      ModEndRec := nil;
                       exit;
                     end;
                   basegroup:=TObjSectionGroup(objdata.GroupsList[ModEndRec.FrameDatum-1]);
@@ -2065,6 +2112,7 @@ implementation
                 begin
                   InputError('Frame method for start address other than "Segment Index" or "Group Index" is not supported');
                   ModEndRec.Free;
+                  ModEndRec := nil;
                   exit;
                 end;
             end;
@@ -2079,6 +2127,7 @@ implementation
             objsym.size:=0;
           end;
         ModEndRec.Free;
+        ModEndRec := nil;
         Result:=True;
       end;
 
@@ -2176,6 +2225,7 @@ implementation
                   begin
                     InputError('Invalid checksum in OMF record');
                     FixupRawRec.Free;
+                    FixupRawRec := nil;
                     exit;
                   end;
               end;
@@ -2193,9 +2243,14 @@ implementation
                       begin
                         InputError('FIXUP subrecord without previous LEDATA or LIDATA record');
                         Fixup.Free;
+                        Fixup := nil;
                         Thread.Free;
+                        Thread := nil;
                         if FixupRawRec<>RawRec then
-                          FixupRawRec.Free;
+                          begin
+                            FixupRawRec.Free;
+                            FixupRawRec := nil;
+                          end;
                         exit;
                       end;
                     NextOfs:=Fixup.ReadAt(FixupRawRec,NextOfs);
@@ -2210,7 +2265,9 @@ implementation
                   end;
               end;
             Fixup.Free;
+            Fixup := nil;
             Thread.Free;
+            Thread := nil;
             if FixupRawRec<>RawRec then
               FixupRawRec.Free;
             { always set it to null, so that we read the next record on the next }
@@ -2237,6 +2294,7 @@ implementation
           TOmfObjData(objdata).AddImportSymbol(MaybeAddDllExt(ImpDefRec.ModuleName),ImpDefRec.Name,SymName,0,false);
         Result:=True;
         ImpDefRec.Free;
+        ImpDefRec := nil;
       end;
 
     function TOmfObjInput.ReadExpDef(Rec: TOmfRecord_COMENT; objdata: TObjData): Boolean;
@@ -2259,6 +2317,7 @@ implementation
           ExpDefRec.ExportOrdinal);
         Result:=True;
         ExpDefRec.Free;
+        ExpDefRec := nil;
       end;
 
     function TOmfObjInput.ImportOmfFixup(objdata: TObjData; objsec: TOmfObjSection; Fixup: TOmfSubRecord_FIXUP): Boolean;
@@ -2571,11 +2630,17 @@ implementation
     destructor TOmfObjInput.destroy;
       begin
         FCOMENTRecord.Free;
+        FCOMENTRecord := nil;
         FRawRecord.Free;
+        FRawRecord := nil;
         FFixupThreads.Free;
+        FFixupThreads := nil;
         FPubDefs.Free;
+        FPubDefs := nil;
         FExtDefs.Free;
+        FExtDefs := nil;
         FLNames.Free;
+        FLNames := nil;
         inherited destroy;
       end;
 
@@ -2832,6 +2897,7 @@ implementation
     destructor TMZExeUnifiedLogicalSegment.destroy;
       begin
         FObjSectionList.Free;
+        FObjSectionList := nil;
         inherited destroy;
       end;
 
@@ -2885,6 +2951,7 @@ implementation
     destructor TMZExeUnifiedLogicalGroup.destroy;
       begin
         FSegmentList.Free;
+        FSegmentList := nil;
         inherited destroy;
       end;
 
@@ -3434,6 +3501,7 @@ implementation
         Result:=True;
 cleanup:
         shstrtabsect_data.Free;
+        shstrtabsect_data := nil;
       end;
 
     procedure TMZExeOutput.Load_Symbol(const aname: string);
@@ -3772,9 +3840,13 @@ cleanup:
     destructor TMZExeOutput.destroy;
       begin
         FHeader.Free;
+        FHeader := nil;
         FDwarfUnifiedLogicalSegments.Free;
+        FDwarfUnifiedLogicalSegments := nil;
         FExeUnifiedLogicalGroups.Free;
+        FExeUnifiedLogicalGroups := nil;
         FExeUnifiedLogicalSegments.Free;
+        FExeUnifiedLogicalSegments := nil;
         inherited destroy;
       end;
 
@@ -4270,6 +4342,7 @@ cleanup:
     destructor TNewExeRelocationList.Destroy;
       begin
         FInternalList.Free;
+        FInternalList := nil;
         inherited Destroy;
       end;
 
@@ -4322,6 +4395,7 @@ cleanup:
     destructor TNewExeSection.destroy;
       begin
         FRelocations.Free;
+        FRelocations := nil;
         inherited destroy;
       end;
 
@@ -4707,12 +4781,19 @@ cleanup:
     destructor TNewExeOutput.destroy;
       begin
         FEntryTable.Free;
+        FEntryTable := nil;
         FImportedNameTable.Free;
+        FImportedNameTable := nil;
         FModuleReferenceTable.Free;
+        FModuleReferenceTable := nil;
         FNonresidentNameTable.Free;
+        FNonresidentNameTable := nil;
         FResidentNameTable.Free;
+        FResidentNameTable := nil;
         FResourceTable.Free;
+        FResourceTable := nil;
         FHeader.Free;
+        FHeader := nil;
         inherited destroy;
       end;
 
@@ -4771,6 +4852,7 @@ cleanup:
             CurrExeSec.AddObjSection(objsec);
           end;
         TmpObjSectionList.Free;
+        TmpObjSectionList := nil;
       end;
 
     procedure TNewExeOutput.MemPos_Start;

compiler/ogrel.pas

@@ -1230,6 +1230,7 @@ implementation
                 end;
             end;
         instance.Free;
+        instance := nil;
       end;
 
 

compiler/ogwasm.pas

@@ -27,7 +27,7 @@ interface
 
     uses
       { common }
-      cclasses,globtype,
+      sysutils,cclasses,globtype,
       { target }
       systems,cpubase,
       { assembler }
@@ -699,6 +699,7 @@ implementation
     destructor TWasmObjSymbolLinkingData.Destroy;
       begin
         FuncType.Free;
+        FuncType := nil;
         inherited Destroy;
       end;
 
@@ -735,6 +736,7 @@ implementation
     destructor TWasmObjRelocation.Destroy;
       begin
         FuncType.Free;
+        FuncType := nil;
         inherited Destroy;
       end;
 
@@ -771,6 +773,7 @@ implementation
     destructor TWasmObjSymbol.Destroy;
       begin
         LinkingData.Free;
+        LinkingData := nil;
         inherited Destroy;
       end;
 
@@ -794,6 +797,7 @@ implementation
     destructor TWasmObjSymbolExtraData.Destroy;
       begin
         EncodedLocals.Free;
+        EncodedLocals := nil;
         inherited Destroy;
       end;
 
@@ -1076,7 +1080,9 @@ implementation
         i: Integer;
       begin
         FObjSymbolsExtraDataList.Free;
+        FObjSymbolsExtraDataList := nil;
         FFuncTypes.Free;
+        FFuncTypes := nil;
         inherited destroy;
       end;
 
@@ -1277,6 +1283,7 @@ implementation
         ft:=TWasmFuncType.Create([],tt.params);
         i:=FFuncTypes.AddOrGetFuncType(ft);
         ft.free;
+        ft := nil;
         ObjSymExtraData.ExceptionTagTypeIdx:=i;
       end;
 
@@ -2460,21 +2467,31 @@ implementation
         k: TWasmLinkingSubsectionType;
       begin
         for i in TWasmSectionID do
-          FWasmSections[i].Free;
+          FreeAndNil(FWasmSections[i]);
         for j in TWasmCustomSectionType do
-          FWasmCustomSections[j].Free;
+          FreeAndNil(FWasmCustomSections[j]);
         for k:=low(TWasmLinkingSubsectionType) to high(TWasmLinkingSubsectionType) do
-          FWasmLinkingSubsections[k].Free;
+          FreeAndNil(FWasmLinkingSubsections[k]);
         FWasmSymbolTable.Free;
+        FWasmSymbolTable := nil;
         FWasmRelocationCodeTable.Free;
+        FWasmRelocationCodeTable := nil;
         FWasmRelocationDataTable.Free;
+        FWasmRelocationDataTable := nil;
         FWasmRelocationDebugFrameTable.Free;
+        FWasmRelocationDebugFrameTable := nil;
         FWasmRelocationDebugInfoTable.Free;
+        FWasmRelocationDebugInfoTable := nil;
         FWasmRelocationDebugLineTable.Free;
+        FWasmRelocationDebugLineTable := nil;
         FWasmRelocationDebugAbbrevTable.Free;
+        FWasmRelocationDebugAbbrevTable := nil;
         FWasmRelocationDebugArangesTable.Free;
+        FWasmRelocationDebugArangesTable := nil;
         FWasmRelocationDebugRangesTable.Free;
+        FWasmRelocationDebugRangesTable := nil;
         FWasmRelocationDebugStrTable.Free;
+        FWasmRelocationDebugStrTable := nil;
         inherited destroy;
       end;
 
@@ -5571,12 +5588,13 @@ implementation
         k: TWasmNameSubsectionType;
       begin
         for i in TWasmSectionID do
-          FWasmSections[i].Free;
+          FreeAndNil(FWasmSections[i]);
         for j in TWasmCustomSectionType do
-          FWasmCustomSections[j].Free;
+          FreeAndNil(FWasmCustomSections[j]);
         for k:=low(FWasmNameSubsections) to high(FWasmNameSubsections) do
-          FWasmNameSubsections[k].Free;
+          FreeAndNil(FWasmNameSubsections[k]);
         FFuncTypes.Free;
+        FFuncTypes := nil;
         inherited destroy;
       end;
 

compiler/omfbase.pas

@@ -27,6 +27,7 @@ unit omfbase;
 interface
 {$H+}
   uses
+    sysutils,
     cclasses,
     aasmbase,
     owbase;
@@ -2396,6 +2397,7 @@ implementation
   destructor TOmfSubRecord_LINNUM_MsLink_LineNumberList.Destroy;
     begin
       FLineNumbers.Free;
+      FLineNumbers := nil;
       inherited Destroy;
     end;
 
@@ -2515,8 +2517,8 @@ implementation
     begin
       for t in TOmfFixupThread do
         begin
-          FTargetThreads[t].Free;
-          FFrameThreads[t].Free;
+          FreeAndNil(FTargetThreads[t]);
+          FreeAndNil(FFrameThreads[t]);
         end;
       inherited Destroy;
     end;

compiler/optconstprop.pas

@@ -240,6 +240,7 @@ unit optconstprop;
                     n:=tinlinenode(n).getaddsub_for_incdec;
                     Include(n.flags, nf_internal);
                     oldnode.free;
+                    oldnode := nil;
                     tree_modified:=true;
                     { do not continue, value changed, if further const. propagations are possible, this is done
                       by the next pass }

compiler/optcse.pas

@@ -29,7 +29,7 @@ unit optcse;
   interface
 
     uses
-      node;
+      sysutils,node;
 
     {
       the function  creates non optimal code so far:
@@ -523,16 +523,17 @@ unit optcse;
                 { clean up unused trees }
                 for i:=0 to lists.nodelist.count-1 do
                   if lists.equalto[i]<>pointer(-1) then
-                    tnode(lists.nodelist[i]).free;
+                    tnode(lists.nodelist[i]).free; // no nil needed
 {$ifdef csedebug}
                 writeln('nodes: ',lists.nodelist.count);
                 writeln('==========================================');
 {$endif csedebug}
-                lists.nodelist.free;
-                lists.locationlist.free;
-                lists.equalto.free;
-                lists.refs.free;
+                FreeAndNil(lists.nodelist);
+                FreeAndNil(lists.locationlist);
+                FreeAndNil(lists.equalto);
+                FreeAndNil(lists.refs);
                 templist.free;
+                templist := nil;
 
                 if assigned(statements) then
                   begin

compiler/optdfa.pas

@@ -672,7 +672,9 @@ unit optdfa;
     destructor TDFABuilder.Destroy;
       begin
         Resultnode.free;
+        Resultnode := nil;
         nodemap.free;
+        nodemap := nil;
         inherited destroy;
       end;
 

compiler/options.pas

@@ -2355,14 +2355,23 @@ end;
 destructor TOption.Destroy;
 begin
   ParaIncludeCfgPath.Free;
+  ParaIncludeCfgPath := nil;
   ParaIncludePath.Free;
+  ParaIncludePath := nil;
   ParaObjectPath.Free;
+  ParaObjectPath := nil;
   ParaUnitPath.Free;
+  ParaUnitPath := nil;
   ParaLibraryPath.Free;
+  ParaLibraryPath := nil;
   ParaFrameworkPath.Free;
+  ParaFrameworkPath := nil;
   parapackagepath.Free;
+  parapackagepath := nil;
   ParaPackages.Free;
+  ParaPackages := nil;
   paranamespaces.free;
+  paranamespaces := nil;
 end;
 
 procedure TOption.Interpret_A_l(opt, more: TCmdStr);
@@ -5156,6 +5165,7 @@ begin
       cmditem:=TCmdStrListItem(cmditem.Next);
     end;
   tmplist.Free;
+  tmplist := nil;
 
   { add unit environment and exepath to the unit search path }
   if inputfilepath<>'' then
@@ -6014,4 +6024,5 @@ initialization
 finalization
   if assigned(option) then
    option.free;
+   option := nil;
 end.

compiler/optloop.pas

@@ -606,6 +606,7 @@ unit optloop;
 
             n:=internalstatements(newcodestatements);
             oldn.Free;
+            oldn := nil;
             addstatement(newcodestatements,initcode);
             addstatement(newcodestatements,newfor);
             addstatement(newcodestatements,deletecode);

compiler/opttail.pas

@@ -217,6 +217,7 @@ unit opttail;
                       end;
 
                     oldnodetree.free;
+                    oldnodetree := nil;
 
                     do_firstpass(n);
                     result:=true;
@@ -298,6 +299,7 @@ unit opttail;
           end
         else
           labelnode.free;
+          labelnode := nil;
       end;
 
 end.

compiler/optvirt.pas

@@ -192,7 +192,9 @@ unit optvirt;
       begin
         { fchilds owns its members, so it will free them too }
         fchilds.free;
+        fchilds:=nil;
         fcalledvmtmethods.free;
+        fcalledvmtmethods:=nil;
         inherited destroy;
       end;
 
@@ -270,7 +272,9 @@ unit optvirt;
     destructor tinheritancetree.destroy;
       begin
         froots.free;
+        froots:=nil;
         classrefdefs.free;
+        classrefdefs:=nil;
         inherited destroy;
       end;
       
@@ -635,6 +639,7 @@ unit optvirt;
           if assigned(fstaticmethodnames[i]) then
             freemem(fstaticmethodnames[i]);
         fstaticmethodnames.free;
+        fstaticmethodnames:=nil;
         inherited destroy;
       end;
 
@@ -668,6 +673,7 @@ unit optvirt;
     destructor tunitdevirtinfo.destroy;
       begin
         fclasses.free;
+        fclasses:=nil;
         inherited destroy;
       end;
 
@@ -739,6 +745,7 @@ unit optvirt;
     destructor tprogdevirtinfo.destroy;
       begin
         funits.free;
+        funits:=nil;
         inherited destroy;
       end;
 
@@ -879,6 +886,7 @@ unit optvirt;
 {$endif DEBUG_DEVIRT}
          inheritancetree.foreachnode(@converttreenode,nil);
          inheritancetree.free;
+         inheritancetree:=nil;
       end;
 
 

compiler/owar.pas

@@ -182,9 +182,13 @@ implementation
         if Errorcount=0 then
          writear;
         arData.Free;
+        arData := nil;
         symreloc.Free;
+        symreloc := nil;
         symstr.Free;
+        symstr := nil;
         lfnstr.Free;
+        lfnstr := nil;
       end;
 
 
@@ -320,6 +324,7 @@ implementation
          end;
         ardata.WriteStream(arf);
         Arf.Free;
+        Arf := nil;
       end;
 
 
@@ -354,6 +359,7 @@ implementation
       begin
         inherited closefile;
         ArSymbols.Free;
+        ArSymbols := nil;
         LFNStrs:=nil;
         inherited Destroy;
       end;

compiler/owbase.pas

@@ -151,6 +151,7 @@ begin
    writebuf;
   fn:=f.filename;
   f.free;
+  f := nil;
 { Remove if size is 0 }
   if size=0 then
    DeleteFile(fn);
@@ -282,6 +283,7 @@ begin
   setlength(buf,bufmax);
   f.read(buf[0],bufmax);
   f.free;
+  f := nil;
   bufidx:=0;
   opened:=true;
   openfile:=true;

compiler/owomflib.pas

@@ -166,6 +166,7 @@ implementation
     destructor TOmfLibObjectWriter.TOmfLibObjectModule.Destroy;
       begin
         FObjData.Free;
+        FObjData := nil;
         inherited Destroy;
       end;
 
@@ -205,8 +206,11 @@ implementation
         if Errorcount=0 then
           WriteLib;
         FLibData.Free;
+        FLibData := nil;
         FObjectModules.Free;
+        FObjectModules := nil;
         FDictionary.Free;
+        FDictionary := nil;
         inherited destroy;
       end;
 
@@ -231,6 +235,7 @@ implementation
         if RawRec.RecordType<>RT_THEADR then
           begin
             RawRec.Free;
+            RawRec := nil;
             InternalError(2018060801);
           end;
         ObjHeader:=TOmfRecord_THEADR.Create;
@@ -238,7 +243,9 @@ implementation
         { create a dictionary entry with the module name }
         TOmfLibDictionaryEntry.Create(FDictionary,ModName2DictEntry(ObjHeader.ModuleName),FCurrentModuleIndex);
         ObjHeader.Free;
+        ObjHeader := nil;
         RawRec.Free;
+        RawRec := nil;
         fobjsize:=0;
       end;
 
@@ -274,7 +281,9 @@ implementation
         FLibData.seek(0);
         RawRec.WriteTo(FLibData);
         Header.Free;
+        Header := nil;
         RawRec.Free;
+        RawRec := nil;
       end;
 
     procedure TOmfLibObjectWriter.WriteFooter;
@@ -289,7 +298,9 @@ implementation
         Footer.EncodeTo(RawRec);
         RawRec.WriteTo(FLibData);
         Footer.Free;
+        Footer := nil;
         RawRec.Free;
+        RawRec := nil;
       end;
 
     function TOmfLibObjectWriter.TryPageSize(aPageSize: Integer): Boolean;
@@ -365,6 +376,7 @@ implementation
         WriteHeader(DictStart,DictBlocks);
         FLibData.WriteStream(libf);
         libf.Free;
+        libf := nil;
       end;
 
     function TOmfLibObjectWriter.WriteDictionary: Word;
@@ -484,7 +496,9 @@ implementation
       FIsCaseSensitive:=Header.CaseSensitive;
       ReadDictionary(Header.DictionaryOffset, Header.DictionarySizeInBlocks);
       Header.Free;
+      Header := nil;
       RawRecord.Free;
+      RawRecord := nil;
     end;
 
   procedure TOmfLibObjectReader.ReadDictionary(DictionaryOffset: DWord; DictionarySizeInBlocks: Word);
@@ -571,6 +585,7 @@ implementation
     begin
       inherited closefile;
       LibSymbols.Free;
+      LibSymbols := nil;
       inherited Destroy;
     end;
 
@@ -594,7 +609,9 @@ implementation
       Header.DecodeFrom(RawRec);
       CurrMemberName:=Header.ModuleName;
       Header.Free;
+      Header := nil;
       RawRec.Free;
+      RawRec := nil;
 
       { go back to the beginning of the file }
       inherited Seek(CurrMemberPos);

compiler/paramgr.pas

@@ -868,4 +868,5 @@ initialization
   ;
 finalization
   paramanager.free;
+  paramanager := nil;
 end.

compiler/parser.pas

@@ -101,6 +101,7 @@ implementation
               begin
                 loaded_units.remove(hp);
                 hp.free;
+                hp := nil;
               end;
             hp:=hp2;
           end;
@@ -294,22 +295,25 @@ implementation
            still assinged }
          if assigned(current_scanner) then
           begin
-            current_scanner.free;
+            current_scanner.free; // no nil needed
             set_current_scanner(nil);
-
           end;
 
          { close scanner }
          DoneScanner;
 
          RTTIWriter.free;
+         RTTIWriter := nil;
 
          { close ppas,deffile }
          asmres.free;
+         asmres := nil;
          deffile.free;
+         deffile := nil;
 
          { free list of .o files }
          SmartLinkOFiles.Free;
+         SmartLinkOFiles := nil;
       end;
 
 
@@ -388,9 +392,11 @@ implementation
          until false;
        { free scanner }
          current_scanner.free;
+         current_scanner := nil;
          set_current_scanner(nil);
        { close }
          preprocfile.free;
+         preprocfile := nil;
       end;
 {$endif PREPROCWRITE}
 

compiler/pass_1.pas

@@ -246,6 +246,7 @@ implementation
         aktstate:=Tstate_storage.create;
         p.track_state_pass(true);
             aktstate.free;
+            aktstate := nil;
      end;
 {$endif}
 

compiler/pdecl.pas

@@ -210,6 +210,7 @@ implementation
           end;
         current_tokenpos:=storetokenpos;
         p.free;
+        p := nil;
         readconstant:=hp;
       end;
 
@@ -484,7 +485,7 @@ implementation
               if not is_system_custom_attribute_descendant(od) then
                 begin
                   incompatibletypes(od,class_tcustomattribute);
-                  read_attr_paras.free;
+                  read_attr_paras.free; // no nil needed
                   continue;
                 end;
 
@@ -555,8 +556,9 @@ implementation
                     begin
                       { cleanup }
                       pcalln.free;
+                      pcalln := nil;
                       for i:=0 to high(paras) do
-                        paras[i].free;
+                        FreeAndNil(paras[i]);
                     end;
                 end
               else begin
@@ -564,16 +566,18 @@ implementation
                 if errorcount=ecnt then
                   message(parser_e_illegal_expression);
                 pcalln.free;
+                pcalln := nil;
               end;
             end
           else
             begin
               Message(type_e_type_id_expected);
               { try to recover by nevertheless reading the parameters (if any) }
-              read_attr_paras.free;
+              read_attr_paras.free; // no nil needed
             end;
 
           p.free;
+          p := nil;
         until not try_to_consume(_COMMA);
 
         consume(_RECKKLAMMER);
@@ -949,6 +953,7 @@ implementation
                                   tstringdef(hdef).encoding:=int64(tordconstnode(p).value);
                                 end;
                               p.free;
+                              p := nil;
                             end;
                           if (hdef.typ in [pointerdef,classrefdef]) and
                              (tabstractpointerdef(hdef).pointeddef.typ=forwarddef) then
@@ -1205,11 +1210,12 @@ implementation
                  begin
                    if (tstoredsym(generictypelist[i]).typ=typesym) and
                        not ttypesym(generictypelist[i]).typedef.is_registered then
-                     ttypesym(generictypelist[i]).typedef.free;
+                     FreeAndNil(ttypesym(generictypelist[i]).typedef);
                    if not tstoredsym(generictypelist[i]).is_registered then
-                     tstoredsym(generictypelist[i]).free;
+                     tstoredsym(generictypelist[i]).free; // no nil needed
                  end;
                generictypelist.free;
+               generictypelist := nil;
              end;
 
            if not (m_delphi in current_settings.modeswitches) and
@@ -1254,6 +1260,7 @@ implementation
         rtti_attrs_def := nil;
         types_dec(false,had_generic,rtti_attrs_def);
         rtti_attrs_def.free;
+        rtti_attrs_def := nil;
       end;
 
 
@@ -1402,6 +1409,7 @@ implementation
                      stringdispose(deprecatedmsg);
                    consume(_SEMICOLON);
                    p.free;
+                   p := nil;
                 end;
               else
                 if not first and isgeneric and

compiler/pdecobj.pas

@@ -423,6 +423,7 @@ implementation
         else
           Message(parser_e_illegal_expression);
         p.free;
+        p := nil;
       end;
 
     procedure get_cpp_or_java_class_external_status(od: tobjectdef);
@@ -1403,6 +1404,7 @@ implementation
                                     trtti_attribute_list.bind(rtti_attrs_def,tfieldvarsym(fieldlist[FldCount]).rtti_attribute_list)
                                   else
                                     rtti_attrs_def.free;
+                                    rtti_attrs_def := nil;
                                   end;
                                 rtti_attrs_def:=nil;
                               end;
@@ -1477,6 +1479,7 @@ implementation
         if is_class(current_structdef) then
           tabstractrecordsymtable(current_structdef.symtable).addfieldlist(fieldlist,true);
         fieldlist.free;
+        fieldlist := nil;
       end;
 
 

compiler/pdecsub.pas

@@ -334,7 +334,7 @@ implementation
             if assigned(vs.owner) then
              sc.add(vs)
             else
-             vs.free;
+             vs.free; // no nil needed
             consume(_ID);
           until not try_to_consume(_COMMA);
           locationstr:='';
@@ -528,6 +528,7 @@ implementation
 
         { remove parasymtable from stack }
         sc.free;
+        sc := nil;
         { reset object options }
         block_type:=old_block_type;
         consume(_RKLAMMER);
@@ -647,6 +648,7 @@ implementation
                       sym.typedef:=nil;
                     end;
                   sym.free;
+                  sym := nil;
                 end;
             genericparams.free;
             genericparams:=nil;
@@ -2091,6 +2093,7 @@ begin
   else
     message(parser_e_dispid_must_be_ord_const);
   pt.free;
+  pt := nil;
 end;
 
 
@@ -2201,6 +2204,7 @@ begin
      not objcvalidselectorname(@tprocdef(pd).messageinf.str^[1],length(tprocdef(pd).messageinf.str^)) then
     Message1(type_e_invalid_objc_selector_name,tprocdef(pd).messageinf.str^);
   pt.free;
+  pt := nil;
 end;
 
 

compiler/pdecvar.pas

@@ -200,6 +200,7 @@ implementation
                              end;
                             pl.addconst(sl_vec,idx,p.resultdef);
                             p.free;
+                            p := nil;
                             def:=tarraydef(def).elementdef;
                           end
                          else
@@ -306,6 +307,7 @@ implementation
                   else
                     Message(parser_e_dispid_must_be_ord_const);
                   pt.free;
+                  pt := nil;
                 end
               else
                 hdispid:=tobjectdef(astruct).get_next_dispid;
@@ -435,6 +437,7 @@ implementation
                   tparavarsym(sc[i]).vardef:=hdef;
               until not try_to_consume(_SEMICOLON);
               sc.free;
+              sc := nil;
               symtablestack.pop(p.parast);
               consume(_RECKKLAMMER);
 
@@ -492,6 +495,7 @@ implementation
                    { concat a longint to the para templates }
                    p.add_index_parameter(paranr,readprocdef,writeprocdef);
                    pt.free;
+                   pt := nil;
                 end;
            end
          else
@@ -704,6 +708,7 @@ implementation
                   { Error recovery }
                   pt:=comp_expr([ef_accept_equal]);
                   pt.free;
+                  pt := nil;
                 end
               else
                 begin
@@ -737,6 +742,7 @@ implementation
                       internalerror(2019050525);
                   end;
                   pt.free;
+                  pt := nil;
                 end;
            end
          else if not is_record(astruct) and try_to_consume(_NODEFAULT) then
@@ -870,22 +876,22 @@ implementation
              if readprocdef.proctypeoption=potype_propgetter then
                readprocdef.register_def
              else
-               readprocdef.free;
+               readprocdef.free; // no nil needed
              if writeprocdef.proctypeoption=potype_propsetter then
                writeprocdef.register_def
              else
-               writeprocdef.free;
+               writeprocdef.free; // no nil needed
            end
          else
            begin
              if readprocdef.proctypeoption=potype_propgetter then
                readprocdef.maybe_put_in_symtable_stack
              else
-               readprocdef.free;
+               readprocdef.free; // no nil needed
              if writeprocdef.proctypeoption=potype_propsetter then
                writeprocdef.maybe_put_in_symtable_stack
              else
-               writeprocdef.free;
+               writeprocdef.free; // no nil needed
            end;
 
          result:=p;
@@ -1152,6 +1158,7 @@ implementation
                     current_asmdata.asmlists[al_typedconsts].concatlist(templist);
                   end;
                 templist.free;
+                templist := nil;
               end;
             staticvarsym :
               begin
@@ -1338,6 +1345,7 @@ implementation
                 Message(parser_e_absolute_only_to_var_or_const);
             end;
           pt.free;
+          pt := nil;
           { replace old varsym with the new absolutevarsym }
           if assigned(abssym) then
             begin
@@ -1419,6 +1427,7 @@ implementation
                    and (token in [_PROCEDURE,_FUNCTION,_CLASS]) then
                  begin
                    vs.free;
+                   vs := nil;
                    sc.clear;
                    had_generic:=true;
                    break;
@@ -1635,6 +1644,7 @@ implementation
          block_type:=old_block_type;
          { free the list }
          sc.free;
+         sc := nil;
       end;
 
 
@@ -1768,7 +1778,7 @@ implementation
                    had_generic:=false;
                  end
                else
-                 vs.free;
+                 vs.free; // no nil needed
              until not try_to_consume(_COMMA);
              if m_delphi in current_settings.modeswitches then
                block_type:=bt_var_type
@@ -2063,6 +2073,7 @@ implementation
                         end;
                     end;
                   pt.free;
+                  pt := nil;
                   if token=_COMMA then
                     consume(_COMMA)
                   else
@@ -2138,6 +2149,7 @@ implementation
            end;
          { free the list }
          sc.free;
+         sc := nil;
 {$ifdef powerpc}
          is_first_type := false;
 {$endif powerpc}

compiler/pexports.pas

@@ -153,6 +153,7 @@ implementation
                         end;
                        include(options,eo_index);
                        pt.free;
+                       pt := nil;
                        if target_info.system in [system_i386_win32,system_i386_wdosx,system_arm_wince,system_i386_wince] then
                         DefString:=srsym.realname+'='+InternalProcName+' @ '+tostr(index)
                        else
@@ -169,6 +170,7 @@ implementation
                          message(type_e_string_expr_expected);
                        include(options,eo_name);
                        pt.free;
+                       pt := nil;
                        DefString:=hpname+'='+InternalProcName;
                      end;
                     if try_to_consume(_RESIDENT) then

compiler/pexpr.pas

@@ -138,6 +138,7 @@ implementation
                 consume(_RECKKLAMMER);
               end;
              p.free;
+             p := nil;
            end
           else
             begin
@@ -424,6 +425,7 @@ implementation
                begin
                  Message(parser_e_class_id_expected);
                  p1.free;
+                 p1 := nil;
                  statement_syssym:=cerrornode.create;
                end;
             end;
@@ -482,6 +484,7 @@ implementation
                     include(statement_syssym.flags,nf_generic_para);
                  { p1 not needed !}
                  p1.free;
+                 p1 := nil;
                end;
             end;
 
@@ -605,6 +608,7 @@ implementation
               else
                begin
                  p1.free;
+                 p1 := nil;
                  p2:=cerrornode.create;
                end;
               consume(_RKLAMMER);
@@ -718,9 +722,9 @@ implementation
                   message(parser_e_illegal_slice);
                   consume(_LKLAMMER);
                   in_args:=true;
-                  comp_expr([ef_accept_equal]).free;
+                  comp_expr([ef_accept_equal]).free; // no nil needed
                   if try_to_consume(_COMMA) then
-                    comp_expr([ef_accept_equal]).free;
+                    comp_expr([ef_accept_equal]).free; // no nil needed
                   statement_syssym:=cerrornode.create;
                   consume(_RKLAMMER);
                 end
@@ -903,6 +907,7 @@ implementation
                   in_args:=true;
                   p1:=comp_expr([ef_accept_equal]);
                   p1.free;
+                  p1 := nil;
                   consume(_RKLAMMER);
                 end;
               statement_syssym:=geninlinenode(l,false,nil);
@@ -1108,6 +1113,7 @@ implementation
                  comment(v_error, 'Pointers to generics functions not implemented');
                  p1:=cerrornode.create;
                  spezcontext.free;
+                 spezcontext := nil;
                  exit;
                end;
 
@@ -1161,7 +1167,7 @@ implementation
                         this is a "objectprocvar:[email protected]" expression }
                       tloadnode(p2).symtable:=tobjectdef(p1.resultdef).symtable
                     else
-                      p1.free;
+                      p1.free; // no nil needed
                   end;
               end;
              p1:=p2;
@@ -1254,6 +1260,7 @@ implementation
                  if (po_methodpointer in pv.procoptions) then
                    tloadnode(hp2).set_mp(tcallnode(hp).methodpointer.getcopy);
                  hp.free;
+                 hp := nil;
                  { replace the old callnode with the new loadnode }
                  hpp^:=hp2;
                end;
@@ -1293,6 +1300,7 @@ implementation
                begin
                  hp2:=cloadnode.create_procvar(tprocsym(tcallnode(hp).symtableprocentry),currprocdef,tcallnode(hp).symtableproc);
                  hp.free;
+                 hp := nil;
                  { replace the old callnode with the new loadnode }
                  hpp^:=hp2;
                end;
@@ -1440,7 +1448,7 @@ implementation
            end;
         { release paras if not used }
         if assigned(paras) then
-         paras.free;
+          paras.free; // no nil needed
       end;
 
 
@@ -1461,6 +1469,7 @@ implementation
               p1:=cerrornode.create;
               { try to clean up }
               spezcontext.free;
+              spezcontext := nil;
               again:=false;
            end
          else
@@ -1793,8 +1802,10 @@ implementation
                    end;
                  if result.nodetype<>errorn then
                    do_member_read(tabstractrecorddef(hdef),false,srsym,result,again,[],spezcontext)
-                 else
+                 else begin
                    spezcontext.free;
+                   spezcontext := nil;
+                 end;
                end
              else
               begin
@@ -2028,6 +2039,7 @@ implementation
            end;
          countindices:=elements.count;
          elements.free;
+         elements := nil;
 
          consume(_RECKKLAMMER);
 
@@ -3130,6 +3142,7 @@ implementation
                          if not handle_specialize_inline_specialization(srsym,unit_found,srsymtable,spezcontext) or (srsym.typ=procsym) then
                            begin
                              spezcontext.free;
+                             spezcontext := nil;
                              result:=cerrornode.create;
                              if try_to_consume(_LKLAMMER) then
                               begin
@@ -3292,6 +3305,7 @@ implementation
               result.resultdef:=cundefineddef.create(true);
               { clean up previously created dummy symbol }
               srsym.free;
+              srsym := nil;
             end;
 
           errorsym :
@@ -3987,7 +4001,10 @@ implementation
                            do_member_read(hclassdef,getaddr,srsym,p1,again,callflags,spezcontext);
                          end;
                        if p1.nodetype=errorn then
+                       begin
                          spezcontext.free;
+                         spezcontext := nil;
+                       end;
                      end
                     else
                      begin
@@ -4645,6 +4662,7 @@ implementation
               result:=cerrornode.create;
 
           spezcontext.free;
+          spezcontext := nil;
         end;
 
       function maybe_handle_specialization(var p1,p2:tnode;filepos:tfileposinfo):boolean;
@@ -4687,6 +4705,7 @@ implementation
               { we don't need these nodes anymore }
               p1.free;
               p2.free;
+              p2 := nil;
 
               p1:=ptmp;
 
@@ -5073,6 +5092,7 @@ implementation
           result:=tordconstnode(p).value;
        end;
       p.free;
+      p := nil;
     end;
 
 
@@ -5110,6 +5130,7 @@ implementation
       else
         get_stringconst:=snode.asrawbytestring;
       p.free;
+      p := nil;
     end;
 
 end.

compiler/pgentype.pas

@@ -72,6 +72,7 @@ end;
 destructor tspecializationcontext.destroy;
 begin
   paramlist.free;
+  paramlist := nil;
   tfplist.FreeAndNilDisposing(poslist,TypeInfo(tfileposinfo));
   inherited destroy;
 end;

compiler/pgenutil.pas

@@ -646,6 +646,7 @@ uses
                 result:=false;
               end;
             typeparam.free;
+            typeparam := nil;
             first:=false;
           end;
         block_type:=old_block_type;
@@ -673,7 +674,7 @@ uses
           genericdef:=tstoreddef(generate_specialization_phase2(context,genericdef,parse_class_parent,_prettyname));
         tt:=genericdef;
         if assigned(context) then
-          context.free;
+          context.free; // no nil needed
       end;
 
 
@@ -1033,6 +1034,7 @@ uses
               if compare_defs(caller_proc_para.vardef,target_proc_para.vardef,nothingn)=te_incompatible then
                 begin
                   newparams.free;
+                  newparams := nil;
                   exit(false);
                 end;
 
@@ -1055,6 +1057,7 @@ uses
               if compare_defs(caller_proc.returndef,target_proc.returndef,nothingn)<te_equal then
                 begin
                   newparams.free;
+                  newparams := nil;
                   exit(false);
                 end;
 
@@ -1072,6 +1075,7 @@ uses
               genericparams.add(newparams.nameofindex(i),newparams[i]);
 
           newparams.free;
+          newparams := nil;
         end;
 
       function maybe_inherited_specialization(givendef,desireddef:tstoreddef;out basedef:tstoreddef):boolean;
@@ -1147,6 +1151,7 @@ uses
           if callerparams.count<required_param_count then
             begin
               paras.free;
+              paras := nil;
               exit;
             end;
 
@@ -1160,6 +1165,7 @@ uses
           if count<genericdef.genericparas.count then
             begin
               paras.free;
+              paras := nil;
               exit;
             end;
 
@@ -1172,7 +1178,9 @@ uses
               if i=paras.count then
                 begin
                   genericparams.free;
+                  genericparams := nil;
                   paras.free;
+                  paras := nil;
                   exit;
                 end;
 
@@ -1261,8 +1269,11 @@ uses
 
           { cleanup }
           paras.free;
-          if not result then
+          paras := nil;
+          if not result then begin
             genericparams.free;
+            genericparams := nil;
+          end;
         end;
 
       { make an ordered list of parameters from the caller }
@@ -1323,10 +1334,12 @@ uses
                   begin
                     generate_implicit_specialization(spezcontext,pd,genericparams);
                     genericparams.free;
+                    genericparams := nil;
                     { finalize the specialization so it can be added to the list of overloads }
                     if not finalize_specialization(pd,spezcontext) then
                       begin
                         spezcontext.free;
+                        spezcontext := nil;
                         continue;
                       end;
                     { handle unnamed syms used by the specialization }
@@ -1334,9 +1347,11 @@ uses
                       begin
                         transfer_unnamed_symbols(pd.owner,pd_unnamed_syms);
                         pd_unnamed_syms.free;
+                        pd_unnamed_syms := nil;
                       end;
                     pdoverloadlist.add(pd);
                     spezcontext.free;
+                    spezcontext := nil;
                     if po_overload in pd.procoptions then
                       hasoverload:=true;
                     { store first procsym found }
@@ -1363,6 +1378,7 @@ uses
           end;
 
         callerparams.free;
+        callerparams := nil;
       end;
 
     function generate_specialization_phase1(out context:tspecializationcontext;genericdef:tdef;enforce_unit:boolean):tdef;
@@ -1558,6 +1574,7 @@ uses
             for i:=tmpstack.count-1 downto 0 do
               symtablestack.push(tsymtable(tmpstack[i]));
             tmpstack.free;
+            tmpstack := nil;
           end;
 
         if not found or not (context.sym.typ in [typesym,procsym]) then
@@ -2196,6 +2213,7 @@ uses
               specializest.includeoption(sto_has_generic);
 
             tempst.free;
+            tempst := nil;
 
             specialization_done(state);
 
@@ -2206,6 +2224,7 @@ uses
           end;
 
         generictypelist.free;
+        generictypelist := nil;
         if assigned(genericdef) then
           begin
             { check the hints of the found generic symbol }
@@ -2228,7 +2247,7 @@ uses
           genericdef:=tstoreddef(generate_specialization_phase2(context,genericdef,parse_class_parent,_prettyname));
         tt:=genericdef;
         if assigned(context) then
-          context.free;
+          context.free; // no nil needed
       end;
 
 
@@ -2446,6 +2465,7 @@ uses
               firstidx:=result.count;
 
               constraintdata.free;
+              constraintdata := nil;
             end
           else
             begin
@@ -2854,6 +2874,7 @@ uses
           pu:=tused_unit(pu.next);
         end;
       unitsyms.free;
+      unitsyms := nil;
       if assigned(hmodule.globalsymtable) then
         symtablestack.push(hmodule.globalsymtable);
       symtable:=genericdef.owner;
@@ -3043,7 +3064,9 @@ uses
           current_module.pendingspecializations.add(tstoreddef(readdlist[i]).typename,readdlist[i]);
 
         readdlist.free;
+        readdlist := nil;
         list.free;
+        list := nil;
       end;
 
 

compiler/pinline.pas

@@ -166,8 +166,10 @@ implementation
             if not(assigned(sym)) then
               begin
                  p.free;
+                 p := nil;
                  if is_new then
                    p2.free;
+                   p2 := nil;
                  new_dispose_statement := cerrornode.create;
                  consume_all_until(_RKLAMMER);
                  consume(_RKLAMMER);
@@ -218,6 +220,7 @@ implementation
                  p.free;
                  p:=factor(false,[]);
                  p.free;
+                 p := nil;
                  consume(_RKLAMMER);
                  new_dispose_statement:=cnothingnode.create;
                  exit;
@@ -229,6 +232,7 @@ implementation
                  p.free;
                  p:=factor(false,[]);
                  p.free;
+                 p := nil;
                  consume(_RKLAMMER);
                  new_dispose_statement:=cerrornode.create;
                  exit;
@@ -238,6 +242,7 @@ implementation
               begin
                  Message(parser_e_pointer_to_class_expected);
                  p.free;
+                 p := nil;
                  new_dispose_statement:=factor(false,[]);
                  consume_all_until(_RKLAMMER);
                  consume(_RKLAMMER);
@@ -268,6 +273,7 @@ implementation
                  else
                   Message(parser_e_expr_have_to_be_destructor_call);
                  p.free;
+                 p := nil;
                  new_dispose_statement:=cerrornode.create;
               end
             else
@@ -345,6 +351,7 @@ implementation
                  if is_typeparam(p.resultdef) then
                    begin
                       p.free;
+                      p := nil;
                       consume(_RKLAMMER);
                       new_dispose_statement:=cnothingnode.create;
                       exit;
@@ -452,6 +459,7 @@ implementation
            consume_all_until(_RKLAMMER);
            consume(_RKLAMMER);
            p1.free;
+           p1 := nil;
            new_function:=cerrornode.create;
            exit;
          end;
@@ -462,6 +470,7 @@ implementation
            consume_all_until(_RKLAMMER);
            consume(_RKLAMMER);
            p1.free;
+           p1 := nil;
            new_function:=cerrornode.create;
            exit;
          end;
@@ -486,6 +495,7 @@ implementation
                consume_all_until(_RKLAMMER);
                consume(_RKLAMMER);
                p1.free;
+               p1 := nil;
                new_function:=cerrornode.create;
                exit;
              end;
@@ -512,6 +522,7 @@ implementation
               the pointer to the object }
             p1.resultdef:=p2.resultdef;
             p2.free;
+            p2 := nil;
             consume(_RKLAMMER);
           end;
         new_function:=p1;
@@ -643,6 +654,7 @@ implementation
          end;
         ppn.left:=nil;
         paras.free;
+        paras := nil;
         result.free;
         result:=newblock;
       end;

compiler/pkgutil.pas

@@ -286,6 +286,7 @@ implementation
       if not inppu.openfile then
        begin
          inppu.free;
+         inppu := nil;
          Comment(V_Error,'Could not open : '+PPUFn);
          Exit;
        end;
@@ -293,6 +294,7 @@ implementation
       if not inppu.CheckPPUId then
        begin
          inppu.free;
+         inppu := nil;
          Comment(V_Error,'Not a PPU File : '+PPUFn);
          Exit;
        end;
@@ -300,6 +302,7 @@ implementation
       if ppuversion<>CurrentPPUVersion then
        begin
          inppu.free;
+         inppu := nil;
          Comment(V_Error,'Wrong PPU Version '+tostr(ppuversion)+' in '+PPUFn);
          Exit;
        end;
@@ -307,6 +310,7 @@ implementation
       if (inppu.header.common.flags and uf_in_library)<>0 then
        begin
          inppu.free;
+         inppu := nil;
          Comment(V_Error,'PPU is already in a library : '+PPUFn);
          Exit;
        end;
@@ -314,6 +318,7 @@ implementation
       if (inppu.header.common.flags and (uf_static_linked or uf_no_link))=0 then
        begin
          inppu.free;
+         inppu := nil;
          Comment(V_Error,'PPU is not static linked : '+PPUFn);
          Exit;
        end;
@@ -340,7 +345,9 @@ implementation
         if b in [ibendinterface,ibend] then
          begin
            inppu.free;
+           inppu := nil;
            outppu.free;
+           outppu := nil;
            Comment(V_Error,'No files to be linked found : '+PPUFn);
            Exit;
          end;
@@ -438,7 +445,9 @@ implementation
       outppu.flush;
       outppu.writeheader;
       outppu.free;
+      outppu := nil;
       inppu.free;
+      inppu := nil;
       Result:=True;
     end;
 
@@ -866,9 +875,11 @@ implementation
         end;
 
       alreadyloaded.free;
+      alreadyloaded := nil;
       for i:=0 to cache.count-1 do
         dispose(pcacheentry(cache[i]));
       cache.free;
+      cache := nil;
     end;
 
 

compiler/pmodules.pas

@@ -82,6 +82,7 @@ implementation
                KeepShared.Concat(s);
             end;
            DLLscanner.Free;
+           DLLscanner := nil;
            { Recreate import section }
            if (target_info.system in [system_i386_win32,system_i386_wdosx]) then
             begin
@@ -98,6 +99,7 @@ implementation
               curr.linkOtherSharedLibs.add(s,link_always);
             end;
            KeepShared.Free;
+           KeepShared := nil;
          end;
 
         { allow a target-specific pass over all assembler code (used by LLVM
@@ -311,6 +313,7 @@ implementation
               internalerror(2024020701);
             curr.used_units.Remove(uu);
             uu.Free;
+            uu := nil;
            { remove the module }
             loaded_units.Remove(hp);
             unloaded_units.Concat(hp);
@@ -711,6 +714,7 @@ implementation
                 current_scanner.tempopeninputfile;
               end;
            state.free;
+           state := nil;
          end;
 
       begin
@@ -2164,6 +2168,7 @@ type
              Message1(unit_f_errors_in_unit,tostr(Errorcount));
              status.skip_error:=true;
              pkg.free;
+             pkg := nil;
              exit;
            end;
 
@@ -2245,6 +2250,7 @@ type
             Message1(unit_f_errors_in_unit,tostr(Errorcount));
             status.skip_error:=true;
             pkg.free;
+            pkg := nil;
             exit;
           end;
 
@@ -2304,6 +2310,7 @@ type
                       begin
                         loaded_units.remove(hp);
                         hp.free;
+                        hp := nil;
                       end;
                     hp:=hp2;
                   end;
@@ -2321,6 +2328,7 @@ type
               end;
 
              pkg.free;
+             pkg := nil;
           end;
       end;
 
@@ -2362,6 +2370,7 @@ type
                  begin
                    loaded_units.remove(hp);
                    hp.free;
+                   hp := nil;
                  end;
                hp:=hp2;
              end;
@@ -2616,6 +2625,7 @@ type
                call_through_new_name(main_procinfo.procdef,target_info.cprefix+'FPC_LIBMAIN');
                initpd:=main_procinfo.procdef;
                main_procinfo.free;
+               main_procinfo := nil;
              end;
 
            main_procinfo:=create_main_proc(make_mangledname('',curr.localsymtable,mainaliasname),potype_proginit,curr.localsymtable);

compiler/procdefutil.pas

@@ -700,6 +700,7 @@ implementation
             end;
         end;
       symstodo.free;
+      symstodo := nil;
     end;
 
 
@@ -1728,10 +1729,12 @@ implementation
             end;
 
           tocapture.free;
+          tocapture := nil;
         end;
 
       { not required anymore }
       capturedsyms.free;
+      capturedsyms := nil;
 
       if convertarg.mappings.count>0 then
         foreachnodestatic(pm_postprocess,tree,@convert_captured_sym,@convertarg);
@@ -1739,11 +1742,11 @@ implementation
       for i:=0 to convertarg.mappings.count-1 do
         begin
           mapping:=pconvert_mapping(convertarg.mappings[i]);
-          mapping^.selfnode.free;
+          mapping^.selfnode.free; // no nil needed
           dispose(mapping);
         end;
 
-      convertarg.mappings.free;
+      convertarg.mappings.free; // no nil needed
     end;
 
 

compiler/procinfo.pas

@@ -264,10 +264,15 @@ implementation
     destructor tprocinfo.destroy;
       begin
          nestedprocs.free;
+         nestedprocs := nil;
          aktproccode.free;
+         aktproccode := nil;
          aktlocaldata.free;
+         aktlocaldata := nil;
          localrefsyms.free;
+         localrefsyms := nil;
          localrefdefs.free;
+         localrefdefs := nil;
       end;
 
     procedure tprocinfo.destroy_tree;
@@ -278,6 +283,7 @@ implementation
         while Assigned(hp.parent) do
           hp:=hp.parent;
         hp.Free;
+        hp := nil;
       end;
 
     procedure tprocinfo.addnestedproc(child: tprocinfo);

compiler/psabiehpi.pas

@@ -183,6 +183,7 @@ implementation
         if not(actionlist.Empty) then
           Internalerror(2019020501);
         actionlist.Free;
+        actionlist := nil;
         inherited Destroy;
       end;
 
@@ -226,11 +227,17 @@ implementation
     destructor tpsabiehprocinfo.destroy;
       begin
          gcc_except_table_data.free;
+         gcc_except_table_data := nil;
          actionstack.free;
+         actionstack := nil;
          landingpadstack.free;
+         landingpadstack := nil;
          typefilterlist.free;
+         typefilterlist := nil;
          callsite_table_data.Free;
+         callsite_table_data := nil;
          action_table_data.Free;
+         action_table_data := nil;
          inherited;
       end;
 

compiler/pstatmnt.pas

@@ -259,8 +259,11 @@ implementation
                    end;
                end;
              p.free;
+             p := nil;
              sl1.free;
+             sl1 := nil;
              sl2.free;
+             sl2 := nil;
 
              if token=_COMMA then
                consume(_COMMA)
@@ -548,6 +551,7 @@ implementation
               result:=create_for_in_loop(hloopvar,hloopbody,expr);
 
               expr.free;
+              expr := nil;
             end;
 
 
@@ -791,6 +795,7 @@ implementation
             for i:=withsymtablelist.count-1 downto 0 do
               symtablestack.pop(TSymtable(withsymtablelist[i]));
             withsymtablelist.free;
+            withsymtablelist := nil;
 
             { Finalize complex withnode with destroy of temp }
             if assigned(newblock) then
@@ -807,6 +812,7 @@ implementation
          else
           begin
             p.free;
+            p := nil;
             Message1(parser_e_false_with_expr,p.resultdef.GetTypeName);
             { try to recover from error }
             if try_to_consume(_COMMA) then
@@ -1031,7 +1037,10 @@ implementation
                        begin
                          symtablestack.pop(excepTSymtable);
                          if last.nodetype <> onn then
-                           excepTSymtable.free;
+                           begin
+                             excepTSymtable.free;
+                             excepTSymtable := nil;
+                           end;
                        end;
                      if not try_to_consume(_SEMICOLON) then
                         break;
@@ -1087,6 +1096,7 @@ implementation
              asmstat:=casmnode.create(hl);
              asmstat.fileinfo:=entrypos;
              asmreader.free;
+             asmreader := nil;
            end
          else
            Message(parser_f_assembler_reader_not_supported);
@@ -1310,6 +1320,7 @@ implementation
             consume(_RKLAMMER); {error}
         until nesting<0;
         tokenbuf.free;
+        tokenbuf := nil;
         { mark boundaries of assembler block, this is necessary for optimizer }
         hl.insert(tai_marker.create(mark_asmblockstart));
         hl.concat(tai_marker.create(mark_asmblockend));
@@ -1473,6 +1484,7 @@ implementation
                 else
                   searchsym(s,srsym,srsymtable);
                 p.free;
+                p := nil;
 
                 if assigned(srsym) and
                    (srsym.typ=labelsym) then

compiler/psub.pas

@@ -688,6 +688,7 @@ implementation
        begin
          TFPList.FreeAndNilDisposing(tempinfo_flags_map,TypeInfo(ttempinfo_flags_entry));
          code.free;
+         code := nil;
          inherited destroy;
        end;
 
@@ -1412,6 +1413,7 @@ implementation
         nodeset:=THashSet.Create(32,false,false);
         foreachnode(code,@store_node_tempflags,nodeset);
         nodeset.free;
+        nodeset := nil;
       end;
 
 
@@ -1869,6 +1871,7 @@ implementation
                 begin
                   aktproccode.remove(ai);
                   ai.free;
+                  ai := nil;
                   anode.currenttai:=nil;
                 end;
             end;
@@ -2343,12 +2346,14 @@ implementation
           end;
 
         dfabuilder.free;
+        dfabuilder := nil;
 
         { restore symtablestack }
         remove_from_symtablestack;
 
         { restore }
         templist.free;
+        templist := nil;
         current_settings.maxfpuregisters:=oldmaxfpuregisters;
         current_filepos:=oldfilepos;
         current_structdef:=old_current_structdef;

compiler/ptconst.pas

@@ -146,6 +146,7 @@ implementation
           end;
 
         tcbuilder.free;
+        tcbuilder := nil;
         current_filepos:=storefilepos;
       end;
 

compiler/ptype.pas

@@ -149,6 +149,7 @@ implementation
                      searchsym(upper(hs),srsym,srsymtable);
                      { we don't need the forwarddef anymore, dispose it }
                      hpd.free;
+                     hpd := nil;
                      tabstractpointerdef(def).pointeddef:=nil; { if error occurs }
                      { was a type sym found ? }
                      if assigned(srsym) and
@@ -341,6 +342,7 @@ implementation
                    end;
                  parse_nested_types(def,isfowarddef,true,structdefstack);
                  structdefstack.free;
+                 structdefstack := nil;
                  result:=true;
                  exit;
                end;
@@ -1270,6 +1272,7 @@ implementation
                else
                  Message(sym_e_error_in_type_def);
                pt2.free;
+               pt2 := nil;
              end
            else
              begin
@@ -1393,6 +1396,7 @@ implementation
                  Message(sym_e_error_in_type_def);
              end;
            pt1.free;
+           pt1 := nil;
            block_type:=old_block_type;
         end;
 
@@ -1644,6 +1648,7 @@ implementation
                            Message(sym_e_error_in_type_def)
                        end;
                      pt.free;
+                     pt := nil;
                    end;
 
                   { if we are not at the first dimension, add the new arrray
@@ -1910,6 +1915,7 @@ implementation
                        else
                         Message(parser_e_illegal_expression);
                        p.free;
+                       p := nil;
                        { please leave that a note, allows type save }
                        { declarations in the win32 units ! }
                        if (not first) and (v<=l) and (not enumdupmsg) then

compiler/rasm.pas

@@ -97,7 +97,9 @@ unit rasm;
     destructor tasmreader.destroy;
       begin
         locallabels.Free;
+        locallabels := nil;
         iasmops.Free;
+        iasmops := nil;
         inherited destroy;
       end;
 

compiler/rautils.pas

@@ -520,6 +520,7 @@ Begin
   expr:=TExprParse.create;
   CalculateExpression:=expr.Evaluate(expression);
   expr.Free;
+  expr := nil;
 end;
 
 
@@ -1271,7 +1272,7 @@ var
   i : longint;
 Begin
   for i:=1 to max_operands do
-   Operands[i].free;
+   FreeAndNil(Operands[i]);
 end;
 
 

compiler/rgobj.pas

@@ -498,11 +498,15 @@ unit rgobj;
         live_registers.done;
 
         move_garbage.free;
+        move_garbage := nil;
         worklist_moves.free;
+        worklist_moves := nil;
 
         dispose_reginfo;
         extended_backwards.free;
+        extended_backwards := nil;
         backwards_was_first.free;
+        backwards_was_first := nil;
       end;
 
 
@@ -683,6 +687,7 @@ unit rgobj;
             end;
         until endspill;
         ibitmap.free;
+        ibitmap := nil;
 
         translate_registers(list);
 
@@ -695,7 +700,7 @@ unit rgobj;
         }
 
         for i:=0 to High(spillinfo) do
-          spillinfo[i].interferences.Free;
+          FreeAndNil(spillinfo[i].interferences);
         spillinfo:=nil;
       end;
 
@@ -2552,6 +2557,7 @@ unit rgobj;
             end;
         list.insertlistafter(headertai,templist);
         templist.free;
+        templist := nil;
         { Walk through all instructions, we can start with the headertai,
           because before the header tai is only symbols }
         p:=headertai;

compiler/scanner.pas

@@ -1098,11 +1098,17 @@ type
   class destructor texprvalue.destroydefs;
     begin
       setdef.free;
+      setdef := nil;
       sintdef.free;
+      sintdef := nil;
       uintdef.free;
+      uintdef := nil;
       booldef.free;
+      booldef := nil;
       strdef.free;
+      strdef := nil;
       realdef.free;
+      realdef := nil;
     end;
 
   constructor texprvalue.create_const(c: tconstsym);
@@ -2264,6 +2270,7 @@ type
                     else
                       result:=texprvalue.create_int(0);
                     exprvalue.free;
+                    exprvalue := nil;
                     if current_scanner.preproc_token =_RKLAMMER then
                       preproc_consume(_RKLAMMER)
                     else
@@ -2279,6 +2286,7 @@ type
                     else
                       result:=texprvalue.create_bool(false); {Just to have something}
                     exprvalue.free;
+                    exprvalue := nil;
                   end
                 else
                 if (current_scanner.preproc_pattern='TRUE') then
@@ -2455,6 +2463,7 @@ type
                else
                  Message(scan_e_error_in_preproc_expr);
                exprvalue.free;
+               exprvalue := nil;
              end
            else
              Message(scan_e_error_in_preproc_expr);
@@ -2508,7 +2517,9 @@ type
                      result:=texprvalue.create_bool(false); {Just to have something}
                  end;
                hs1.free;
+               hs1 := nil;
                hs2.free;
+               hs2 := nil;
              end
            else
              break;
@@ -2538,6 +2549,7 @@ type
           end;
         valuedescr:=hs.asStr;
         hs.free;
+        hs := nil;
       end;
 
     procedure dir_if;
@@ -2720,6 +2732,7 @@ type
              else
                Message(scan_e_preproc_syntax_error);
              exprvalue.free;
+             exprvalue := nil;
           end
         else
           Message(scan_e_preproc_syntax_error);
@@ -3094,8 +3107,12 @@ type
         if not inputfile.closed then
           closeinputfile;
         if inputfile.is_macro then
-          inputfile.free;
+          begin
+            inputfile.free;
+            inputfile := nil;
+          end;
         ignoredirectives.free;
+        ignoredirectives := nil;
       end;
 
 
@@ -3227,7 +3244,7 @@ type
            inputfile.close;
            inputfile:=inputfile.next;
            if assigned(to_dispose) then
-             to_dispose.free;
+             to_dispose.free; // no nil needed
            restoreinputfile;
          end;
       end;
@@ -3923,6 +3940,7 @@ type
                         if assigned(pmsg) then
                           dispose(pmsg);
                         msgset.free;
+                        msgset := nil;
                       end;
                     ST_LINE:
                       begin
@@ -6872,6 +6890,7 @@ exit_label:
             result:=false;
           end;
         hs.free;
+        hs := nil;
       end;
 
 
@@ -6891,6 +6910,7 @@ exit_label:
             result:=false;
           end;
         hs.free;
+        hs := nil;
       end;
 
 
@@ -6998,7 +7018,9 @@ exit_label:
     procedure DoneScanner;
       begin
         turbo_scannerdirectives.Free;
+        turbo_scannerdirectives := nil;
         mac_scannerdirectives.Free;
+        mac_scannerdirectives := nil;
         DoneWideString(patternw);
       end;
 

compiler/switches.pas

@@ -463,6 +463,7 @@ procedure flushpendingswitchesstate;
         pendingstate.nextmessagerecord:=nil;
       end;
     msgset.free;
+    msgset := nil;
     { process pending calling convention changes (calling x) }
     if pendingstate.nextcallingstr<>'' then
       begin

compiler/symbase.pas

@@ -270,9 +270,11 @@ implementation
           exit;
         Clear;
         DefList.Free;
+        DefList := nil;
         { SymList can already be disposed or set to nil for withsymtable, }
         { but in that case Free does nothing                              }
         SymList.Free;
+        SymList := nil;
         stringdispose(name);
         stringdispose(realname);
       end;
@@ -522,5 +524,6 @@ initialization
 
 finalization
   memrealnames.free;
+  memrealnames := nil;
 {$endif MEMDEBUG}
 end.

compiler/symcreat.pas

@@ -180,7 +180,7 @@ implementation
     begin
       if sstate.valid then
         begin
-          sstate.new_scanner.free;
+          sstate.new_scanner.free; // no nil needed
           set_current_scanner(sstate.old_scanner);
           current_filepos:=sstate.old_filepos;
           token:=sstate.old_token;
@@ -724,6 +724,7 @@ implementation
             str:=str+'__fpc_ord2enum.put(JLInteger.valueOf('+tostr(enumsym.value)+'),'+enumname+');';
         end;
       orderedenums.free;
+      orderedenums := nil;
       str:=str+' end;';
       str_parse_method_impl(str,pd,true);
     end;