Bug #22655856: COLUMN NAME IN HAVING, WHICH IS CONTAINED

               IN SELECT LIST '*', PRODUCES ERROR


ISSUE:
------
The query EXISTS(SELECT *...) is transformed to
EXISTS(SELECT 1 ...) before all the columns in the inner
subquery have been resolved.

Since mysql allows HAVING without GROUP BY, the columns
in the HAVING clause will need to resolve to the SELECT
list. Replacing * with 1 effectively eliminates this
possibility.

SOLUTION:
---------
The transformation of EXISTS(SELECT *...) to
EXISTS(SELECT 1 ...) will not applied if there is a HAVING
clause in the inner subquery.

Author: Sreeharsha Ramanavarapu

mysql-test/r/having.result

@@ -866,3 +866,23 @@ GROUP BY pk
 );
 ERROR 21000: Subquery returns more than 1 row
 DROP TABLE t1, t2;
+#
+# Bug #22655856: COLUMN NAME IN HAVING, WHICH IS CONTAINED IN SELECT
+#                LIST '*', PRODUCES ERROR
+#
+CREATE TABLE t1(c1 INT) ENGINE=INNODB;
+CREATE TABLE t2(c2 INT) ENGINE=INNODB;
+EXPLAIN SELECT c1 FROM t1 WHERE EXISTS(SELECT * FROM t2 HAVING c2>0);
+id	select_type	table	partitions	type	possible_keys	key	key_len	ref	rows	filtered	Extra
+1	PRIMARY	NULL	NULL	NULL	NULL	NULL	NULL	NULL	NULL	NULL	Impossible WHERE
+2	SUBQUERY	t2	NULL	ALL	NULL	NULL	NULL	NULL	1	100.00	NULL
+Warnings:
+Note	1003	/* select#1 */ select `test`.`t1`.`c1` AS `c1` from `test`.`t1` where 0
+SELECT c1 FROM t1 WHERE EXISTS(SELECT * FROM t2 HAVING c2>0);
+c1
+INSERT INTO t1 VALUES(1);
+INSERT INTO t2 VALUES(2);
+SELECT c1 FROM t1 WHERE EXISTS(SELECT * FROM t2 HAVING c2>0);
+c1
+1
+DROP TABLE t1, t2;

mysql-test/t/having.test

@@ -882,3 +882,21 @@ HAVING (2, 7) NOT IN
  );
 
 DROP TABLE t1, t2;
+
+--echo #
+--echo # Bug #22655856: COLUMN NAME IN HAVING, WHICH IS CONTAINED IN SELECT
+--echo #                LIST '*', PRODUCES ERROR
+--echo #
+
+CREATE TABLE t1(c1 INT) ENGINE=INNODB;
+CREATE TABLE t2(c2 INT) ENGINE=INNODB;
+
+EXPLAIN SELECT c1 FROM t1 WHERE EXISTS(SELECT * FROM t2 HAVING c2>0);
+SELECT c1 FROM t1 WHERE EXISTS(SELECT * FROM t2 HAVING c2>0);
+
+INSERT INTO t1 VALUES(1);
+INSERT INTO t2 VALUES(2);
+
+SELECT c1 FROM t1 WHERE EXISTS(SELECT * FROM t2 HAVING c2>0);
+
+DROP TABLE t1, t2;

sql/sql_resolver.cc

@@ -1,4 +1,4 @@
-/* Copyright (c) 2000, 2015, Oracle and/or its affiliates. All rights reserved.
+/* Copyright (c) 2000, 2016, Oracle and/or its affiliates. All rights reserved.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -1102,7 +1102,15 @@ bool SELECT_LEX::setup_wild(THD *thd)
       const uint elem= fields_list.elements;
       const bool any_privileges= item_field->any_privileges;
       Item_subselect *subsel= master_unit()->item;
-      if (subsel && subsel->substype() == Item_subselect::EXISTS_SUBS)
+
+      /*
+        In case of EXISTS(SELECT * ... HAVING ...), don't use this
+        transformation. The columns in HAVING will need to resolve to the
+        select list. Replacing * with 1 effectively eliminates this
+        possibility.
+      */
+      if (subsel && subsel->substype() == Item_subselect::EXISTS_SUBS &&
+          !having_cond())
       {
         /*
           It is EXISTS(SELECT * ...) and we can replace * by any constant.