review changes

soot-oss · Aug 16, 2024 · 7b48914 · 7b48914
1 parent 1d2cd7c
commit 7b48914
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sootup.java.core/src/main/java/sootup/java/core/interceptors/CopyPropagator.java b/sootup.java.core/src/main/java/sootup/java/core/interceptors/CopyPropagator.java
@@ -95,7 +95,7 @@ else if (rhs instanceof Local && !rhs.equivTo(use)) {
           Local m = (Local) rhs;
           if (use != m) {
             Integer defCount = m.getDefs(stmtGraph.getStmts()).size();
-            if (defCount == null || defCount == 0) {
+            if (defCount == 0) {
               throw new RuntimeException("Variable " + m + " used without definition!");
             } else if (defCount == 1) {
               newStmt = replaceUse(stmtGraph, newStmt, use, rhs);
@@ -141,7 +141,7 @@ else if (rhs instanceof Local && !rhs.equivTo(use)) {
 
   private Stmt replaceUse(
       @Nonnull MutableStmtGraph graph, @Nonnull Stmt stmt, @Nonnull Value use, @Nonnull Value rhs) {
-    if (!use.equivTo(rhs) || rhs != use) {
+    if (rhs != use) {
       Stmt newStmt = stmt.withNewUse(use, rhs);
       if (newStmt != stmt) {
         graph.replaceNode(stmt, newStmt);