redundant true condition

yoni206 · Aug 22, 2024 · 0867592 · 0867592
1 parent 8b43f17
commit 0867592
Showing 1 changed file with 22 additions and 25 deletions.
diff --git a/src/theory/bv/theory_bv_rewriter.cpp b/src/theory/bv/theory_bv_rewriter.cpp
@@ -106,32 +106,29 @@ TrustNode TheoryBVRewriter::expandDefinition(Node node)
 Node TheoryBVRewriter::eliminateOverflows(Node node)
 {
   Node res = node;
-  if (true)
+  if (RewriteRule<UaddoEliminate>::applies(node))
   {
-    if (RewriteRule<UaddoEliminate>::applies(node))
-    {
-      res = RewriteRule<UaddoEliminate>::run<false>(node);
-    }
-    else if (RewriteRule<SaddoEliminate>::applies(node))
-    {
-      res = RewriteRule<SaddoEliminate>::run<false>(node);
-    }
-    else if (RewriteRule<UmuloEliminate>::applies(node))
-    {
-      res = RewriteRule<UmuloEliminate>::run<false>(node);
-    }
-    else if (RewriteRule<SmuloEliminate>::applies(node))
-    {
-      res = RewriteRule<SmuloEliminate>::run<false>(node);
-    }
-    else if (RewriteRule<UsuboEliminate>::applies(node))
-    {
-      res = RewriteRule<UsuboEliminate>::run<false>(node);
-    }
-    else if (RewriteRule<SsuboEliminate>::applies(node))
-    {
-      res = RewriteRule<SsuboEliminate>::run<false>(node);
-    }
+    res = RewriteRule<UaddoEliminate>::run<false>(node);
+  }
+  else if (RewriteRule<SaddoEliminate>::applies(node))
+  {
+    res = RewriteRule<SaddoEliminate>::run<false>(node);
+  }
+  else if (RewriteRule<UmuloEliminate>::applies(node))
+  {
+    res = RewriteRule<UmuloEliminate>::run<false>(node);
+  }
+  else if (RewriteRule<SmuloEliminate>::applies(node))
+  {
+    res = RewriteRule<SmuloEliminate>::run<false>(node);
+  }
+  else if (RewriteRule<UsuboEliminate>::applies(node))
+  {
+    res = RewriteRule<UsuboEliminate>::run<false>(node);
+  }
+  else if (RewriteRule<SsuboEliminate>::applies(node))
+  {
+    res = RewriteRule<SsuboEliminate>::run<false>(node);
   }
   return res;
 }