[MDEV-8749] Wrong result for SELECT..WHERE derived_table_enum_column='number' AND derived_table_enum_column OP number2 Created: 2015-09-04  Updated: 2015-09-12  Resolved: 2015-09-06

Status: Closed
Project: MariaDB Server
Component/s: Optimizer
Affects Version/s: 10.0, 10.1
Fix Version/s: 10.1.7

Type: Bug Priority: Major
Reporter: Alexander Barkov Assignee: Alexander Barkov
Resolution: Fixed Votes: 0
Labels: propagation, upstream-not-affected

Issue Links:
Blocks
blocks MDEV-8728 Fix a number of problems in equal fie... Closed
Relates
relates to MDEV-8747 Wrong result for SELECT..WHERE derive... Closed

 Description   

This was originally reported in MDEV-8747, but then moved into a separate bug report.

DROP TABLE IF EXISTS t1;
 
CREATE TABLE t1 (a ENUM('5','6')) ENGINE=MyISAM;
 
INSERT INTO t1 VALUES ('5'),('6');
 
SELECT * FROM (SELECT * FROM t1) AS table1 WHERE a='5';
 
SELECT * FROM (SELECT * FROM t1) AS table1 WHERE a=1;
 
SELECT * FROM (SELECT * FROM t1) AS table1 WHERE a='5' AND a=1;

The first and the second query correctly return one row, equal to '5'. The third query erroneously returns empty set.

The same problem is also demonstrated in this script:

DROP TABLE IF EXISTS t1;
 
DROP VIEW IF EXISTS v1;
 
CREATE TABLE t1 (a varchar(10) character set cp1251 collate cp1251_ukrainian_ci, KEY (a)) ;
 
INSERT INTO t1 VALUES ('DD'), ('ZZ'), ('ZZ'), ('KK'), ('FF'), ('HH'),('MM'),('`1');
 
CREATE VIEW v1 AS SELECT * FROM t1;
 
SELECT * FROM t1 WHERE a <> 0 AND a = ' 1';
 
SELECT * FROM v1 WHERE a <> 0 AND a = ' 1';

The first SELECT returns empty set, the second SELECT returns one row.

The same problem is repeatable in this script:

DROP TABLE IF EXISTS t1;
 
CREATE TABLE t1 (a ENUM('5','6'));
 
INSERT INTO t1 VALUES ('5'),('6');
 
DROP VIEW IF EXISTS v1;
 
CREATE VIEW v1 AS SELECT * FROM t1;
 
SELECT * FROM t1 WHERE a='5' AND a<2;
 
SELECT * FROM v1 WHERE a='5' AND a<2;

The first SELECT correctly return one row, the second SELECT erroneously returns no rows.

As in MDEV-8747, the problem happens because Item_direct_view_ref does not set real_item()->cmp_context properly. But unlike MDEV-8747 it also additionally needs fixes in Item_field::replace_equal_field, that also relies on cmp_context being set properly.
Generated at Thu Feb 08 07:29:29 UTC 2024 using Jira 8.20.16#820016-sha1:9d11dbea5f4be3d4cc21f03a88dd11d8c8687422.