Merge ../checker-framework-branch-master into store-fields

dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java

@@ -380,10 +380,7 @@ protected String visualizeBlockTransferInputHelper(
 
  StringBuilder sbStore = new StringBuilder();
  if (verbose) {
- sbStore.append(
- "storesFrom = "
- + (storesFrom == null ? "null" : storesFrom.getClassAndUid())
- + separator);
+ sbStore.append((storesFromId == null ? "null" : storesFromId.getClassAndUid()) + separator);
  }
  sbStore.append(where == VisualizeWhere.BEFORE ? "Before: " : "After: ");
 

docs/CHANGELOG.md

@@ -5,6 +5,20 @@ Version 3.45.0 (July 2, 2024)
 
 **Implementation details:**
 
+Added a `Tree` argument to `AnnotatedTypes.adaptParameters()`
+
+Deprecated methods:
+ * `TreeUtils.isVarArgs()` => `isVarargsCall()`
+ * `TreeUtils.isVarArgMethodCall()` => `isVarargsCall()`
+
+**Closed issues:**
+
+
+Version 3.44.0 (June 3, 2024)
+-----------------------------
+
+**Implementation details:**
+
 Removed methods:
  * `AbstractAnalysis.readFromStore()`: use `Map.get()`