[gcc r15-183] ada: Replace redundant conditions with assertions

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:e5a71415c32db32bf2c20a597f6191990ed1a0be

commit r15-183-ge5a71415c32db32bf2c20a597f6191990ed1a0be
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Tue Dec 19 10:23:55 2023 +0100

    ada: Replace redundant conditions with assertions
    
    Fix warnings from the CodePeer. The code structure is essentially:
    
      if A and B then ...
      elsif not A and not B then ...
      elsif A then ...
      elsif B then ...  --  this condition is redundant
      end if;
    
    and it causes CodePeer to say "exception is raised in a conditional
    branch", which most likely means that the condition is redundant.
    
    gcc/ada/
    
            * make.adb (Scan_Make_Arg): Remove redundant condition.
            * switch-b.adb (Scan_Debug_Switches): Likewise.
            * switch-c.adb (Scan_Front_End_Switches): Likewise.

Diff:
---
 gcc/ada/make.adb     | 2 +-
 gcc/ada/switch-b.adb | 2 +-
 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 01d3ccab8af..24b2d099bfe 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 2c4fc0c6039..8d8dc58937c 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 7668fce885a..43b69f1dde1 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;