Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!pasdenom.info!.POSTED.2a01:e0a:472:70f0:5be:3bda:145:f054!not-for-mail
From: DrPi <314@drpi.fr>
Newsgroups: fr.comp.lang.ada
Subject: Crash de Start_Search
Date: Mon, 16 Oct 2023 23:31:31 +0200
Organization: <https://pasdenom.info/news.html>
Message-ID: <ugka3k$j29$1@rasp.pasdenom.info>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 16 Oct 2023 21:31:32 -0000 (UTC)
Injection-Info: rasp.pasdenom.info; posting-account="314@usenet"; posting-host="2a01:e0a:472:70f0:5be:3bda:145:f054";
	logging-data="19529"; mail-complaints-to="abuse@pasdenom.info"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha256:DfYf943G70oS0bk+I4vM2T8nMjs2KnYMBeN4oVnwrYI=
Content-Language: fr
Bytes: 2300
Lines: 49

Bonsoir,

Voici les étapes pour reproduire mon problème (Windows 10 64bits) :

alr init --bin dir_search
cd dir_search

Contenu de ./src/dir_search.adb :

with Ada.Text_IO; use Ada.Text_IO;

with Ada.Directories; use Ada.Directories;

procedure Dir_Search is
    ST : Search_Type;
    DE : Directory_Entry_Type;
begin
    Put_Line ("Test en cours...");
    Start_Search (ST, ".", "", (others => True));
    while More_Entries (ST) loop
       Get_Next_Entry  (ST, DE);
       Put_Line ("Found : " & Simple_Name (DE));
    end loop;
    Put_Line ("Done.");
end Dir_Search;

alr run  -> OK

Ajout d'un fichier nommé "Test avec entête.txt" dans ./

alr run  -> !!! Crash !!!

raised ADA.IO_EXCEPTIONS.USE_ERROR : Unable to get modification time of 
the file ".\Test avec entête.txt"
[Z:\ada\alire_projects\dir_search\bin\dir_search.exe]
0x7ff796b8b983 Ada.Calendar.Arithmetic_Operations.Add at a-direct.adb:877
0x7ff796b8ce8d Ada.Calendar.Arithmetic_Operations.Add at a-direct.adb:1454
0x7ff796b8d224 Ada.Calendar.Arithmetic_Operations.Add at a-direct.adb:1264
0x7ff796be05a1 Dir_Search at dir_search.adb:10
0x7ff796be0dec Dir_Search at b__dir_search.adb:303
0x7ff796b8143c __tmainCRTStartup at ???
0x7ff796b81144 mainCRTStartup at ???
[C:\WINDOWS\System32\KERNEL32.DLL]
0x7ffcd5077342
[C:\WINDOWS\SYSTEM32\ntdll.dll]
0x7ffcd5c026af

Bug dans la runtime ?

Nicolas