Finding Source Position From Code Address

Turbo Pascal has a command line switch /Fseg:ofs which can find module name and source line number compiled at this address. The program is normally compiled but instead of compilation status the source position is displayed.
Procedure FindAndWriteSourceLine;
Var UnitRecord: PUsedFilesBlockRecord;
    LinePointer: PChar absolute UnitRecord;

  Function FindSourceFileAndLineNumberWithError (ErrorAddress: PtrRec; Var ErrorLineNumber: Word;
                                                 Var UnitRecord: PUsedFilesBlockRecord): Boolean;
  Var UnitPointer: PUnitHeader;
      UnitPointerRec: PtrRec absolute UnitPointer;
      Address: LongRec;
      ProgramCodeBlockRecord: PProgramCodeBlockRecord;
      Blockub9Record: PStatementCodeSizesBlockRecord absolute ProgramCodeBlockRecord;
      Blockub9RecordRec: PtrRec absolute Blockub9Record;
      BytePtr: PChar;
      SourceLineNumber, W: Word;
  Label NextUnit, UnitFound;
  begin
    FindSourceFileAndLineNumberWithError := False;
    UnitPointerRec.Ptr := Ptr (LastLoadedUsedUnit, 0);
    While UnitPointerRec.Seg <> 0 do
      begin
        If ErrorAddress.Seg < UnitPointer^.CodeSegment then GoTo NextUnit;
        If ErrorAddress.Seg = UnitPointer^.CodeSegment then
          If ErrorAddress.Ofs = UnitPointer^.OverlayedUnitCodeSize then GoTo UnitFound;
        If ErrorAddress.Seg < $1000 then
          begin
            Address.Long := ErrorAddress.Seg shl 4 + ErrorAddress.Ofs;
            If Address.WordH = 0 then If Address.WordL < UnitPointer^.CodeSize then
              begin
                ErrorAddress.Ofs := Address.WordL;
                GoTo UnitFound;
              end;
          end;
  NextUnit:

      UnitPointerRec.Seg := UnitPointer^.PreviousUnitSegment;
      end;
    Exit;

  UnitFound:

    ProgramCodeBlockRecord := Ptr (UnitPointerRec.Seg, UnitPointer^.BlockOffset [stCodeBlocks]);
    Repeat
      If ProgramCodeBlockRecord^.Offset <> $FFFF then
        begin
          If ErrorAddress.Ofs < ProgramCodeBlockRecord^.CodeSize then Break;
          Dec (ErrorAddress.Ofs, ProgramCodeBlockRecord^.CodeSize);
        end;
      Inc (ProgramCodeBlockRecord);
    until False;
    Address.Long := ProgramCodeBlockRecord^.StatementCodeSizesRecordOffset +
                    UnitPointer^.BlockOffset [stSourceLineCodeOffsets];
    If Address.WordH <> 0 then Exit;
    Blockub9RecordRec.Ofs := Address.WordL;
    Address.Long := ErrorAddress.Ofs - Blockub9Record^.SizeOfConstantsInCode;
    If Address.WordH <> 0 then Exit;
    SourceLineNumber := Blockub9Record^.SizeOfConstantsInCode;
    Repeat
      BytePtr := @Blockub9Record^.StatementsCodeSizeData;
      W := Byte (BytePtr^);
      Inc (BytePtr);
      If W and $80 <> 0 then
        begin
          W := (W and $7F) shl 8 + Byte (BytePtr^);
          Inc (BytePtr);
        end;
      Inc (SourceLineNumber);
      If ErrorAddress.Ofs < W then Break;
    until False;
    Dec (SourceLineNumber);
    ErrorLineNumber := SourceLineNumber;
    UnitRecord := Ptr (UnitPointerRec.Seg, Blockub9Record^.SourceFileRecordOffset + UnitPointer^.BlockOffset [stUsedFiles]);
    FindSourceFileAndLineNumberWithError := True;
  end;

begin
  SetErrorAddress (@DummyErrorProc);
  CurrentSourceFile := @EndOfFileStructure;
  FirstSourceFile := @EndOfFileStructure;
  ProgramBlockCompilation := False;
  If SourceType > stUnit then Error (TargetAddressNotFound);
  If not FindSourceFileAndLineNumberWithError (FindErrorAddress, ErrorLineNumber, UnitRecord) then
    Error (TargetAddressNotFound);
  FindUsedFilePath (UnitRecord, @Identifier);
  OpenSourceFile (UnitRecord, @Identifier);
  Repeat
    CheckStack;
    If not NextLine then Error (UnexpectedEndOfFile);
  until CurrentSourceFile^.CurrentLineNumber >= ErrorLineNumber;
  LinePointer := CurrentLine - 1;
  Repeat
    Inc (LinePointer);
  until (LinePointer^ = #0) or (LinePointer^ > ' ');
  CurrentSourceFile^.CurrentPosition := Ofs (LinePointer^);
  ErrorSourceFile := CurrentSourceFile;
  Error (TargetAddressFound);
end;
 
 
 
 
© 2017 Turbo Pascal | Privacy Policy