From 508e937164ce7388ba76263d97842c7b14c7fd7a Mon Sep 17 00:00:00 2001
From: Geza Lore <gezalore@gmail.com>
Date: Tue, 22 Nov 2022 13:48:49 +0000
Subject: [PATCH] Fix tautological predicate in V3DfgPeephole

Fixes #3771
---
 src/V3DfgPeephole.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/V3DfgPeephole.cpp b/src/V3DfgPeephole.cpp
index c17f3776c..ee4374230 100644
--- a/src/V3DfgPeephole.cpp
+++ b/src/V3DfgPeephole.cpp
@@ -1509,8 +1509,7 @@ class V3DfgPeephole final : public DfgVisitor {
         if (DfgNot* const thenNotp = thenp->cast<DfgNot>()) {
             if (DfgNot* const elseNotp = elsep->cast<DfgNot>()) {
                 if (!thenNotp->srcp()->is<DfgConst>() && !elseNotp->srcp()->is<DfgConst>()
-                    && (!thenp->hasMultipleSinks() || thenNotp->hasMultipleSinks())
-                    && (!elsep->hasMultipleSinks() || elsep->hasMultipleSinks())) {
+                    && !thenNotp->hasMultipleSinks() && !elseNotp->hasMultipleSinks()) {
                     APPLYING(PULL_NOTS_THROUGH_COND) {
                         DfgNot* const replacementp
                             = make<DfgNot>(thenp->fileline(), vtxp->dtypep());