diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-01-12 21:16:28 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-05 04:19:04 -0400 |
| commit | a119897355ddbc3d7a82b53d32a6a297fc2cb137 (patch) | |
| tree | 0fc4e15121a365be8ad50c10d161e927770d866c | |
| parent | 67207bd6e6c9b0bfc63bd6fd0a4e1056610c00fd (diff) | |
| download | gcc-a119897355ddbc3d7a82b53d32a6a297fc2cb137.zip gcc-a119897355ddbc3d7a82b53d32a6a297fc2cb137.tar.gz gcc-a119897355ddbc3d7a82b53d32a6a297fc2cb137.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 0ef744b..cfdfefc 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 |