investigation: repeated NewClassTree visits in Nullness checker

checker/src/main/java/org/checkerframework/checker/nullness/NullnessNoInitAnnotatedTypeFactory.java

@@ -113,6 +113,9 @@ public class NullnessNoInitAnnotatedTypeFactory
     private final ExecutableElement mapGet =
             TreeUtils.getMethod("java.util.Map", "get", 1, processingEnv);
 
+    // High-level optimization: cache entire addComputedTypeAnnotations processing flow
+    private final java.util.Set<String> fullyProcessedTrees = new java.util.HashSet<>();
+
     // List is in alphabetical order.  If you update it, also update
     // ../../../../../../../../docs/manual/nullness-checker.tex
     // and make a pull request for variables NONNULL_ANNOTATIONS and BASE_COPYABLE_ANNOTATIONS in
@@ -483,6 +486,19 @@ protected void replacePolyQualifier(AnnotatedTypeMirror lhsType, Tree context) {
         }
     }
 
+    @Override
+    protected void addComputedTypeAnnotations(Tree tree, AnnotatedTypeMirror type) {
+        if (tree != null && tree instanceof NewClassTree) {
+            String treeKey = tree.toString();
+            if (fullyProcessedTrees.contains(treeKey)) {
+                return;
+            }
+            fullyProcessedTrees.add(treeKey);
+        }
+
+        super.addComputedTypeAnnotations(tree, type);
+    }
+
     @Override
     protected NullnessNoInitAnalysis createFlowAnalysis() {
         return new NullnessNoInitAnalysis(checker, this);

docs/examples/NewObject.java

@@ -0,0 +1,5 @@
+public class NewObject {
+    void test() {
+        Object object = new Object();
+    }
+}