if (potentiallyDeadStores.get(register) && potentiallyDeadStoresFromBeforeFallthrough.get(register)){
if (potentiallyDeadStores.get(register) && (true || potentiallyDeadStoresFromBeforeFallthrough.get(register))){
         public void sawOpcode(int seen) {		if (reachable && switchHdlr.isOnSwitchOffset(this)) {			fallthroughDistance = 0;			potentiallyDeadStoresFromBeforeFallthrough = (BitSet) potentiallyDeadStores.clone();			if (!hasFallThruComment(lastPC + 1, getPC() - 1)) {				SourceLineAnnotation sourceLineAnnotation =					SourceLineAnnotation.fromVisitedInstructionRange(getClassContext(), this, lastPC, getPC());				if (sourceLineAnnotation != null) {					found.add(sourceLineAnnotation);				}			}					}				if (isBranch(seen) || isSwitch(seen)				|| seen == GOTO || seen == ARETURN || seen == IRETURN || seen == RETURN || seen == LRETURN				|| seen == DRETURN || seen == FRETURN) potentiallyDeadStores.clear();								if (isRegisterLoad())			potentiallyDeadStores.clear(getRegisterOperand());		else if (isRegisterStore()) {			int register = getRegisterOperand();			if (potentiallyDeadStores.get(register) && potentiallyDeadStoresFromBeforeFallthrough.get(register)){				// killed store				priority = HIGH_PRIORITY;				deadStore =  LocalVariableAnnotation.getLocalVariableAnnotation(getMethod(), register, getPC()-1, getPC());			}			potentiallyDeadStores.set(register);		}					switch (seen) {			case TABLESWITCH:			case LOOKUPSWITCH:				reachable = false;				switchHdlr.enterSwitch(this);				break;					case ATHROW:			case RETURN:			case ARETURN:			case IRETURN:			case LRETURN:			case DRETURN:			case FRETURN:			case GOTO_W:			case GOTO:				reachable = false;				break;							case INVOKESTATIC:				reachable = !("exit".equals(getNameConstantOperand()) && "java/lang/System".equals(getClassConstantOperand()));				break;						default:				reachable = true;		}				lastPC = getPC();		fallthroughDistance++;	}