From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 12 Jan 2021 20:16:28 +0000 (+0100)
Subject: [Ada] Cleanup a statically true condition in expanded raise statement
X-Git-Tag: basepoints/gcc-13~7813
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a119897355ddbc3d7a82b53d32a6a297fc2cb137;p=thirdparty%2Fgcc.git

[Ada] Cleanup a statically true condition in expanded raise statement

gcc/ada/

	* exp_ch4.adb (Apply_Accessibility_Check): Skip a statically
	true condition in expanded raise statement.
---

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 0ef744b48f36..cfdfefce5f3c 100644
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -737,8 +737,7 @@ package body Exp_Ch4 is
 
             Append_To (Stmts,
               Make_Raise_Program_Error (Loc,
-                Condition => New_Occurrence_Of (Standard_True, Loc),
-                Reason    => PE_Accessibility_Check_Failed));
+                Reason => PE_Accessibility_Check_Failed));
 
             --  Step 2: Create the accessibility comparison