From 088b423572257c3bbe191f6a2eab10b16f214e6c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 20 Jul 2021 07:29:56 +0200
Subject: oread: add support for debug line decl
---
src/ortho/oread/ortho_front.adb | 7 +++++++
1 file changed, 7 insertions(+)
(limited to 'src')
diff --git a/src/ortho/oread/ortho_front.adb b/src/ortho/oread/ortho_front.adb
index e6bf6b6a3..e82b56d00 100644
--- a/src/ortho/oread/ortho_front.adb
+++ b/src/ortho/oread/ortho_front.adb
@@ -3075,6 +3075,13 @@ package body Ortho_Front is
end if;
Next_Token;
return;
+ when Tok_Line_Number =>
+ Next_Expect (Tok_Num);
+ if Flag_Renumber = False then
+ New_Debug_Line_Decl (Natural (Token_Number));
+ end if;
+ Next_Token;
+ return;
when others =>
Parse_Error ("declaration expected");
end case;
--
cgit v1.2.3