RJerrica

Hi @ievans , thanks for your reply. However, I believe this is a false negative bug rather than a question.

Hi @ThrawnCA, this is a potential root cause, but the program also triggers the exception described in the BC_IMPOSSIBLE_DOWNCAST_OF_TOARRAY rule. Both cases should be supported.

However, based on the source code, the detector does not appear to be related to `Stream` or `Collection`. https://github.com/spotbugs/spotbugs/blob/1d1fbf04fea7991b9574893d72d6e2457790298f/spotbugs/src/main/java/edu/umd/cs/findbugs/detect/FindBadCast2.java#L492

This is another issue in AtomicityViolation detection.​​ LockBud should report an AtomicityViolation warning because `atomic::store` (line 15) depends on `atomic::load` (line 11). However, the root cause appears to be different....