mirror of
https://github.com/MariaDB/server.git
synced 2025-01-29 02:05:57 +01:00
20 lines
472 B
Text
20 lines
472 B
Text
#
|
|
# Bug#13510739 63775: SERVER CRASH ON HANDLER READ NEXT AFTER DELETE RECORD.
|
|
#
|
|
|
|
-- source include/have_innodb.inc
|
|
|
|
CREATE TABLE bug13510739 (c INTEGER NOT NULL, PRIMARY KEY (c)) ENGINE=INNODB;
|
|
|
|
INSERT INTO bug13510739 VALUES (1), (2), (3), (4);
|
|
|
|
DELETE FROM bug13510739 WHERE c=2;
|
|
|
|
HANDLER bug13510739 OPEN;
|
|
|
|
HANDLER bug13510739 READ `primary` = (2);
|
|
|
|
# this one crashes the server if the bug is present
|
|
HANDLER bug13510739 READ `primary` NEXT;
|
|
|
|
DROP TABLE bug13510739;
|