From a3c8e965181a81710d1da42a32e0efcd376df1bb Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 4 Feb 2020 18:56:49 +0100
Subject: files_map-editor: add more checks.

---
 src/files_map-editor.adb | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/files_map-editor.adb b/src/files_map-editor.adb
index 63a72f460..d339f3578 100644
--- a/src/files_map-editor.adb
+++ b/src/files_map-editor.adb
@@ -84,6 +84,15 @@ package body Files_Map.Editor is
       P : Source_Ptr;
       Nl : Natural;
    begin
+      --  Check File_Length.
+      P := F.File_Length;
+      if P >= Get_Buffer_Length (File) then
+         Log_Line ("invalid file length");
+      end if;
+      if F.Source (P) /= EOT or else F.Source (P + 1) /= EOT then
+         Log_Line ("missing EOT at end of buffer");
+      end if;
+
       L := 1;
       P := Source_Ptr_Org;
       Main_Loop: loop
-- 
cgit v1.2.3