Buggy code:
public class MessageSend extends Expression implements InvocationSite { public Expression receiver ; public char [ ] selector ; public Expression [ ] arguments ; public MethodBinding binding ; protected MethodBinding codegenBinding ; MethodBinding syntheticAccessor ; public TypeBinding expectedType ; public long nameSourcePosition ; public TypeBinding actualReceiverType ; public TypeBinding valueCast ; public TypeReference [ ] typeArguments ; public TypeBinding [ ] genericTypeArguments ; public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } public void computeConversion ( Scope scope , TypeBinding runtimeTimeType , TypeBinding compileTimeType ) { } public void generateCode ( BlockScope currentScope , CodeStream codeStream , boolean valueRequired ) { } public TypeBinding [ ] genericTypeArguments ( ) { } public boolean isSuperAccess ( ) { } public boolean isTypeAccess ( ) { } public void manageSyntheticAccessIfNecessary ( BlockScope currentScope , FlowInfo flowInfo ) { if ( ! ( flowInfo . isReachable ( ) ) ) return ; this . codegenBinding = this . binding . original ( ) ; if ( this . binding . isPrivate ( ) ) { if ( ( currentScope . enclosingSourceType ( ) ) != ( this . codegenBinding . declaringClass ) ) { syntheticAccessor = ( ( SourceTypeBinding ) ( this . codegenBinding . declaringClass ) ) . addSyntheticMethod ( this . codegenBinding , isSuperAccess ( ) ) ; currentScope . problemReporter ( ) . needToEmulateMethodAccess ( this . codegenBinding , this ) ; return ; } } else if ( ( receiver ) instanceof QualifiedSuperReference ) { SourceTypeBinding destinationType = ( ( SourceTypeBinding ) ( ( ( QualifiedSuperReference ) ( receiver ) ) . currentCompatibleType ) ) ; syntheticAccessor = destinationType . addSyntheticMethod ( this . codegenBinding , isSuperAccess ( ) ) ; currentScope . problemReporter ( ) . needToEmulateMethodAccess ( this . codegenBinding , this ) ; return ; } else if ( binding . isProtected ( ) ) { SourceTypeBinding enclosingSourceType ; if ( ( ( ( bits ) & ( ASTNode . DepthMASK ) ) != 0 ) && ( ( this . codegenBinding . declaringClass . getPackage ( ) ) != ( ( enclosingSourceType = currentScope . enclosingSourceType ( ) ) . getPackage ( ) ) ) ) { SourceTypeBinding currentCompatibleType = ( ( SourceTypeBinding ) ( enclosingSourceType . enclosingTypeAt ( ( ( ( bits ) & ( ASTNode . DepthMASK ) ) > > ( ASTNode . DepthSHIFT ) ) ) ) ) ; syntheticAccessor = currentCompatibleType . addSyntheticMethod ( this . codegenBinding , isSuperAccess ( ) ) ; currentScope . problemReporter ( ) . needToEmulateMethodAccess ( this . codegenBinding , this ) ; return ; } } if ( ( ( this . binding . declaringClass ) != ( this . actualReceiverType ) ) && ( ! ( this . actualReceiverType . isArrayType ( ) ) ) ) { CompilerOptions options = currentScope . compilerOptions ( ) ; <START_BUG> if ( ( ( ( ( options . targetJDK ) >= ( ClassFileConstants . JDK1_2 ) ) && ( ( ( ( options . complianceLevel ) >= ( ClassFileConstants . JDK1_4 ) ) || ( ! ( receiver . isImplicitThis ( ) ) ) ) || ( ! ( this . codegenBinding . isStatic ( ) ) ) ) ) && ( ( this . binding . declaringClass . id ) != ( TypeIds . T_JavaLangObject ) ) ) || ( ! ( this . binding . declaringClass . canBeSeenBy ( currentScope ) ) ) ) { <END_BUG> this . codegenBinding = currentScope . enclosingSourceType ( ) . getUpdatedMethodBinding ( this . codegenBinding , ( ( ReferenceBinding ) ( this . actualReceiverType . erasure ( ) ) ) ) ; } } } public int nullStatus ( FlowInfo flowInfo ) { } public StringBuffer printExpression ( int indent , StringBuffer output ) { } public TypeBinding resolveType ( BlockScope scope ) { } public void setActualReceiverType ( ReferenceBinding receiverType ) { } public void setExpectedType ( TypeBinding expectedType ) { } public void setDepth ( int depth ) { } public void setFieldIndex ( int depth ) { } public void traverse ( ASTVisitor visitor , BlockScope blockScope ) { } }

Fix:
if ( ( ( ( ( options . targetJDK ) >= ( ClassFileConstants . JDK1_2 ) ) && ( ( ( options . complianceLevel ) >= ( ClassFileConstants . JDK1_4 ) ) || ( ! ( ( receiver . isImplicitThis ( ) ) && ( this . codegenBinding . isStatic ( ) ) ) ) ) ) && ( ( this . binding . declaringClass . id ) != ( TypeIds . T_JavaLangObject ) ) ) || ( ! ( this . binding . declaringClass . canBeSeenBy ( currentScope ) ) ) ) {