diff options
| author | Brian Drummond <brian@shapes.demon.co.uk> | 2013-12-02 16:03:19 +0000 |
|---|---|---|
| committer | Brian Drummond <brian@shapes.demon.co.uk> | 2013-12-02 16:03:19 +0000 |
| commit | d6201030cefe6ec9655bc90c2b5f566cafb878ec (patch) | |
| tree | 9b1e0f2a92a96f2ccfed79f5c320597cfe0e9fec | |
| parent | 560c4c42f15155771b5558c37cec7a1acbb48751 (diff) | |
| download | ghdl-d6201030cefe6ec9655bc90c2b5f566cafb878ec.tar.gz ghdl-d6201030cefe6ec9655bc90c2b5f566cafb878ec.tar.bz2 ghdl-d6201030cefe6ec9655bc90c2b5f566cafb878ec.zip | |
Fix for https://gna.org/bugs/?21308 aka Debian bug 573885
| -rw-r--r-- | files_map.adb | 3 |
1 files changed, 3 insertions, 0 deletions
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; |