BitSet dead = new BitSet();
dead.or(potentiallyDeadStores);
dead.and(potentiallyDeadStoresFromBeforeFallthrough);
if (dead.cardinality() > 0) {
int register = dead.nextSetBit(0);
priority = HIGH_PRIORITY;
deadStore = LocalVariableAnnotation.getLocalVariableAnnotation(getMethod(), register, getPC() - 1, getPC());
bugAccumulator.accumulateBug(new BugInstance(this, "SF_DEAD_STORE_DUE_TO_SWITCH_FALLTHROUGH_TO_THROW",
priority).addClassAndMethod(this).add(deadStore), this);
}