Avoid ConcurrentModificationException (#5828)

typetools · May 2, 2023 · afdd30a · afdd30a
1 parent a868d08
commit afdd30a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java b/...checkerframework/common/wholeprograminference/WholeProgramInferenceJavaParserStorage.java
@@ -226,7 +226,8 @@ private void setClassesModified(@Nullable Collection<@BinaryName String> classNa
    * across the class hierarchy by {@link #wpiPrepareCompilationUnitForWriting}.
    */
   public void setSupertypesAndSubtypesModified() {
-    for (String path : modifiedFiles) {
+    // Copy into a list to avoid a ConcurrentModificationException.
+    for (String path : new ArrayList<>(modifiedFiles)) {
       CompilationUnitAnnos cuAnnos = sourceToAnnos.get(path);
       for (ClassOrInterfaceAnnos classAnnos : cuAnnos.types) {
         String className = classAnnos.className;