Buggy code:
public class ForStatement extends Statement { public Statement [ ] initializations ; public Expression condition ; public Statement [ ] increments ; public Statement action ; public boolean neededScope ; public BlockScope scope ; private Label breakLabel ; private Label continueLabel ; int preCondInitStateIndex = - 1 ; int condIfTrueInitStateIndex = - 1 ; int mergedInitStateIndex = - 1 ; public ForStatement ( Statement [ ] initializations , Expression condition , Statement [ ] increments , Statement action , boolean neededScope , int s , int e ) { } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { breakLabel = new Label ( ) ; continueLabel = new Label ( ) ; if ( ( initializations ) != null ) { for ( int i = 0 , count = initializations . length ; i < count ; i ++ ) { flowInfo = initializations [ i ] . analyseCode ( scope , flowContext , flowInfo ) ; } } preCondInitStateIndex = currentScope . methodScope ( ) . recordInitializationStates ( flowInfo ) ; Constant cst = ( ( this . condition ) == null ) ? null : this . condition . constant ; boolean isConditionTrue = ( cst == null ) || ( ( cst != ( NotAConstant ) ) && ( ( cst . booleanValue ( ) ) == true ) ) ; boolean isConditionFalse = ( cst != null ) && ( ( cst != ( NotAConstant ) ) && ( ( cst . booleanValue ( ) ) == false ) ) ; cst = ( ( this . condition ) == null ) ? null : this . condition . optimizedBooleanConstant ( ) ; boolean isConditionOptimizedTrue = ( cst == null ) || ( ( cst != ( NotAConstant ) ) && ( ( cst . booleanValue ( ) ) == true ) ) ; boolean isConditionOptimizedFalse = ( cst != null ) && ( ( cst != ( NotAConstant ) ) && ( ( cst . booleanValue ( ) ) == false ) ) ; LoopingFlowContext condLoopContext = null ; FlowInfo condInfo = flowInfo . copy ( ) . unconditionalInits ( ) . discardNullRelatedInitializations ( ) ; if ( ( condition ) != null ) { if ( ! isConditionTrue ) { condInfo = condition . analyseCode ( scope , ( condLoopContext = new LoopingFlowContext ( flowContext , this , null , null , scope ) ) , condInfo ) ; } } LoopingFlowContext loopingContext ; FlowInfo actionInfo ; <START_BUG> if ( ( ( action ) == null ) || ( ( action . isEmptyBlock ( ) ) && ( ( currentScope . environment ( ) . options . complianceLevel ) <= ( ClassFileConstants . JDK1_3 ) ) ) ) { <END_BUG> if ( condLoopContext != null ) condLoopContext . complainOnDeferredChecks ( scope , condInfo ) ; if ( isConditionTrue ) { return FlowInfo . DEAD_END ; } else { if ( isConditionFalse ) { continueLabel = null ; } actionInfo = condInfo . initsWhenTrue ( ) . copy ( ) . unconditionalInits ( ) . discardNullRelatedInitializations ( ) ; loopingContext = new LoopingFlowContext ( flowContext , this , breakLabel , continueLabel , scope ) ; } } else { loopingContext = new LoopingFlowContext ( flowContext , this , breakLabel , continueLabel , scope ) ; FlowInfo initsWhenTrue = condInfo . initsWhenTrue ( ) ; condIfTrueInitStateIndex = currentScope . methodScope ( ) . recordInitializationStates ( initsWhenTrue ) ; if ( isConditionFalse ) { actionInfo = FlowInfo . DEAD_END ; } else { actionInfo = initsWhenTrue . copy ( ) . unconditionalInits ( ) . discardNullRelatedInitializations ( ) ; if ( isConditionOptimizedFalse ) { actionInfo . setReachMode ( FlowInfo . UNREACHABLE ) ; } } if ( ! ( this . action . complainIfUnreachable ( actionInfo , scope , false ) ) ) { actionInfo = action . analyseCode ( scope , loopingContext , actionInfo ) ; } if ( ( ! ( actionInfo . isReachable ( ) ) ) && ( ! ( loopingContext . initsOnContinue . isReachable ( ) ) ) ) { continueLabel = null ; } else { if ( condLoopContext != null ) condLoopContext . complainOnDeferredChecks ( scope , condInfo ) ; actionInfo = actionInfo . mergedWith ( loopingContext . initsOnContinue . unconditionalInits ( ) ) ; loopingContext . complainOnDeferredChecks ( scope , actionInfo ) ; } } FlowInfo exitBranch = condInfo . initsWhenFalse ( ) ; exitBranch . addInitializationsFrom ( flowInfo ) ; if ( ( continueLabel ) != null ) { if ( ( increments ) != null ) { LoopingFlowContext loopContext = new LoopingFlowContext ( flowContext , this , null , null , scope ) ; for ( int i = 0 , count = increments . length ; i < count ; i ++ ) { actionInfo = increments [ i ] . analyseCode ( scope , loopContext , actionInfo ) ; } loopContext . complainOnDeferredChecks ( scope , actionInfo ) ; } exitBranch . addPotentialInitializationsFrom ( actionInfo . unconditionalInits ( ) ) ; } FlowInfo mergedInfo = FlowInfo . mergedOptimizedBranches ( loopingContext . initsOnBreak , isConditionOptimizedTrue , exitBranch , isConditionOptimizedFalse , ( ! isConditionTrue ) ) ; mergedInitStateIndex = currentScope . methodScope ( ) . recordInitializationStates ( mergedInfo ) ; return mergedInfo ; } public void generateCode ( BlockScope currentScope , CodeStream codeStream ) { } public StringBuffer printStatement ( int tab , StringBuffer output ) { } public void resolve ( BlockScope upperScope ) { } public void traverse ( ASTVisitor visitor , BlockScope blockScope ) { } }

Fix:
if ( ( ( action ) == null ) || ( ( action . isEmptyBlock ( ) ) && ( ( currentScope . compilerOptions ( ) . complianceLevel ) <= ( ClassFileConstants . JDK1_3 ) ) ) ) {