diff options
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/make.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/switch-b.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/switch-c.adb | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index 01d3cca..24b2d09 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -4508,7 +4508,7 @@ package body Make is Make_Failed ("RTS path not valid: missing adainclude directory"); - elsif Lib_Path_Name = null then + else pragma Assert (Lib_Path_Name = null); Make_Failed ("RTS path not valid: missing adalib directory"); end if; diff --git a/gcc/ada/switch-b.adb b/gcc/ada/switch-b.adb index 2c4fc0c..8d8dc58 100644 --- a/gcc/ada/switch-b.adb +++ b/gcc/ada/switch-b.adb @@ -703,7 +703,7 @@ package body Switch.B is elsif Src_Path_Name = null then Osint.Fail ("RTS path not valid: missing adainclude directory"); - elsif Lib_Path_Name = null then + else pragma Assert (Lib_Path_Name = null); Osint.Fail ("RTS path not valid: missing adalib directory"); end if; diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 7668fce..43b69f1 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -274,7 +274,7 @@ package body Switch.C is Osint.Fail ("RTS path not valid: missing " & "adainclude directory"); - elsif RTS_Lib_Path_Name = null then + else pragma Assert (RTS_Lib_Path_Name = null); Osint.Fail ("RTS path not valid: missing " & "adalib directory"); end if; |