bk commit into 5.0 tree (ramil:1.2277) BUG#22026

[ramil]

Below is the list of changes that have just been committed into a local
5.0 repository of ram. When ram does a push these changes will
be propagated to the main repository and, within 24 hours after the
push, to the public repository.
For information on how to access the public repository
see http://dev.mysql.com/doc/mysql/en/installing-source-tree.html

ChangeSet@stripped, 2006-11-27 11:17:55+04:00, ramil@stripped +3 -0
  Fix for bug #22026: Warning when using IF statement and large unsigned bigint
  
  We use INT_RESULT type if all arguments are of type INT for 'if', 'case', 
  'coalesce' functions regardless of arguments' unsigned flag, so sometimes we can
  exceed the INT bounds.
  
  Fix: use INT_RESULT only if all arguments have equal unsigned_flag, otherwise 
  use DECIMAL_RESULT.

  mysql-test/r/select.result@stripped, 2006-11-27 11:17:51+04:00, ramil@stripped +29 -0
    Fix for bug #22026: Warning when using IF statement and large unsigned bigint
      - test result.

  mysql-test/t/select.test@stripped, 2006-11-27 11:17:52+04:00, ramil@stripped +23 -0
    Fix for bug #22026: Warning when using IF statement and large unsigned bigint
      - test case.

  sql/item_cmpfunc.cc@stripped, 2006-11-27 11:17:52+04:00, ramil@stripped +9 -3
    Fix for bug #22026: Warning when using IF statement and large unsigned bigint
      - take into account unsigned flags aggregating result types:                    
        return INT_RESULT only if two items with INT_RESULT type                      
        have equal unsigned_flags, otherwise return REAL_RESULT.                      

# This is a BitKeeper patch.  What follows are the unified diffs for the
# set of deltas contained in the patch.  The rest of the patch, the part
# that BitKeeper cares about, is below these diffs.
# User:	ramil
# Host:	myoffice.izhnet.ru
# Root:	/usr/home/ram/work/bug22026/my50-bug22026

--- 1.222/sql/item_cmpfunc.cc	2006-11-27 11:18:03 +04:00
+++ 1.223/sql/item_cmpfunc.cc	2006-11-27 11:18:03 +04:00
@@ -27,13 +27,17 @@
 
 static bool convert_constant_item(THD *thd, Field *field, Item **item);
 
-static Item_result item_store_type(Item_result a,Item_result b)
+static Item_result item_store_type(Item_result a, Item *item,
+                                   my_bool unsigned_flag)
 {
+  Item_result b= item->result_type();
+
   if (a == STRING_RESULT || b == STRING_RESULT)
     return STRING_RESULT;
   else if (a == REAL_RESULT || b == REAL_RESULT)
     return REAL_RESULT;
-  else if (a == DECIMAL_RESULT || b == DECIMAL_RESULT)
+  else if (a == DECIMAL_RESULT || b == DECIMAL_RESULT ||
+           unsigned_flag != item->unsigned_flag)
     return DECIMAL_RESULT;
   else
     return INT_RESULT;
@@ -42,6 +46,7 @@ static Item_result item_store_type(Item_
 static void agg_result_type(Item_result *type, Item **items, uint nitems)
 {
   Item **item, **item_end;
+  my_bool unsigned_flag= 0;
 
   *type= STRING_RESULT;
   /* Skip beginning NULL items */
@@ -50,6 +55,7 @@ static void agg_result_type(Item_result 
     if ((*item)->type() != Item::NULL_ITEM)
     {
       *type= (*item)->result_type();
+      unsigned_flag= (*item)->unsigned_flag;
       item++;
       break;
     }
@@ -58,7 +64,7 @@ static void agg_result_type(Item_result 
   for (; item < item_end; item++)
   {
     if ((*item)->type() != Item::NULL_ITEM)
-      *type= item_store_type(type[0], (*item)->result_type());
+      *type= item_store_type(*type, *item, unsigned_flag);
   }
 }
 

--- 1.139/mysql-test/r/select.result	2006-11-27 11:18:03 +04:00
+++ 1.140/mysql-test/r/select.result	2006-11-27 11:18:03 +04:00
@@ -3517,3 +3517,32 @@ id	a	b	c	d	e
 2	NULL	NULL	NULL	2	40
 2	NULL	NULL	NULL	2	50
 DROP TABLE t1,t2,t3;
+create table t1 (a bigint unsigned);
+insert into t1 values
+(if(1, 9223372036854775808, 1)),
+(case when 1 then 9223372036854775808 else 1 end),
+(coalesce(9223372036854775808, 1));
+select * from t1;
+a
+9223372036854775808
+9223372036854775808
+9223372036854775808
+drop table t1;
+create table t1 select
+if(1, 9223372036854775808, 1) i,
+case when 1 then 9223372036854775808 else 1 end c,
+coalesce(9223372036854775808, 1) co;
+show create table t1;
+Table	Create Table
+t1	CREATE TABLE `t1` (
+  `i` decimal(19,0) NOT NULL default '0',
+  `c` decimal(19,0) NOT NULL default '0',
+  `co` decimal(19,0) NOT NULL default '0'
+) ENGINE=MyISAM DEFAULT CHARSET=latin1
+drop table t1;
+select 
+if(1, cast(1111111111111111111 as unsigned), 1) i,
+case when 1 then cast(1111111111111111111 as unsigned) else 1 end c,
+coalesce(cast(1111111111111111111 as unsigned), 1) co;
+i	c	co
+1111111111111111111	1111111111111111111	1111111111111111111

--- 1.112/mysql-test/t/select.test	2006-11-27 11:18:03 +04:00
+++ 1.113/mysql-test/t/select.test	2006-11-27 11:18:03 +04:00
@@ -2998,3 +2998,26 @@ SELECT * FROM t1 LEFT JOIN t2 ON t2.b=t1
 
 
 DROP TABLE t1,t2,t3;
+
+#
+# Bug #22026: Warning when using IF statement and large unsigned bigint
+#
+
+create table t1 (a bigint unsigned);
+insert into t1 values
+  (if(1, 9223372036854775808, 1)),
+  (case when 1 then 9223372036854775808 else 1 end),
+  (coalesce(9223372036854775808, 1));
+select * from t1;
+drop table t1;
+create table t1 select
+  if(1, 9223372036854775808, 1) i,
+  case when 1 then 9223372036854775808 else 1 end c,
+  coalesce(9223372036854775808, 1) co;
+show create table t1;
+drop table t1;
+# Ensure we handle big values properly
+select 
+  if(1, cast(1111111111111111111 as unsigned), 1) i,
+  case when 1 then cast(1111111111111111111 as unsigned) else 1 end c,
+  coalesce(cast(1111111111111111111 as unsigned), 1) co;