From d6201030cefe6ec9655bc90c2b5f566cafb878ec Mon Sep 17 00:00:00 2001
From: Brian Drummond <brian@shapes.demon.co.uk>
Date: Mon, 2 Dec 2013 16:03:19 +0000
Subject: Fix for https://gna.org/bugs/?21308 aka Debian bug 573885

---
 files_map.adb | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/files_map.adb b/files_map.adb
index c6525bd65..4aff442b3 100644
--- a/files_map.adb
+++ b/files_map.adb
@@ -757,6 +757,9 @@ package body Files_Map is
       declare
          Filename : String := Get_Pathname (Directory, Name, True);
       begin
+         if not Is_Regular_File(Filename) then
+            return No_Source_File_Entry;
+         end if;
          Fd := Open_Read (Filename'Address, Binary);
          if Fd = Invalid_FD then
             return No_Source_File_Entry;
-- 
cgit v1.2.3