diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-10 14:21:17 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:29 +0000 |
| commit | 8e13160b101177b4d0783934d39aab2e2c7b50d9 (patch) | |
| tree | b17160a60b507d7576d67b4ff34efe9793885a4f /gcc/ada/exp_ch5.adb | |
| parent | 6b4c99cc92242903c81a7168d467269197955269 (diff) | |
| download | gcc-8e13160b101177b4d0783934d39aab2e2c7b50d9.zip gcc-8e13160b101177b4d0783934d39aab2e2c7b50d9.tar.gz gcc-8e13160b101177b4d0783934d39aab2e2c7b50d9.tar.bz2 | |
[Ada] Remove doubly-negated tests for empty lists
Replace "not Is_Non_Empty_List (...)" with "Is_Empty_List (...)".
Code cleanup; semantics is unaffected.
gcc/ada/
* exp_ch5.adb (Update_Choice_Index): Simplify condition.
* sem_ch8.adb (Attribute_Renaming): Likewise.
Diffstat (limited to 'gcc/ada/exp_ch5.adb')
| -rw-r--r-- | gcc/ada/exp_ch5.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index b38e3f5..b78c127 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -3563,8 +3563,7 @@ package body Exp_Ch5 is -- is ok here. -- pragma Assert - (not Is_Non_Empty_List - (Component_Associations (Pattern))); + (Is_Empty_List (Component_Associations (Pattern))); declare Agg_Length : constant Node_Id := |