commit f9ab868f4c62da314435e9cc5317d22131e52d58
author Nico Huber <nico.huber@secunet.com> Mon Jan 29 16:32:02 2024 +0100
committer Nico Huber <nico.huber@secunet.com> Mon Jan 29 16:32:02 2024 +0100
tree 91f06b73f59f5758be9e35b7ba83a9c5688a283a
parent 32f19279a00a61cd9ccbc4333d047ce25f1cea26

FILO: Check overflow when converting unsigned to signed

src/filo-fs.adb

diff --git a/src/filo-fs.adb b/src/filo-fs.adb
index ab2b9c8..69ed2ad 100644
--- a/src/filo-fs.adb
+++ b/src/filo-fs.adb
@@ -18,7 +18,10 @@
       Convention     => C,
       External_Name  => "filepos";
 
-   function Part_Len return Partition_Length is (Partition_Length (C_Part_Length));
+   function Part_Len return Partition_Length
+   is
+     (Partition_Length (unsigned_long'Min (
+        C_Part_Length, unsigned_long (Partition_Length'Last))));
 
    function File_Max return File_Length is
    begin