Edit File: innodb_bug56716.result
CREATE TABLE bug56716 (a INT PRIMARY KEY,b INT,c INT,INDEX(b)) ENGINE=InnoDB; SELECT * FROM bug56716 WHERE b<=42 ORDER BY b DESC FOR UPDATE; a b c DROP TABLE bug56716;