Add a check for the operand in the binary tree

uber · Sep 24, 2024 · 717d7ca · 717d7ca
1 parent 3948bf0
commit 717d7ca
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.../main/java/com/uber/nullaway/handlers/contract/fieldcontract/EnsuresNonNullIfHandler.java b/.../main/java/com/uber/nullaway/handlers/contract/fieldcontract/EnsuresNonNullIfHandler.java
@@ -175,6 +175,11 @@ public Boolean visitReturn(ReturnTree node, Set<String> fieldNames) {
         return false;
       }
 
+      // comparison has to be !=
+      if (binaryTree.getKind() != Tree.Kind.NOT_EQUAL_TO) {
+        return false;
+      }
+
       return true;
     }
   }