Revert "Handle BITWISE_COMPLEMENT operator (#696)"

This reverts commit ce63224.
uber · Jul 18, 2023 · 98a5ab0 · 98a5ab0
1 parent 06ec95d
commit 98a5ab0
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 7 deletions.
diff --git a/nullaway/src/main/java/com/uber/nullaway/NullAway.java b/nullaway/src/main/java/com/uber/nullaway/NullAway.java
@@ -2208,7 +2208,6 @@ private boolean mayBeNullExpr(VisitorState state, ExpressionTree expr) {
       case REMAINDER:
       case CONDITIONAL_AND:
       case CONDITIONAL_OR:
-      case BITWISE_COMPLEMENT:
       case LOGICAL_COMPLEMENT:
       case INSTANCE_OF:
       case PREFIX_INCREMENT:

diff --git a/nullaway/src/test/resources/com/uber/nullaway/testdata/NullAwayNegativeCases.java b/nullaway/src/test/resources/com/uber/nullaway/testdata/NullAwayNegativeCases.java
@@ -479,8 +479,6 @@ static Number moreBoxing() {
       return b | a;
     } else if (b == 4) {
       return b ^ a;
-    } else if (b == 5) {
-      return ~a;
     } else {
       return 10;
     }
@@ -916,7 +914,6 @@ static String testNoCrashOnUnboxedShifts(int n) {
     s += boxAndDeref(n >>= 1);
     s += boxAndDeref(m >>>= 4);
     s += boxAndDeref(n >>> 3);
-    s += boxAndDeref(~n);
     return s;
   }
 

diff --git a/nullaway/src/test/resources/com/uber/nullaway/testdata/NullAwayPositiveCases.java b/nullaway/src/test/resources/com/uber/nullaway/testdata/NullAwayPositiveCases.java
@@ -333,9 +333,6 @@ static void unboxingTests() {
     Boolean z = null;
     // BUG: Diagnostic contains: unboxing
     int d = z ? 3 : 4;
-    Integer w = null;
-    // BUG: Diagnostic contains: unboxing
-    int e = ~w;
   }
 
   static void unboxingTests2() {