Buggy code:
public class CodeSnippetQualifiedNameReference extends QualifiedNameReference implements InvocationSite , ProblemReasons , EvaluationConstants { EvaluationContext evaluationContext ; FieldBinding delegateThis ; public CodeSnippetQualifiedNameReference ( char [ ] [ ] sources , long [ ] positions , int sourceStart , int sourceEnd , EvaluationContext evaluationContext ) { } public TypeBinding checkFieldAccess ( BlockScope scope ) { } public void generateAssignment ( BlockScope currentScope , CodeStream codeStream , Assignment assignment , boolean valueRequired ) { } public void generateCode ( BlockScope currentScope , CodeStream codeStream , boolean valueRequired ) { } public void generateCompoundAssignment ( BlockScope currentScope , CodeStream codeStream , Expression expression , int operator , int assignmentImplicitConversion , boolean valueRequired ) { } public void generatePostIncrement ( BlockScope currentScope , CodeStream codeStream , CompoundAssignment postIncrement , boolean valueRequired ) { } public FieldBinding generateReadSequence ( BlockScope currentScope , CodeStream codeStream ) { } public void generateReceiver ( CodeStream codeStream ) { } public TypeBinding getOtherFieldBindings ( BlockScope scope ) { } public TypeBinding getReceiverType ( BlockScope currentScope ) { } public void manageSyntheticAccessIfNecessary ( BlockScope currentScope , FieldBinding fieldBinding , TypeBinding lastReceiverType , int index , FlowInfo flowInfo ) { <START_BUG> if ( ! ( flowInfo . isReachable ( ) ) ) <END_BUG> return ; boolean useDelegate ; if ( index < 0 ) { useDelegate = ( fieldBinding == ( this . binding ) ) && ( ( this . delegateThis ) != null ) ; } else { useDelegate = ( index == 0 ) && ( ( this . delegateThis ) != null ) ; } if ( useDelegate ) { lastReceiverType = this . delegateThis . type ; } if ( ( ( ( ( fieldBinding . declaringClass ) != lastReceiverType ) && ( ! ( lastReceiverType . isArrayType ( ) ) ) ) && ( ( fieldBinding . declaringClass ) != null ) ) && ( ( fieldBinding . constant ( ) ) == ( Constant . NotAConstant ) ) ) { CompilerOptions options = currentScope . compilerOptions ( ) ; if ( ( ( ( ( options . targetJDK ) >= ( ClassFileConstants . JDK1_2 ) ) && ( ( ( ( ( options . complianceLevel ) >= ( ClassFileConstants . JDK1_4 ) ) || ( index < 0 ? fieldBinding != ( binding ) : index > 0 ) ) || ( ( this . indexOfFirstFieldBinding ) > 1 ) ) || ( ! ( fieldBinding . isStatic ( ) ) ) ) ) && ( ( fieldBinding . declaringClass . id ) != ( TypeIds . T_JavaLangObject ) ) ) || ( ! ( useDelegate ? new CodeSnippetScope ( currentScope ) . canBeSeenByForCodeSnippet ( fieldBinding . declaringClass , ( ( ReferenceBinding ) ( this . delegateThis . type ) ) ) : fieldBinding . declaringClass . canBeSeenBy ( currentScope ) ) ) ) { if ( index < 0 ) { if ( fieldBinding == ( this . binding ) ) { this . codegenBinding = currentScope . enclosingSourceType ( ) . getUpdatedFieldBinding ( fieldBinding , ( ( ReferenceBinding ) ( lastReceiverType . erasure ( ) ) ) ) ; } else { if ( ( this . otherCodegenBindings ) == ( this . otherBindings ) ) { int l = this . otherBindings . length ; System . arraycopy ( this . otherBindings , 0 , ( this . otherCodegenBindings = new FieldBinding [ l ] ) , 0 , l ) ; } this . otherCodegenBindings [ ( ( this . otherCodegenBindings . length ) - 1 ) ] = currentScope . enclosingSourceType ( ) . getUpdatedFieldBinding ( fieldBinding , ( ( ReferenceBinding ) ( lastReceiverType . erasure ( ) ) ) ) ; } } if ( index == 0 ) { this . codegenBinding = currentScope . enclosingSourceType ( ) . getUpdatedFieldBinding ( fieldBinding , ( ( ReferenceBinding ) ( lastReceiverType . erasure ( ) ) ) ) ; } else { if ( ( this . otherCodegenBindings ) == ( this . otherBindings ) ) { int l = this . otherBindings . length ; System . arraycopy ( this . otherBindings , 0 , ( this . otherCodegenBindings = new FieldBinding [ l ] ) , 0 , l ) ; } this . otherCodegenBindings [ ( index - 1 ) ] = currentScope . enclosingSourceType ( ) . getUpdatedFieldBinding ( fieldBinding , ( ( ReferenceBinding ) ( lastReceiverType . erasure ( ) ) ) ) ; } } } } public TypeBinding reportError ( BlockScope scope ) { } public TypeBinding resolveTypeVisibility ( BlockScope scope ) { } }

Fix:
if ( ( ( flowInfo . tagBits ) & ( FlowInfo . UNREACHABLE ) ) != 0 )