diff --git a/check_api/pom.xml b/check_api/pom.xml index e9ba7b7e15e..3f28f8ce050 100644 --- a/check_api/pom.xml +++ b/check_api/pom.xml @@ -51,7 +51,7 @@ - org.checkerframework + io.github.eisop dataflow-errorprone ${dataflow.version} diff --git a/check_api/src/main/java/com/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java b/check_api/src/main/java/com/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java index 64604ff842f..2ed88216de7 100644 --- a/check_api/src/main/java/com/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java +++ b/check_api/src/main/java/com/google/errorprone/dataflow/nullnesspropagation/AbstractNullnessPropagationTransfer.java @@ -53,6 +53,7 @@ import org.checkerframework.errorprone.dataflow.cfg.node.DoubleLiteralNode; import org.checkerframework.errorprone.dataflow.cfg.node.EqualToNode; import org.checkerframework.errorprone.dataflow.cfg.node.ExplicitThisNode; +import org.checkerframework.errorprone.dataflow.cfg.node.ExpressionStatementNode; import org.checkerframework.errorprone.dataflow.cfg.node.FieldAccessNode; import org.checkerframework.errorprone.dataflow.cfg.node.FloatLiteralNode; import org.checkerframework.errorprone.dataflow.cfg.node.FloatingDivisionNode; @@ -1019,6 +1020,13 @@ Nullness visitClassDeclaration() { return NULLABLE; } + @Override + public final TransferResult> visitExpressionStatement( + ExpressionStatementNode node, + TransferInput> input) { + return noStoreChanges(NONNULL, input); + } + private static final class ReadableUpdates implements Updates { final Map values = new HashMap<>(); diff --git a/core/pom.xml b/core/pom.xml index c7676b6a53f..a922b690eaa 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -94,7 +94,7 @@ - org.checkerframework + io.github.eisop dataflow-errorprone ${dataflow.version} diff --git a/pom.xml b/pom.xml index 619b27e4d49..e778c089e93 100644 --- a/pom.xml +++ b/pom.xml @@ -35,7 +35,7 @@ 1.0.1 1.9 4.13.2 - 3.27.0 + 3.34.0-eisop1 4.9.0 0.19 3.0.5 diff --git a/test_helpers/pom.xml b/test_helpers/pom.xml index 6d798ac870c..702bb09c897 100644 --- a/test_helpers/pom.xml +++ b/test_helpers/pom.xml @@ -57,7 +57,7 @@ - org.checkerframework + io.github.eisop dataflow-errorprone ${dataflow.version}