mirror of
https://github.com/MariaDB/server.git
synced 2025-01-31 02:51:44 +01:00
24 lines
623 B
Text
24 lines
623 B
Text
#
|
|
# Bug#13510739 63775: SERVER CRASH ON HANDLER READ NEXT AFTER DELETE RECORD.
|
|
#
|
|
|
|
if (`select plugin_auth_version < "5.6.15" from information_schema.plugins where plugin_name='innodb'`)
|
|
{
|
|
--skip Not fixed in InnoDB before 5.6.15
|
|
}
|
|
-- 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;
|