Merge branch 'master' into manu/tweak-cast-suppressions

uber · Aug 12, 2023 · 24e4582 · 24e4582
2 parents 6cc3e83 + 01ee4d7
commit 24e4582
Show file tree

Hide file tree

Showing 12 changed files with 677 additions and 33 deletions.
diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
@@ -21,16 +21,16 @@ jobs:
             epVersion: 2.4.0
           - os: macos-latest
             java: 11
-            epVersion: 2.20.0
+            epVersion: 2.21.1
           - os: ubuntu-latest
             java: 11
-            epVersion: 2.20.0
+            epVersion: 2.21.1
           - os: windows-latest
             java: 11
-            epVersion: 2.20.0
+            epVersion: 2.21.1
           - os: ubuntu-latest
             java: 17
-            epVersion: 2.20.0
+            epVersion: 2.21.1
       fail-fast: false
     runs-on: ${{ matrix.os }}
     steps:
@@ -61,7 +61,7 @@ jobs:
         with:
           arguments: coveralls
         continue-on-error: true
-        if: runner.os == 'Linux' && matrix.java == '11' && matrix.epVersion == '2.20.0' && github.repository == 'uber/NullAway'
+        if: runner.os == 'Linux' && matrix.java == '11' && matrix.epVersion == '2.21.1' && github.repository == 'uber/NullAway'
       - name: Test publishToMavenLocal flow
         env:
           ORG_GRADLE_PROJECT_epApiVersion: ${{ matrix.epVersion }}

diff --git a/build.gradle b/build.gradle
@@ -35,12 +35,12 @@ buildscript {
     }
 }
 plugins {
-  id "com.diffplug.spotless" version "6.19.0"
+  id "com.diffplug.spotless" version "6.20.0"
   id "net.ltgt.errorprone" version "3.0.1" apply false
-  id "com.github.johnrengelman.shadow" version "8.1.0" apply false
+  id "com.github.johnrengelman.shadow" version "8.1.1" apply false
   id "com.github.kt3k.coveralls" version "2.12.0" apply false
-  id "me.champeau.jmh" version "0.6.8" apply false
-  id "com.github.ben-manes.versions" version "0.42.0"
+  id "me.champeau.jmh" version "0.7.1" apply false
+  id "com.github.ben-manes.versions" version "0.47.0"
 }
 
 repositories {

diff --git a/gradle/dependencies.gradle b/gradle/dependencies.gradle
@@ -19,7 +19,7 @@ import org.gradle.util.VersionNumber
 // The oldest version of Error Prone that we support running on
 def oldestErrorProneVersion = "2.4.0"
 // Latest released Error Prone version that we've tested with
-def latestErrorProneVersion = "2.20.0"
+def latestErrorProneVersion = "2.21.1"
 // Default to using latest tested Error Prone version
 def defaultErrorProneVersion =  latestErrorProneVersion
 def errorProneVersionToCompileAgainst = defaultErrorProneVersion
@@ -48,10 +48,10 @@ def versions = [
     // The version of Error Prone that NullAway is compiled and tested against
     errorProneApi          : errorProneVersionToCompileAgainst,
     support                : "27.1.1",
-    wala                   : "1.6.1",
+    wala                   : "1.6.2",
     commonscli             : "1.4",
-    autoValue              : "1.9",
-    autoService            : "1.0.1",
+    autoValue              : "1.10.2",
+    autoService            : "1.1.1",
 ]
 
 def apt = [

diff --git a/...jar-infer-lib/src/main/java/com/uber/nullaway/jarinfer/DefinitelyDerefedParamsDriver.java b/...jar-infer-lib/src/main/java/com/uber/nullaway/jarinfer/DefinitelyDerefedParamsDriver.java
@@ -228,7 +228,7 @@ private void analyzeFile(String pkgName, String inPath, boolean includeNonPublic
     } else if (!new File(inPath).exists()) {
       return;
     }
-    AnalysisScope scope = AnalysisScopeReader.instance.makePrimordialScope(null);
+    AnalysisScope scope = AnalysisScopeReader.instance.makeBasePrimordialScope(null);
     scope.setExclusions(
         new FileOfClasses(
             new ByteArrayInputStream(DEFAULT_EXCLUSIONS.getBytes(StandardCharsets.UTF_8))));

diff --git a/nullaway/src/main/java/com/uber/nullaway/ASTHelpersBackports.java b/nullaway/src/main/java/com/uber/nullaway/ASTHelpersBackports.java
@@ -32,6 +32,7 @@ public static boolean isStatic(Symbol symbol) {
    * https://github.com/google/error-prone/blame/a1318e4b0da4347dff7508108835d77c470a7198/check_api/src/main/java/com/google/errorprone/util/ASTHelpers.java#L1148
    * TODO: delete this method and switch to ASTHelpers once we can require Error Prone 2.20.0
    */
+  @SuppressWarnings("ASTHelpersSuggestions")
   public static List<Symbol> getEnclosedElements(Symbol symbol) {
     return symbol.getEnclosedElements();
   }

diff --git a/nullaway/src/main/java/com/uber/nullaway/ErrorMessage.java b/nullaway/src/main/java/com/uber/nullaway/ErrorMessage.java
@@ -56,6 +56,8 @@ public enum MessageTypes {
     ASSIGN_GENERIC_NULLABLE,
     RETURN_NULLABLE_GENERIC,
     PASS_NULLABLE_GENERIC,
+    WRONG_OVERRIDE_RETURN_GENERIC,
+    WRONG_OVERRIDE_PARAM_GENERIC,
   }
 
   public String getMessage() {