diff options
Diffstat (limited to 'gcc/ada/back_end.adb')
| -rw-r--r-- | gcc/ada/back_end.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/back_end.adb b/gcc/ada/back_end.adb index 6488da1e468..89cf3031338 100644 --- a/gcc/ada/back_end.adb +++ b/gcc/ada/back_end.adb @@ -295,6 +295,14 @@ package body Back_End is if Is_Switch (Argv) then Fail ("Object file name missing after -gnatO"); + -- In GNATprove_Mode, such an object file is never written, and + -- the call to Set_Output_Object_File_Name may fail (e.g. when + -- the object file name does not have the expected suffix). So + -- we skip that call when GNATprove_Mode is set. + + elsif GNATprove_Mode then + Output_File_Name_Seen := True; + else Set_Output_Object_File_Name (Argv); Output_File_Name_Seen := True; |