Skip to content

Commit

Permalink
test: reproducer for issue spotbugs#3310
Browse files Browse the repository at this point in the history
  • Loading branch information
gtoison committed Feb 10, 2025
1 parent b829ad7 commit 6812783
Show file tree
Hide file tree
Showing 2 changed files with 46 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
package edu.umd.cs.findbugs.detect;

import edu.umd.cs.findbugs.AbstractIntegrationTest;
import org.junit.jupiter.api.Test;

class Issue3310Test extends AbstractIntegrationTest {

@Test
void testIssue() {
performAnalysis("ghIssues/Issue3310.class",
"ghIssues/Issue3310$Result.class");

assertNoBugInClass("AT_STALE_THREAD_WRITE_OF_PRIMITIVE", "Issue3310");
}
}
31 changes: 31 additions & 0 deletions spotbugsTestCases/src/java/ghIssues/Issue3310.java
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
package ghIssues;

import java.lang.invoke.MethodHandle;
import java.util.Map;

public class Issue3310 {
private volatile int x;

public <K, V> Object test(Map<K, V> map, K key) {
Result result = new Result();
map.compute(key, (k, oldValue) -> {
V newValue = oldValue;
result.written = true;
return newValue;
});

if (result.written) {
return result;
} else {
return null;
}
}

public void setX(int x) {
this.x = x;
}

public static class Result {
boolean written;
}
}

0 comments on commit 6812783

Please sign in to comment.