Logic bug: Reverse scan + ICP returns empty result

SET SESSION optimizer_switch='index_condition_pushdown=on,derived_merge=off';

DROP DATABASE IF EXISTS db;

CREATE DATABASE db;

USE db;

CREATE TABLE t (

  id INT NOT NULL,

  p INT NOT NULL,

  o INT NOT NULL,

  v INT NOT NULL,

  KEY k_o_v(o,v)

) ENGINE=MyISAM

PARTITION BY HASH(p) PARTITIONS 2;

INSERT INTO t VALUES

  (1,0,10,0),

  (2,0,9,1),

  (3,0,8,0),

  (4,0,7,1),

  (5,1,10,1),

  (6,1,9,0),

  (7,1,8,1),

  (8,1,7,0);

SELECT 'ASC_CONTROL_QUERY';

SELECT id,p,o,v

FROM t

WHERE o >= 7 AND v = 1

ORDER BY o ASC, v ASC;

SELECT 'BUGGY_BASE_QUERY';

EXPLAIN SELECT id,p,o,v

FROM t

WHERE o >= 7 AND v = 1

ORDER BY o DESC, v DESC;

SELECT id,p,o,v

FROM t

WHERE o >= 7 AND v = 1

ORDER BY o DESC, v DESC;

SELECT 'SOURCE_QUERY';

SELECT id,p,o,v,ROW_NUMBER() OVER (ORDER BY o DESC, v DESC) AS rn

FROM (

  SELECT id,p,o,v

  FROM t

  WHERE o >= 7 AND v = 1

  ORDER BY o DESC, v DESC

  LIMIT 18446744073709551615

) AS s

ORDER BY o DESC, v DESC;

SELECT 'REFERENCE_QUERY';

SELECT s1.id,s1.p,s1.o,s1.v,

       1 + (

         SELECT COUNT(*)

         FROM t AS s2 IGNORE INDEX (k_o_v)

         WHERE s2.o >= 7

           AND s2.v = 1

           AND (s2.o > s1.o OR (s2.o = s1.o AND s2.v > s1.v))

       ) AS rn

FROM t AS s1 IGNORE INDEX (k_o_v)

WHERE s1.o >= 7

  AND s1.v = 1

ORDER BY s1.o DESC, s1.v DESC;

DROP DATABASE db;