diff options
Diffstat (limited to 'gcc/ada/osint.adb')
| -rw-r--r-- | gcc/ada/osint.adb | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/gcc/ada/osint.adb b/gcc/ada/osint.adb index 2dc5c321509..7ca5fca77e5 100644 --- a/gcc/ada/osint.adb +++ b/gcc/ada/osint.adb @@ -520,7 +520,7 @@ package body Osint is -- Add_File -- -------------- - procedure Add_File (File_Name : String) is + procedure Add_File (File_Name : String; Index : Int := No_Index) is begin Number_File_Names := Number_File_Names + 1; @@ -530,9 +530,12 @@ package body Osint is if Number_File_Names > File_Names'Last then File_Names := new File_Name_Array'(File_Names.all & File_Names.all); + File_Indexes := + new File_Index_Array'(File_Indexes.all & File_Indexes.all); end if; - File_Names (Number_File_Names) := new String'(File_Name); + File_Names (Number_File_Names) := new String'(File_Name); + File_Indexes (Number_File_Names) := Index; end Add_File; ------------------------ @@ -670,6 +673,15 @@ package body Osint is end if; end Create_File_And_Check; + ------------------------ + -- Current_File_Index -- + ------------------------ + + function Current_File_Index return Int is + begin + return File_Indexes (Current_File_Name_Index); + end Current_File_Index; + -------------------------------- -- Current_Library_File_Stamp -- -------------------------------- |