diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-07-05 17:15:49 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-08-02 09:08:10 +0200 |
| commit | 72ae355328fe30d61227501be4314689295a03f1 (patch) | |
| tree | a26fd04cd7e89fd05869c2c784b9742b6fbbcf7f | |
| parent | 4d9dfa0082ee46ce969283fafe67b2008ab661fc (diff) | |
| download | gcc-72ae355328fe30d61227501be4314689295a03f1.zip gcc-72ae355328fe30d61227501be4314689295a03f1.tar.gz gcc-72ae355328fe30d61227501be4314689295a03f1.tar.bz2 | |
ada: Refactor negated conjuncts
Code cleanup; semantics is unaffected.
gcc/ada/
* exp_util.adb (Insert_Actions): Move negation in front of
complex conjunctions.
| -rw-r--r-- | gcc/ada/exp_util.adb | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index bd8bbb3..bde5068 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); |