class F {
	void foo() {
		if (local.useFlag == LocalVariableBinding.UNUSED
				&& (local.declaration != null) // unused (and non secret) local
				&& ((local.declaration.bits
						& AstNode.IsLocalDeclarationReachableMASK) != 0)) { // declaration is reachable
		}
	}
}