DC_DOUBLECHECK is not a bug.
Double checked locking is still a bug. In all versions of Java. You can declare the...
BC_IMPOSSIBLE_CAST false positive
SF_SWITCH_NO_DEFAULT false positive
We can't correctly exclude this case, because there aren't any break statements in...