[gcc r15-3365] ada: Remove repeated guards in validity checks

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:78acc6d85f972102b92e803bef0aac0afdb1ca9e

commit r15-3365-g78acc6d85f972102b92e803bef0aac0afdb1ca9e
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Thu Aug 8 10:59:57 2024 +0200

    ada: Remove repeated guards in validity checks
    
    Routine Insert_Valid_Check only applies checks when Expr_Known_Valid
    query returns False; there is no need to call this query before
    inserting checks.
    
    Code cleanup; behavior is unaffected.
    
    gcc/ada/
    
            * exp_imgv.adb (Expand_User_Defined_Enumeration_Image)
            (Expand_Image_Attribute): Remove redundant guards.

Diff:
---
 gcc/ada/exp_imgv.adb | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/gcc/ada/exp_imgv.adb b/gcc/ada/exp_imgv.adb
index e5d84cc52e34..ce052c13c880 100644
--- a/gcc/ada/exp_imgv.adb
+++ b/gcc/ada/exp_imgv.adb
@@ -896,9 +896,7 @@ package body Exp_Imgv is
          --  Apply a validity check, since it is a bit drastic to get a
          --  completely junk image value for an invalid value.
 
-         if not Expr_Known_Valid (Expr) then
-            Insert_Valid_Check (Expr);
-         end if;
+         Insert_Valid_Check (Expr);
 
          --  Generate:
          --    P1 : constant Natural := Typ'Pos (Typ?(Expr));
@@ -1249,9 +1247,7 @@ package body Exp_Imgv is
             --  Apply a validity check, since it is a bit drastic to get a
             --  completely junk image value for an invalid value.
 
-            if not Expr_Known_Valid (Expr) then
-               Insert_Valid_Check (Expr);
-            end if;
+            Insert_Valid_Check (Expr);
 
             Enum_Case := True;
          end if;