https://gcc.gnu.org/g:72ae355328fe30d61227501be4314689295a03f1
commit r15-2683-g72ae355328fe30d61227501be4314689295a03f1
Author: Piotr Trojanek <troja...@adacore.com>
Date: Fri Jul 5 17:15:49 2024 +0200
ada: Refactor negated conjuncts
Code cleanup; semantics is unaffected.
gcc/ada/
* exp_util.adb (Insert_Actions): Move negation in front of
complex conjunctions.
Diff:
---
gcc/ada/exp_util.adb | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index bd8bbb39d9c8..bde50687597d 100644
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -8146,12 +8146,13 @@ package body Exp_Util is
-- not already set can lead to gigi assertion failures that
-- are presumably due to malformed trees, so don't do that.
- and then (Nkind (P) /= N_Iterated_Component_Association
- or else not Is_List_Member (N)
- or else
- List_Containing (N) /= Discrete_Choices (P))
- and then (Nkind (P) /= N_Component_Association
- or else Present (Loop_Actions (P)))
+ and then
+ not (Nkind (P) = N_Iterated_Component_Association
+ and then Is_List_Member (N)
+ and then List_Containing (N) = Discrete_Choices (P))
+ and then
+ not (Nkind (P) = N_Component_Association
+ and then No (Loop_Actions (P)))
then
if Is_Empty_List (Loop_Actions (P)) then
Set_Loop_Actions (P, Ins_Actions);
