item_func.cc 163 KB
Newer Older
Marc Alff's avatar
Marc Alff committed
1
/* Copyright 2000-2008 MySQL AB, 2008-2009 Sun Microsystems, Inc.
unknown's avatar
unknown committed
2 3 4

   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
unknown's avatar
unknown committed
5
   the Free Software Foundation; version 2 of the License.
unknown's avatar
unknown committed
6 7 8 9 10 11 12 13 14 15 16

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA */


unknown's avatar
unknown committed
17 18 19 20 21 22
/**
  @file

  @brief
  This file defines all numerical functions
*/
unknown's avatar
unknown committed
23

24
#ifdef USE_PRAGMA_IMPLEMENTATION
unknown's avatar
unknown committed
25 26 27
#pragma implementation				// gcc: Class implementation
#endif

Mats Kindahl's avatar
Mats Kindahl committed
28
#include "my_global.h"                          /* NO_EMBEDDED_ACCESS_CHECKS */
29 30 31 32 33 34 35 36
#include "sql_priv.h"
/*
  It is necessary to include set_var.h instead of item.h because there
  are dependencies on include order for set_var.h and item.h. This
  will be resolved later.
*/
#include "sql_class.h"                          // set_var.h: THD
#include "set_var.h"
unknown's avatar
unknown committed
37
#include "slave.h"				// for wait_for_master_pos
38 39 40 41 42
#include "sql_show.h"                           // append_identifier
#include "strfunc.h"                            // find_type
#include "sql_parse.h"                          // is_update_query
#include "sql_acl.h"                            // EXECUTE_ACL
#include "mysqld.h"                             // LOCK_uuid_generator
43
#include "rpl_mi.h"
unknown's avatar
unknown committed
44 45 46 47
#include <m_ctype.h>
#include <hash.h>
#include <time.h>
#include <ft_global.h>
48
#include <my_bit.h>
unknown's avatar
unknown committed
49

50 51 52
#include "sp_head.h"
#include "sp_rcontext.h"
#include "sp.h"
53
#include "set_var.h"
54
#include "debug_sync.h"
unknown's avatar
unknown committed
55

unknown's avatar
unknown committed
56 57 58 59
#ifdef NO_EMBEDDED_ACCESS_CHECKS
#define sp_restore_security_context(A,B) while (0) {}
#endif

60 61 62 63 64 65 66 67 68 69
bool check_reserved_words(LEX_STRING *name)
{
  if (!my_strcasecmp(system_charset_info, name->str, "GLOBAL") ||
      !my_strcasecmp(system_charset_info, name->str, "LOCAL") ||
      !my_strcasecmp(system_charset_info, name->str, "SESSION"))
    return TRUE;
  return FALSE;
}


unknown's avatar
unknown committed
70 71 72 73
/**
  @return
    TRUE if item is a constant
*/
unknown's avatar
unknown committed
74 75 76 77 78 79 80

bool
eval_const_cond(COND *cond)
{
  return ((Item_func*) cond)->val_int() ? TRUE : FALSE;
}

unknown's avatar
unknown committed
81

82 83 84 85 86 87 88 89
/**
   Test if the sum of arguments overflows the ulonglong range.
*/
static inline bool test_if_sum_overflows_ull(ulonglong arg1, ulonglong arg2)
{
  return ULONGLONG_MAX - arg1 < arg2;
}

90
void Item_func::set_arguments(List<Item> &list)
unknown's avatar
unknown committed
91
{
92
  allowed_arg_cols= 1;
unknown's avatar
unknown committed
93
  arg_count=list.elements;
unknown's avatar
unknown committed
94 95
  args= tmp_arg;                                // If 2 arguments
  if (arg_count <= 2 || (args=(Item**) sql_alloc(sizeof(Item*)*arg_count)))
unknown's avatar
unknown committed
96
  {
unknown's avatar
unknown committed
97
    List_iterator_fast<Item> li(list);
unknown's avatar
unknown committed
98
    Item *item;
unknown's avatar
unknown committed
99
    Item **save_args= args;
unknown's avatar
unknown committed
100 101 102

    while ((item=li++))
    {
unknown's avatar
unknown committed
103
      *(save_args++)= item;
unknown's avatar
unknown committed
104 105 106 107 108 109
      with_sum_func|=item->with_sum_func;
    }
  }
  list.empty();					// Fields are used
}

110 111 112 113 114 115
Item_func::Item_func(List<Item> &list)
  :allowed_arg_cols(1)
{
  set_arguments(list);
}

116
Item_func::Item_func(THD *thd, Item_func *item)
117
  :Item_result_field(thd, item),
118 119 120 121 122
   allowed_arg_cols(item->allowed_arg_cols),
   arg_count(item->arg_count),
   used_tables_cache(item->used_tables_cache),
   not_null_tables_cache(item->not_null_tables_cache),
   const_item_cache(item->const_item_cache)
123 124 125 126 127 128 129 130 131 132
{
  if (arg_count)
  {
    if (arg_count <=2)
      args= tmp_arg;
    else
    {
      if (!(args=(Item**) thd->alloc(sizeof(Item*)*arg_count)))
	return;
    }
133
    memcpy((char*) args, (char*) item->args, sizeof(Item*)*arg_count);
134 135 136
  }
}

unknown's avatar
unknown committed
137 138

/*
139
  Resolve references to table column for a function and its argument
unknown's avatar
unknown committed
140 141 142 143 144 145 146 147 148 149 150 151 152 153 154

  SYNOPSIS:
  fix_fields()
  thd		Thread object
  ref		Pointer to where this object is used.  This reference
		is used if we want to replace this object with another
		one (for example in the summary functions).

  DESCRIPTION
    Call fix_fields() for all arguments to the function.  The main intention
    is to allow all Item_field() objects to setup pointers to the table fields.

    Sets as a side effect the following class variables:
      maybe_null	Set if any argument may return NULL
      with_sum_func	Set if any of the arguments contains a sum function
unknown's avatar
unknown committed
155
      used_tables_cache Set to union of the tables used by arguments
unknown's avatar
unknown committed
156 157 158

      str_value.charset If this is a string function, set this to the
			character set for the first argument.
159
			If any argument is binary, this is set to binary
unknown's avatar
unknown committed
160 161 162 163 164 165 166

   If for any item any of the defaults are wrong, then this can
   be fixed in the fix_length_and_dec() function that is called
   after this one or by writing a specialized fix_fields() for the
   item.

  RETURN VALUES
unknown's avatar
unknown committed
167 168
  FALSE	ok
  TRUE	Got error.  Stored with my_error().
unknown's avatar
unknown committed
169 170
*/

unknown's avatar
unknown committed
171
bool
172
Item_func::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
173
{
174
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
175
  Item **arg,**arg_end;
176
  uchar buff[STACK_BUFF_ALLOC];			// Max argument in function
177

178
  used_tables_cache= not_null_tables_cache= 0;
unknown's avatar
unknown committed
179 180
  const_item_cache=1;

181
  if (check_stack_overrun(thd, STACK_MIN_SIZE, buff))
unknown's avatar
unknown committed
182
    return TRUE;				// Fatal error if flag is set!
unknown's avatar
unknown committed
183 184 185 186
  if (arg_count)
  {						// Print purify happy
    for (arg=args, arg_end=args+arg_count; arg != arg_end ; arg++)
    {
unknown's avatar
unknown committed
187
      Item *item;
unknown's avatar
merge  
unknown committed
188 189 190 191
      /*
	We can't yet set item to *arg as fix_fields may change *arg
	We shouldn't call fix_fields() twice, so check 'fixed' field first
      */
192
      if ((!(*arg)->fixed && (*arg)->fix_fields(thd, arg)))
unknown's avatar
unknown committed
193
	return TRUE;				/* purecov: inspected */
unknown's avatar
unknown committed
194
      item= *arg;
195 196 197 198 199 200 201 202 203 204 205 206 207 208

      if (allowed_arg_cols)
      {
        if (item->check_cols(allowed_arg_cols))
          return 1;
      }
      else
      {
        /*  we have to fetch allowed_arg_cols from first argument */
        DBUG_ASSERT(arg == args); // it is first argument
        allowed_arg_cols= item->cols();
        DBUG_ASSERT(allowed_arg_cols); // Can't be 0 any more
      }

unknown's avatar
unknown committed
209
      if (item->maybe_null)
unknown's avatar
unknown committed
210
	maybe_null=1;
211

unknown's avatar
unknown committed
212
      with_sum_func= with_sum_func || item->with_sum_func;
213 214 215
      used_tables_cache|=     item->used_tables();
      not_null_tables_cache|= item->not_null_tables();
      const_item_cache&=      item->const_item();
216
      with_subselect|=        item->with_subselect;
unknown's avatar
unknown committed
217 218 219
    }
  }
  fix_length_and_dec();
220
  if (thd->is_error()) // An error inside fix_length_and_dec occured
unknown's avatar
unknown committed
221
    return TRUE;
222
  fixed= 1;
unknown's avatar
unknown committed
223
  return FALSE;
unknown's avatar
unknown committed
224 225
}

226 227

bool Item_func::walk(Item_processor processor, bool walk_subquery,
228
                     uchar *argument)
unknown's avatar
unknown committed
229 230 231 232 233 234
{
  if (arg_count)
  {
    Item **arg,**arg_end;
    for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
    {
235
      if ((*arg)->walk(processor, walk_subquery, argument))
unknown's avatar
unknown committed
236 237 238 239 240
	return 1;
    }
  }
  return (this->*processor)(argument);
}
241

242 243
void Item_func::traverse_cond(Cond_traverser traverser,
                              void *argument, traverse_order order)
unknown's avatar
unknown committed
244 245 246 247
{
  if (arg_count)
  {
    Item **arg,**arg_end;
248 249 250

    switch (order) {
    case(PREFIX):
unknown's avatar
unknown committed
251
      (*traverser)(this, argument);
252 253 254 255 256 257 258 259 260 261
      for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
      {
	(*arg)->traverse_cond(traverser, argument, order);
      }
      break;
    case (POSTFIX):
      for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
      {
	(*arg)->traverse_cond(traverser, argument, order);
      }
unknown's avatar
unknown committed
262
      (*traverser)(this, argument);
unknown's avatar
unknown committed
263 264
    }
  }
265 266
  else
    (*traverser)(this, argument);
unknown's avatar
unknown committed
267 268
}

unknown's avatar
unknown committed
269

unknown's avatar
unknown committed
270 271 272
/**
  Transform an Item_func object with a transformer callback function.

273 274 275
    The function recursively applies the transform method to each
    argument of the Item_func node.
    If the call of the method for an argument item returns a new item
unknown's avatar
unknown committed
276
    the old item is substituted for a new one.
277
    After this the transformer is applied to the root node
unknown's avatar
unknown committed
278
    of the Item_func object. 
unknown's avatar
unknown committed
279 280 281 282 283 284
  @param transformer   the transformer callback function to be applied to
                       the nodes of the tree of the object
  @param argument      parameter to be passed to the transformer

  @return
    Item returned as the result of transformation of the root node
unknown's avatar
unknown committed
285 286
*/

287
Item *Item_func::transform(Item_transformer transformer, uchar *argument)
288
{
289 290
  DBUG_ASSERT(!current_thd->is_stmt_prepare());

291 292 293 294 295
  if (arg_count)
  {
    Item **arg,**arg_end;
    for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
    {
unknown's avatar
unknown committed
296
      Item *new_item= (*arg)->transform(transformer, argument);
297 298
      if (!new_item)
	return 0;
299 300 301 302 303 304 305

      /*
        THD::change_item_tree() should be called only if the tree was
        really transformed, i.e. when a new item has been created.
        Otherwise we'll be allocating a lot of unnecessary memory for
        change records at each execution.
      */
unknown's avatar
unknown committed
306 307
      if (*arg != new_item)
        current_thd->change_item_tree(arg, new_item);
308 309
    }
  }
unknown's avatar
unknown committed
310
  return (this->*transformer)(argument);
311 312 313
}


unknown's avatar
unknown committed
314 315 316 317
/**
  Compile Item_func object with a processor and a transformer
  callback functions.

318 319 320 321 322 323 324 325
    First the function applies the analyzer to the root node of
    the Item_func object. Then if the analizer succeeeds (returns TRUE)
    the function recursively applies the compile method to each argument
    of the Item_func node.
    If the call of the method for an argument item returns a new item
    the old item is substituted for a new one.
    After this the transformer is applied to the root node
    of the Item_func object. 
unknown's avatar
unknown committed
326 327 328 329 330 331 332 333 334 335

  @param analyzer      the analyzer callback function to be applied to the
                       nodes of the tree of the object
  @param[in,out] arg_p parameter to be passed to the processor
  @param transformer   the transformer callback function to be applied to the
                       nodes of the tree of the object
  @param arg_t         parameter to be passed to the transformer

  @return
    Item returned as the result of transformation of the root node
336 337
*/

338 339
Item *Item_func::compile(Item_analyzer analyzer, uchar **arg_p,
                         Item_transformer transformer, uchar *arg_t)
340 341 342 343 344 345 346 347 348 349 350 351
{
  if (!(this->*analyzer)(arg_p))
    return 0;
  if (arg_count)
  {
    Item **arg,**arg_end;
    for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
    {
      /* 
        The same parameter value of arg_p must be passed
        to analyze any argument of the condition formula.
      */   
352
      uchar *arg_v= *arg_p;
353 354 355 356 357 358 359 360
      Item *new_item= (*arg)->compile(analyzer, &arg_v, transformer, arg_t);
      if (new_item && *arg != new_item)
        current_thd->change_item_tree(arg, new_item);
    }
  }
  return (this->*transformer)(arg_t);
}

unknown's avatar
unknown committed
361 362 363
/**
  See comments in Item_cmp_func::split_sum_func()
*/
364

365 366
void Item_func::split_sum_func(THD *thd, Item **ref_pointer_array,
                               List<Item> &fields)
unknown's avatar
unknown committed
367
{
unknown's avatar
unknown committed
368 369
  Item **arg, **arg_end;
  for (arg= args, arg_end= args+arg_count; arg != arg_end ; arg++)
unknown's avatar
unknown committed
370
    (*arg)->split_sum_func2(thd, ref_pointer_array, fields, arg, TRUE);
unknown's avatar
unknown committed
371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391
}


void Item_func::update_used_tables()
{
  used_tables_cache=0;
  const_item_cache=1;
  for (uint i=0 ; i < arg_count ; i++)
  {
    args[i]->update_used_tables();
    used_tables_cache|=args[i]->used_tables();
    const_item_cache&=args[i]->const_item();
  }
}


table_map Item_func::used_tables() const
{
  return used_tables_cache;
}

392 393 394 395 396 397 398

table_map Item_func::not_null_tables() const
{
  return not_null_tables_cache;
}


399
void Item_func::print(String *str, enum_query_type query_type)
unknown's avatar
unknown committed
400 401 402
{
  str->append(func_name());
  str->append('(');
403
  print_args(str, 0, query_type);
404 405 406 407
  str->append(')');
}


408
void Item_func::print_args(String *str, uint from, enum_query_type query_type)
409
{
unknown's avatar
unknown committed
410
  for (uint i=from ; i < arg_count ; i++)
unknown's avatar
unknown committed
411
  {
unknown's avatar
unknown committed
412
    if (i != from)
unknown's avatar
unknown committed
413
      str->append(',');
414
    args[i]->print(str, query_type);
unknown's avatar
unknown committed
415 416 417 418
  }
}


419
void Item_func::print_op(String *str, enum_query_type query_type)
unknown's avatar
unknown committed
420 421 422 423
{
  str->append('(');
  for (uint i=0 ; i < arg_count-1 ; i++)
  {
424
    args[i]->print(str, query_type);
unknown's avatar
unknown committed
425 426 427 428
    str->append(' ');
    str->append(func_name());
    str->append(' ');
  }
429
  args[arg_count-1]->print(str, query_type);
unknown's avatar
unknown committed
430 431 432
  str->append(')');
}

unknown's avatar
unknown committed
433

434
bool Item_func::eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
435 436 437 438 439 440 441
{
  /* Assume we don't have rtti */
  if (this == item)
    return 1;
  if (item->type() != FUNC_ITEM)
    return 0;
  Item_func *item_func=(Item_func*) item;
442 443 444 445 446 447 448
  Item_func::Functype func_type;
  if ((func_type= functype()) != item_func->functype() ||
      arg_count != item_func->arg_count ||
      (func_type != Item_func::FUNC_SP &&
       func_name() != item_func->func_name()) ||
      (func_type == Item_func::FUNC_SP &&
       my_strcasecmp(system_charset_info, func_name(), item_func->func_name())))
unknown's avatar
unknown committed
449 450
    return 0;
  for (uint i=0; i < arg_count ; i++)
451
    if (!args[i]->eq(item_func->args[i], binary_cmp))
unknown's avatar
unknown committed
452 453 454 455
      return 0;
  return 1;
}

456

unknown's avatar
unknown committed
457
Field *Item_func::tmp_table_field(TABLE *table)
458
{
Staale Smedseng's avatar
Staale Smedseng committed
459
  Field *field= NULL;
460

unknown's avatar
unknown committed
461
  switch (result_type()) {
462
  case INT_RESULT:
463 464 465
    if (max_char_length() > MY_INT32_NUM_DECIMAL_DIGITS)
      field= new Field_longlong(max_char_length(), maybe_null, name,
                                unsigned_flag);
466
    else
467 468
      field= new Field_long(max_char_length(), maybe_null, name,
                            unsigned_flag);
469 470
    break;
  case REAL_RESULT:
471
    field= new Field_double(max_char_length(), maybe_null, name, decimals);
472 473
    break;
  case STRING_RESULT:
unknown's avatar
unknown committed
474
    return make_string_field(table);
475
    break;
unknown's avatar
unknown committed
476
  case DECIMAL_RESULT:
477
    field= Field_new_decimal::create_from_item(this);
unknown's avatar
unknown committed
478
    break;
479
  case ROW_RESULT:
unknown's avatar
unknown committed
480
  default:
unknown's avatar
unknown committed
481
    // This case should never be chosen
unknown's avatar
unknown committed
482
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
483
    field= 0;
unknown's avatar
unknown committed
484
    break;
485
  }
unknown's avatar
unknown committed
486 487 488
  if (field)
    field->init(table);
  return field;
489 490
}

unknown's avatar
unknown committed
491

492
bool Item_func::is_expensive_processor(uchar *arg)
493
{
494
  return is_expensive();
495 496 497
}


unknown's avatar
unknown committed
498 499 500 501 502 503 504
my_decimal *Item_func::val_decimal(my_decimal *decimal_value)
{
  DBUG_ASSERT(fixed);
  int2my_decimal(E_DEC_FATAL_ERROR, val_int(), unsigned_flag, decimal_value);
  return decimal_value;
}

505

unknown's avatar
unknown committed
506 507
String *Item_real_func::val_str(String *str)
{
508
  DBUG_ASSERT(fixed == 1);
509
  double nr= val_real();
unknown's avatar
unknown committed
510 511
  if (null_value)
    return 0; /* purecov: inspected */
512
  str->set_real(nr, decimals, collation.collation);
unknown's avatar
unknown committed
513 514 515 516
  return str;
}


517 518 519 520 521 522 523 524 525 526 527
my_decimal *Item_real_func::val_decimal(my_decimal *decimal_value)
{
  DBUG_ASSERT(fixed);
  double nr= val_real();
  if (null_value)
    return 0; /* purecov: inspected */
  double2my_decimal(E_DEC_FATAL_ERROR, nr, decimal_value);
  return decimal_value;
}


unknown's avatar
unknown committed
528
void Item_func::fix_num_length_and_dec()
unknown's avatar
unknown committed
529
{
530
  uint fl_length= 0;
unknown's avatar
unknown committed
531
  decimals=0;
unknown's avatar
unknown committed
532
  for (uint i=0 ; i < arg_count ; i++)
unknown's avatar
unknown committed
533 534
  {
    set_if_bigger(decimals,args[i]->decimals);
535 536
    set_if_bigger(fl_length, args[i]->max_length);
  }
unknown's avatar
unknown committed
537
  max_length=float_length(decimals);
538 539 540 541
  if (fl_length > max_length)
  {
    decimals= NOT_FIXED_DEC;
    max_length= float_length(NOT_FIXED_DEC);
unknown's avatar
unknown committed
542
  }
unknown's avatar
unknown committed
543 544 545 546 547 548 549
}


void Item_func_numhybrid::fix_num_length_and_dec()
{}


unknown's avatar
unknown committed
550
/**
unknown's avatar
unknown committed
551
  Set max_length/decimals of function if function is fixed point and
unknown's avatar
unknown committed
552
  result length/precision depends on argument ones.
unknown's avatar
unknown committed
553 554 555 556
*/

void Item_func::count_decimal_length()
{
unknown's avatar
unknown committed
557
  int max_int_part= 0;
unknown's avatar
unknown committed
558
  decimals= 0;
unknown's avatar
unknown committed
559
  unsigned_flag= 1;
unknown's avatar
unknown committed
560
  for (uint i=0 ; i < arg_count ; i++)
unknown's avatar
unknown committed
561
  {
unknown's avatar
unknown committed
562
    set_if_bigger(decimals, args[i]->decimals);
unknown's avatar
unknown committed
563 564
    set_if_bigger(max_int_part, args[i]->decimal_int_part());
    set_if_smaller(unsigned_flag, args[i]->unsigned_flag);
unknown's avatar
unknown committed
565
  }
unknown's avatar
unknown committed
566
  int precision= min(max_int_part + decimals, DECIMAL_MAX_PRECISION);
567 568 569
  fix_char_length(my_decimal_precision_to_length_no_truncation(precision,
                                                               decimals,
                                                               unsigned_flag));
unknown's avatar
unknown committed
570 571 572
}


unknown's avatar
unknown committed
573 574
/**
  Set max_length of if it is maximum length of its arguments.
unknown's avatar
unknown committed
575 576 577
*/

void Item_func::count_only_length()
unknown's avatar
unknown committed
578
{
579
  uint32 char_length= 0;
unknown's avatar
unknown committed
580
  unsigned_flag= 0;
unknown's avatar
unknown committed
581
  for (uint i=0 ; i < arg_count ; i++)
unknown's avatar
unknown committed
582
  {
583
    set_if_bigger(char_length, args[i]->max_char_length());
unknown's avatar
unknown committed
584 585
    set_if_bigger(unsigned_flag, args[i]->unsigned_flag);
  }
586
  fix_char_length(char_length);
unknown's avatar
unknown committed
587 588
}

unknown's avatar
unknown committed
589

unknown's avatar
unknown committed
590
/**
unknown's avatar
unknown committed
591
  Set max_length/decimals of function if function is floating point and
unknown's avatar
unknown committed
592
  result length/precision depends on argument ones.
unknown's avatar
unknown committed
593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621
*/

void Item_func::count_real_length()
{
  uint32 length= 0;
  decimals= 0;
  max_length= 0;
  for (uint i=0 ; i < arg_count ; i++)
  {
    if (decimals != NOT_FIXED_DEC)
    {
      set_if_bigger(decimals, args[i]->decimals);
      set_if_bigger(length, (args[i]->max_length - args[i]->decimals));
    }
    set_if_bigger(max_length, args[i]->max_length);
  }
  if (decimals != NOT_FIXED_DEC)
  {
    max_length= length;
    length+= decimals;
    if (length < max_length)  // If previous operation gave overflow
      max_length= UINT_MAX32;
    else
      max_length= length;
  }
}



unknown's avatar
unknown committed
622 623 624 625
void Item_func::signal_divide_by_null()
{
  THD *thd= current_thd;
  if (thd->variables.sql_mode & MODE_ERROR_FOR_DIVISION_BY_ZERO)
Marc Alff's avatar
Marc Alff committed
626
    push_warning(thd, MYSQL_ERROR::WARN_LEVEL_WARN, ER_DIVISION_BY_ZERO,
unknown's avatar
unknown committed
627 628 629 630 631
                 ER(ER_DIVISION_BY_ZERO));
  null_value= 1;
}


632
Item *Item_func::get_tmp_table_item(THD *thd)
633
{
634
  if (!with_sum_func && !const_item())
635
    return new Item_field(result_field);
636
  return copy_or_same(thd);
637 638
}

639 640 641 642 643 644 645 646
double Item_int_func::val_real()
{
  DBUG_ASSERT(fixed == 1);

  return unsigned_flag ? (double) ((ulonglong) val_int()) : (double) val_int();
}


unknown's avatar
unknown committed
647 648
String *Item_int_func::val_str(String *str)
{
649
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
650 651 652
  longlong nr=val_int();
  if (null_value)
    return 0;
653
  str->set_int(nr, unsigned_flag, collation.collation);
unknown's avatar
unknown committed
654 655 656
  return str;
}

unknown's avatar
unknown committed
657

658 659 660 661 662 663 664 665 666 667 668
void Item_func_connection_id::fix_length_and_dec()
{
  Item_int_func::fix_length_and_dec();
  max_length= 10;
}


bool Item_func_connection_id::fix_fields(THD *thd, Item **ref)
{
  if (Item_int_func::fix_fields(thd, ref))
    return TRUE;
669
  thd->thread_specific_used= TRUE;
670
  value= thd->variables.pseudo_thread_id;
671 672 673 674
  return FALSE;
}


unknown's avatar
unknown committed
675
/**
676 677
  Check arguments here to determine result's type for a numeric
  function of two arguments.
678
*/
unknown's avatar
unknown committed
679 680 681

void Item_num_op::find_num_type(void)
{
unknown's avatar
unknown committed
682 683 684 685 686 687 688 689
  DBUG_ENTER("Item_num_op::find_num_type");
  DBUG_PRINT("info", ("name %s", func_name()));
  DBUG_ASSERT(arg_count == 2);
  Item_result r0= args[0]->result_type();
  Item_result r1= args[1]->result_type();

  if (r0 == REAL_RESULT || r1 == REAL_RESULT ||
      r0 == STRING_RESULT || r1 ==STRING_RESULT)
690
  {
unknown's avatar
unknown committed
691 692 693 694 695 696 697 698 699
    count_real_length();
    max_length= float_length(decimals);
    hybrid_type= REAL_RESULT;
  }
  else if (r0 == DECIMAL_RESULT || r1 == DECIMAL_RESULT)
  {
    hybrid_type= DECIMAL_RESULT;
    result_precision();
  }
700
  else
701
  {
702
    DBUG_ASSERT(r0 == INT_RESULT && r1 == INT_RESULT);
unknown's avatar
unknown committed
703
    decimals= 0;
unknown's avatar
unknown committed
704
    hybrid_type=INT_RESULT;
unknown's avatar
unknown committed
705
    result_precision();
706
  }
unknown's avatar
unknown committed
707 708 709 710 711 712
  DBUG_PRINT("info", ("Type: %s",
             (hybrid_type == REAL_RESULT ? "REAL_RESULT" :
              hybrid_type == DECIMAL_RESULT ? "DECIMAL_RESULT" :
              hybrid_type == INT_RESULT ? "INT_RESULT" :
              "--ILLEGAL!!!--")));
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
713 714
}

unknown's avatar
unknown committed
715

unknown's avatar
unknown committed
716
/**
717 718 719
  Set result type for a numeric function of one argument
  (can be also used by a numeric function of many arguments, if the result
  type depends only on the first argument)
unknown's avatar
unknown committed
720
*/
721

unknown's avatar
unknown committed
722 723 724 725
void Item_func_num1::find_num_type()
{
  DBUG_ENTER("Item_func_num1::find_num_type");
  DBUG_PRINT("info", ("name %s", func_name()));
726
  switch (hybrid_type= args[0]->result_type()) {
unknown's avatar
unknown committed
727
  case INT_RESULT:
728
    unsigned_flag= args[0]->unsigned_flag;
unknown's avatar
unknown committed
729 730 731 732 733 734 735 736 737 738
    break;
  case STRING_RESULT:
  case REAL_RESULT:
    hybrid_type= REAL_RESULT;
    max_length= float_length(decimals);
    break;
  case DECIMAL_RESULT:
    break;
  default:
    DBUG_ASSERT(0);
739
  }
unknown's avatar
unknown committed
740 741 742 743 744 745
  DBUG_PRINT("info", ("Type: %s",
                      (hybrid_type == REAL_RESULT ? "REAL_RESULT" :
                       hybrid_type == DECIMAL_RESULT ? "DECIMAL_RESULT" :
                       hybrid_type == INT_RESULT ? "INT_RESULT" :
                       "--ILLEGAL!!!--")));
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
746 747
}

unknown's avatar
unknown committed
748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763

void Item_func_num1::fix_num_length_and_dec()
{
  decimals= args[0]->decimals;
  max_length= args[0]->max_length;
}


void Item_func_numhybrid::fix_length_and_dec()
{
  fix_num_length_and_dec();
  find_num_type();
}


String *Item_func_numhybrid::val_str(String *str)
unknown's avatar
unknown committed
764
{
765
  DBUG_ASSERT(fixed == 1);
766
  switch (hybrid_type) {
unknown's avatar
unknown committed
767 768 769 770
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value, *val;
    if (!(val= decimal_op(&decimal_value)))
771
      return 0;                                 // null is set
unknown's avatar
unknown committed
772
    my_decimal_round(E_DEC_FATAL_ERROR, val, decimals, FALSE, val);
773
    str->set_charset(collation.collation);
unknown's avatar
unknown committed
774 775 776 777 778 779
    my_decimal2string(E_DEC_FATAL_ERROR, val, 0, 0, 0, str);
    break;
  }
  case INT_RESULT:
  {
    longlong nr= int_op();
unknown's avatar
unknown committed
780 781
    if (null_value)
      return 0; /* purecov: inspected */
782
    str->set_int(nr, unsigned_flag, collation.collation);
unknown's avatar
unknown committed
783
    break;
unknown's avatar
unknown committed
784
  }
unknown's avatar
unknown committed
785
  case REAL_RESULT:
unknown's avatar
unknown committed
786
  {
787
    double nr= real_op();
unknown's avatar
unknown committed
788 789
    if (null_value)
      return 0; /* purecov: inspected */
790
    str->set_real(nr, decimals, collation.collation);
unknown's avatar
unknown committed
791 792
    break;
  }
unknown's avatar
unknown committed
793 794
  case STRING_RESULT:
    return str_op(&str_value);
unknown's avatar
unknown committed
795 796
  default:
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
797 798 799 800 801
  }
  return str;
}


unknown's avatar
unknown committed
802 803 804
double Item_func_numhybrid::val_real()
{
  DBUG_ASSERT(fixed == 1);
805
  switch (hybrid_type) {
unknown's avatar
unknown committed
806 807 808 809
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value, *val;
    double result;
810 811
    if (!(val= decimal_op(&decimal_value)))
      return 0.0;                               // null is set
unknown's avatar
unknown committed
812 813 814 815
    my_decimal2double(E_DEC_FATAL_ERROR, val, &result);
    return result;
  }
  case INT_RESULT:
816 817 818 819
  {
    longlong result= int_op();
    return unsigned_flag ? (double) ((ulonglong) result) : (double) result;
  }
unknown's avatar
unknown committed
820 821
  case REAL_RESULT:
    return real_op();
unknown's avatar
unknown committed
822 823 824 825 826 827 828 829
  case STRING_RESULT:
  {
    char *end_not_used;
    int err_not_used;
    String *res= str_op(&str_value);
    return (res ? my_strntod(res->charset(), (char*) res->ptr(), res->length(),
			     &end_not_used, &err_not_used) : 0.0);
  }
unknown's avatar
unknown committed
830 831 832 833 834 835 836 837 838 839
  default:
    DBUG_ASSERT(0);
  }
  return 0.0;
}


longlong Item_func_numhybrid::val_int()
{
  DBUG_ASSERT(fixed == 1);
840
  switch (hybrid_type) {
unknown's avatar
unknown committed
841 842 843 844
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value, *val;
    if (!(val= decimal_op(&decimal_value)))
845
      return 0;                                 // null is set
unknown's avatar
unknown committed
846 847 848 849 850 851 852
    longlong result;
    my_decimal2int(E_DEC_FATAL_ERROR, val, unsigned_flag, &result);
    return result;
  }
  case INT_RESULT:
    return int_op();
  case REAL_RESULT:
853
    return (longlong) rint(real_op());
unknown's avatar
unknown committed
854 855 856
  case STRING_RESULT:
  {
    int err_not_used;
unknown's avatar
unknown committed
857 858 859 860
    String *res;
    if (!(res= str_op(&str_value)))
      return 0;

861
    char *end= (char*) res->ptr() + res->length();
unknown's avatar
unknown committed
862
    CHARSET_INFO *cs= str_value.charset();
unknown's avatar
unknown committed
863
    return (*(cs->cset->strtoll10))(cs, res->ptr(), &end, &err_not_used);
unknown's avatar
unknown committed
864
  }
unknown's avatar
unknown committed
865 866 867 868 869 870 871 872 873 874 875
  default:
    DBUG_ASSERT(0);
  }
  return 0;
}


my_decimal *Item_func_numhybrid::val_decimal(my_decimal *decimal_value)
{
  my_decimal *val= decimal_value;
  DBUG_ASSERT(fixed == 1);
876
  switch (hybrid_type) {
unknown's avatar
unknown committed
877 878 879 880 881 882 883 884 885 886 887
  case DECIMAL_RESULT:
    val= decimal_op(decimal_value);
    break;
  case INT_RESULT:
  {
    longlong result= int_op();
    int2my_decimal(E_DEC_FATAL_ERROR, result, unsigned_flag, decimal_value);
    break;
  }
  case REAL_RESULT:
  {
888
    double result= (double)real_op();
unknown's avatar
unknown committed
889 890 891 892
    double2my_decimal(E_DEC_FATAL_ERROR, result, decimal_value);
    break;
  }
  case STRING_RESULT:
unknown's avatar
unknown committed
893
  {
unknown's avatar
unknown committed
894 895 896 897
    String *res;
    if (!(res= str_op(&str_value)))
      return NULL;

unknown's avatar
unknown committed
898 899 900 901
    str2my_decimal(E_DEC_FATAL_ERROR, (char*) res->ptr(),
                   res->length(), res->charset(), decimal_value);
    break;
  }  
unknown's avatar
unknown committed
902 903 904 905 906 907 908 909
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0);
  }
  return val;
}


910
void Item_func_signed::print(String *str, enum_query_type query_type)
911
{
912
  str->append(STRING_WITH_LEN("cast("));
913
  args[0]->print(str, query_type);
914
  str->append(STRING_WITH_LEN(" as signed)"));
915 916 917 918

}


919 920
longlong Item_func_signed::val_int_from_str(int *error)
{
unknown's avatar
unknown committed
921 922
  char buff[MAX_FIELD_WIDTH], *end, *start;
  uint32 length;
923 924
  String tmp(buff,sizeof(buff), &my_charset_bin), *res;
  longlong value;
925
  CHARSET_INFO *cs;
926 927 928 929 930 931 932 933 934 935 936 937 938

  /*
    For a string result, we must first get the string and then convert it
    to a longlong
  */

  if (!(res= args[0]->val_str(&tmp)))
  {
    null_value= 1;
    *error= 0;
    return 0;
  }
  null_value= 0;
unknown's avatar
unknown committed
939 940
  start= (char *)res->ptr();
  length= res->length();
941
  cs= res->charset();
unknown's avatar
unknown committed
942 943

  end= start + length;
944
  value= cs->cset->strtoll10(cs, start, &end, error);
unknown's avatar
unknown committed
945 946 947 948 949
  if (*error > 0 || end != start+ length)
  {
    char err_buff[128];
    String err_tmp(err_buff,(uint32) sizeof(err_buff), system_charset_info);
    err_tmp.copy(start, length, system_charset_info);
950 951 952
    push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
                        ER_TRUNCATED_WRONG_VALUE,
                        ER(ER_TRUNCATED_WRONG_VALUE), "INTEGER",
unknown's avatar
unknown committed
953 954
                        err_tmp.c_ptr());
  }
955 956 957 958 959 960 961 962 963
  return value;
}


longlong Item_func_signed::val_int()
{
  longlong value;
  int error;

964 965
  if (args[0]->cast_to_int_type() != STRING_RESULT ||
      args[0]->result_as_longlong())
966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982
  {
    value= args[0]->val_int();
    null_value= args[0]->null_value; 
    return value;
  }

  value= val_int_from_str(&error);
  if (value < 0 && error == 0)
  {
    push_warning(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN, ER_UNKNOWN_ERROR,
                 "Cast to signed converted positive out-of-range integer to "
                 "it's negative complement");
  }
  return value;
}


983
void Item_func_unsigned::print(String *str, enum_query_type query_type)
984
{
985
  str->append(STRING_WITH_LEN("cast("));
986
  args[0]->print(str, query_type);
987
  str->append(STRING_WITH_LEN(" as unsigned)"));
988 989 990 991

}


992 993 994 995 996
longlong Item_func_unsigned::val_int()
{
  longlong value;
  int error;

997 998 999 1000 1001
  if (args[0]->cast_to_int_type() == DECIMAL_RESULT)
  {
    my_decimal tmp, *dec= args[0]->val_decimal(&tmp);
    if (!(null_value= args[0]->null_value))
      my_decimal2int(E_DEC_FATAL_ERROR, dec, 1, &value);
1002 1003
    else
      value= 0;
1004 1005
    return value;
  }
1006 1007
  else if (args[0]->cast_to_int_type() != STRING_RESULT ||
           args[0]->result_as_longlong())
1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022
  {
    value= args[0]->val_int();
    null_value= args[0]->null_value; 
    return value;
  }

  value= val_int_from_str(&error);
  if (error < 0)
    push_warning(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN, ER_UNKNOWN_ERROR,
                 "Cast to unsigned converted negative integer to it's "
                 "positive complement");
  return value;
}


unknown's avatar
unknown committed
1023 1024 1025
String *Item_decimal_typecast::val_str(String *str)
{
  my_decimal tmp_buf, *tmp= val_decimal(&tmp_buf);
1026 1027
  if (null_value)
    return NULL;
unknown's avatar
unknown committed
1028
  my_decimal2string(E_DEC_FATAL_ERROR, tmp, 0, 0, 0, str);
unknown's avatar
unknown committed
1029 1030 1031 1032 1033 1034 1035 1036
  return str;
}


double Item_decimal_typecast::val_real()
{
  my_decimal tmp_buf, *tmp= val_decimal(&tmp_buf);
  double res;
1037 1038
  if (null_value)
    return 0.0;
unknown's avatar
unknown committed
1039 1040 1041 1042 1043 1044 1045 1046 1047
  my_decimal2double(E_DEC_FATAL_ERROR, tmp, &res);
  return res;
}


longlong Item_decimal_typecast::val_int()
{
  my_decimal tmp_buf, *tmp= val_decimal(&tmp_buf);
  longlong res;
1048 1049
  if (null_value)
    return 0;
unknown's avatar
unknown committed
1050 1051 1052 1053 1054 1055 1056 1057
  my_decimal2int(E_DEC_FATAL_ERROR, tmp, unsigned_flag, &res);
  return res;
}


my_decimal *Item_decimal_typecast::val_decimal(my_decimal *dec)
{
  my_decimal tmp_buf, *tmp= args[0]->val_decimal(&tmp_buf);
1058
  bool sign;
unknown's avatar
unknown committed
1059 1060
  uint precision;

1061 1062
  if ((null_value= args[0]->null_value))
    return NULL;
unknown's avatar
unknown committed
1063
  my_decimal_round(E_DEC_FATAL_ERROR, tmp, decimals, FALSE, dec);
1064 1065 1066 1067 1068 1069 1070 1071 1072
  sign= dec->sign();
  if (unsigned_flag)
  {
    if (sign)
    {
      my_decimal_set_zero(dec);
      goto err;
    }
  }
unknown's avatar
unknown committed
1073 1074 1075
  precision= my_decimal_length_to_precision(max_length,
                                            decimals, unsigned_flag);
  if (precision - decimals < (uint) my_decimal_intg(dec))
1076
  {
unknown's avatar
unknown committed
1077
    max_my_decimal(dec, precision, decimals);
1078 1079 1080 1081 1082 1083
    dec->sign(sign);
    goto err;
  }
  return dec;

err:
Marc Alff's avatar
Marc Alff committed
1084
  push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
1085 1086 1087
                      ER_WARN_DATA_OUT_OF_RANGE,
                      ER(ER_WARN_DATA_OUT_OF_RANGE),
                      name, 1);
unknown's avatar
unknown committed
1088 1089 1090 1091
  return dec;
}


1092
void Item_decimal_typecast::print(String *str, enum_query_type query_type)
1093
{
1094 1095 1096 1097 1098
  char len_buf[20*3 + 1];
  char *end;

  uint precision= my_decimal_length_to_precision(max_length, decimals,
                                                 unsigned_flag);
1099
  str->append(STRING_WITH_LEN("cast("));
1100
  args[0]->print(str, query_type);
1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112
  str->append(STRING_WITH_LEN(" as decimal("));

  end=int10_to_str(precision, len_buf,10);
  str->append(len_buf, (uint32) (end - len_buf));

  str->append(',');

  end=int10_to_str(decimals, len_buf,10);
  str->append(len_buf, (uint32) (end - len_buf));

  str->append(')');
  str->append(')');
1113 1114 1115
}


unknown's avatar
unknown committed
1116
double Item_func_plus::real_op()
unknown's avatar
unknown committed
1117
{
1118
  double value= args[0]->val_real() + args[1]->val_real();
unknown's avatar
unknown committed
1119 1120
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0.0;
1121
  return check_float_overflow(value);
unknown's avatar
unknown committed
1122 1123
}

unknown's avatar
unknown committed
1124 1125

longlong Item_func_plus::int_op()
unknown's avatar
unknown committed
1126
{
1127 1128 1129 1130 1131 1132
  longlong val0= args[0]->val_int();
  longlong val1= args[1]->val_int();
  longlong res= val0 + val1;
  bool     res_unsigned= FALSE;

  if ((null_value= args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1133
    return 0;
1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182

  /*
    First check whether the result can be represented as a
    (bool unsigned_flag, longlong value) pair, then check if it is compatible
    with this Item's unsigned_flag by calling check_integer_overflow().
  */
  if (args[0]->unsigned_flag)
  {
    if (args[1]->unsigned_flag || val1 >= 0)
    {
      if (test_if_sum_overflows_ull((ulonglong) val0, (ulonglong) val1))
        goto err;
      res_unsigned= TRUE;
    }
    else
    {
      /* val1 is negative */
      if ((ulonglong) val0 > (ulonglong) LONGLONG_MAX)
        res_unsigned= TRUE;
    }
  }
  else
  {
    if (args[1]->unsigned_flag)
    {
      if (val0 >= 0)
      {
        if (test_if_sum_overflows_ull((ulonglong) val0, (ulonglong) val1))
          goto err;
        res_unsigned= TRUE;
      }
      else
      {
        if ((ulonglong) val1 > (ulonglong) LONGLONG_MAX)
          res_unsigned= TRUE;
      }
    }
    else
    {
      if (val0 >=0 && val1 >= 0)
        res_unsigned= TRUE;
      else if (val0 < 0 && val1 < 0 && res >= 0)
        goto err;
    }
  }
  return check_integer_overflow(res, res_unsigned);

err:
  return raise_integer_overflow();
unknown's avatar
unknown committed
1183 1184 1185
}


unknown's avatar
unknown committed
1186 1187
/**
  Calculate plus of two decimals.
1188

unknown's avatar
unknown committed
1189
  @param decimal_value	Buffer that can be used to store result
1190

unknown's avatar
unknown committed
1191 1192 1193 1194
  @retval
    0  Value was NULL;  In this case null_value is set
  @retval
    \# Value of operation as a decimal
1195 1196
*/

unknown's avatar
unknown committed
1197 1198
my_decimal *Item_func_plus::decimal_op(my_decimal *decimal_value)
{
1199 1200 1201
  my_decimal value1, *val1;
  my_decimal value2, *val2;
  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1202 1203
  if ((null_value= args[0]->null_value))
    return 0;
1204
  val2= args[1]->val_decimal(&value2);
1205
  if (!(null_value= (args[1]->null_value ||
1206 1207 1208 1209
                     check_decimal_overflow(my_decimal_add(E_DEC_FATAL_ERROR &
                                                           ~E_DEC_OVERFLOW,
                                                           decimal_value,
                                                           val1, val2)) > 3)))
1210 1211
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
1212 1213
}

unknown's avatar
unknown committed
1214
/**
unknown's avatar
unknown committed
1215 1216 1217 1218 1219
  Set precision of results for additive operations (+ and -)
*/
void Item_func_additive_op::result_precision()
{
  decimals= max(args[0]->decimals, args[1]->decimals);
1220 1221
  int arg1_int= args[0]->decimal_precision() - args[0]->decimals;
  int arg2_int= args[1]->decimal_precision() - args[1]->decimals;
1222
  int precision= max(arg1_int, arg2_int) + 1 + decimals;
unknown's avatar
unknown committed
1223 1224 1225 1226 1227 1228

  /* Integer operations keep unsigned_flag if one of arguments is unsigned */
  if (result_type() == INT_RESULT)
    unsigned_flag= args[0]->unsigned_flag | args[1]->unsigned_flag;
  else
    unsigned_flag= args[0]->unsigned_flag & args[1]->unsigned_flag;
1229 1230
  max_length= my_decimal_precision_to_length_no_truncation(precision, decimals,
                                                           unsigned_flag);
unknown's avatar
unknown committed
1231 1232
}

1233

unknown's avatar
unknown committed
1234
/**
1235 1236 1237 1238 1239 1240 1241 1242
  The following function is here to allow the user to force
  subtraction of UNSIGNED BIGINT to return negative values.
*/

void Item_func_minus::fix_length_and_dec()
{
  Item_num_op::fix_length_and_dec();
  if (unsigned_flag &&
1243
      (current_thd->variables.sql_mode & MODE_NO_UNSIGNED_SUBTRACTION))
1244 1245 1246 1247
    unsigned_flag=0;
}


unknown's avatar
unknown committed
1248
double Item_func_minus::real_op()
unknown's avatar
unknown committed
1249
{
1250
  double value= args[0]->val_real() - args[1]->val_real();
unknown's avatar
unknown committed
1251 1252
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0.0;
1253
  return check_float_overflow(value);
unknown's avatar
unknown committed
1254 1255
}

unknown's avatar
unknown committed
1256 1257

longlong Item_func_minus::int_op()
unknown's avatar
unknown committed
1258
{
1259 1260 1261 1262 1263 1264
  longlong val0= args[0]->val_int();
  longlong val1= args[1]->val_int();
  longlong res= val0 - val1;
  bool     res_unsigned= FALSE;

  if ((null_value= args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1265
    return 0;
1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317

  /*
    First check whether the result can be represented as a
    (bool unsigned_flag, longlong value) pair, then check if it is compatible
    with this Item's unsigned_flag by calling check_integer_overflow().
  */
  if (args[0]->unsigned_flag)
  {
    if (args[1]->unsigned_flag)
    {
      if ((ulonglong) val0 < (ulonglong) val1)
      {
        if (res >= 0)
          goto err;
      }
      else
        res_unsigned= TRUE;
    }
    else
    {
      if (val1 >= 0)
      {
        if ((ulonglong) val0 > (ulonglong) val1)
          res_unsigned= TRUE;
      }
      else
      {
        if (test_if_sum_overflows_ull((ulonglong) val0, (ulonglong) -val1))
          goto err;
        res_unsigned= TRUE;
      }
    }
  }
  else
  {
    if (args[1]->unsigned_flag)
    {
      if ((ulonglong) (val0 - LONGLONG_MIN) < (ulonglong) val1)
        goto err;
    }
    else
    {
      if (val0 > 0 && val1 < 0)
        res_unsigned= TRUE;
      else if (val0 < 0 && val1 > 0 && res >= 0)
        goto err;
    }
  }
  return check_integer_overflow(res, res_unsigned);

err:
  return raise_integer_overflow();
unknown's avatar
unknown committed
1318 1319
}

1320

unknown's avatar
unknown committed
1321 1322 1323
/**
  See Item_func_plus::decimal_op for comments.
*/
1324

unknown's avatar
unknown committed
1325 1326
my_decimal *Item_func_minus::decimal_op(my_decimal *decimal_value)
{
1327 1328 1329 1330
  my_decimal value1, *val1;
  my_decimal value2, *val2= 

  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1331 1332
  if ((null_value= args[0]->null_value))
    return 0;
1333
  val2= args[1]->val_decimal(&value2);
1334
  if (!(null_value= (args[1]->null_value ||
1335 1336 1337 1338
                     (check_decimal_overflow(my_decimal_sub(E_DEC_FATAL_ERROR &
                                                            ~E_DEC_OVERFLOW,
                                                            decimal_value, val1,
                                                            val2)) > 3))))
1339 1340
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
1341 1342
}

1343

unknown's avatar
unknown committed
1344
double Item_func_mul::real_op()
unknown's avatar
unknown committed
1345
{
1346
  DBUG_ASSERT(fixed == 1);
1347
  double value= args[0]->val_real() * args[1]->val_real();
unknown's avatar
unknown committed
1348
  if ((null_value=args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1349
    return 0.0;
1350
  return check_float_overflow(value);
unknown's avatar
unknown committed
1351 1352
}

unknown's avatar
unknown committed
1353 1354

longlong Item_func_mul::int_op()
unknown's avatar
unknown committed
1355
{
1356
  DBUG_ASSERT(fixed == 1);
1357 1358 1359 1360 1361 1362 1363 1364 1365
  longlong a= args[0]->val_int();
  longlong b= args[1]->val_int();
  longlong res;
  ulonglong res0, res1;
  ulong a0, a1, b0, b1;
  bool     res_unsigned= FALSE;
  bool     a_negative= FALSE, b_negative= FALSE;

  if ((null_value= args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1366
    return 0;
1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429

  /*
    First check whether the result can be represented as a
    (bool unsigned_flag, longlong value) pair, then check if it is compatible
    with this Item's unsigned_flag by calling check_integer_overflow().

    Let a = a1 * 2^32 + a0 and b = b1 * 2^32 + b0. Then
    a * b = (a1 * 2^32 + a0) * (b1 * 2^32 + b0) = a1 * b1 * 2^64 +
            + (a1 * b0 + a0 * b1) * 2^32 + a0 * b0;
    We can determine if the above sum overflows the ulonglong range by
    sequentially checking the following conditions:
    1. If both a1 and b1 are non-zero.
    2. Otherwise, if (a1 * b0 + a0 * b1) is greater than ULONG_MAX.
    3. Otherwise, if (a1 * b0 + a0 * b1) * 2^32 + a0 * b0 is greater than
    ULONGLONG_MAX.

    Since we also have to take the unsigned_flag for a and b into account,
    it is easier to first work with absolute values and set the
    correct sign later.
  */
  if (!args[0]->unsigned_flag && a < 0)
  {
    a_negative= TRUE;
    a= -a;
  }
  if (!args[1]->unsigned_flag && b < 0)
  {
    b_negative= TRUE;
    b= -b;
  }

  a0= 0xFFFFFFFFUL & a;
  a1= ((ulonglong) a) >> 32;
  b0= 0xFFFFFFFFUL & b;
  b1= ((ulonglong) b) >> 32;

  if (a1 && b1)
    goto err;

  res1= (ulonglong) a1 * b0 + (ulonglong) a0 * b1;
  if (res1 > 0xFFFFFFFFUL)
    goto err;

  res1= res1 << 32;
  res0= (ulonglong) a0 * b0;

  if (test_if_sum_overflows_ull(res1, res0))
    goto err;
  res= res1 + res0;

  if (a_negative != b_negative)
  {
    if ((ulonglong) res > (ulonglong) LONGLONG_MIN + 1)
      goto err;
    res= -res;
  }
  else
    res_unsigned= TRUE;

  return check_integer_overflow(res, res_unsigned);

err:
  return raise_integer_overflow();
unknown's avatar
unknown committed
1430 1431 1432
}


unknown's avatar
unknown committed
1433
/** See Item_func_plus::decimal_op for comments. */
1434

unknown's avatar
unknown committed
1435 1436
my_decimal *Item_func_mul::decimal_op(my_decimal *decimal_value)
{
1437 1438 1439
  my_decimal value1, *val1;
  my_decimal value2, *val2;
  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1440 1441
  if ((null_value= args[0]->null_value))
    return 0;
1442
  val2= args[1]->val_decimal(&value2);
1443
  if (!(null_value= (args[1]->null_value ||
1444 1445 1446 1447
                     (check_decimal_overflow(my_decimal_mul(E_DEC_FATAL_ERROR &
                                                            ~E_DEC_OVERFLOW,
                                                            decimal_value, val1,
                                                            val2)) > 3))))
1448 1449
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
1450 1451 1452
}


unknown's avatar
unknown committed
1453 1454
void Item_func_mul::result_precision()
{
unknown's avatar
unknown committed
1455 1456 1457 1458 1459 1460
  /* Integer operations keep unsigned_flag if one of arguments is unsigned */
  if (result_type() == INT_RESULT)
    unsigned_flag= args[0]->unsigned_flag | args[1]->unsigned_flag;
  else
    unsigned_flag= args[0]->unsigned_flag & args[1]->unsigned_flag;
  decimals= min(args[0]->decimals + args[1]->decimals, DECIMAL_MAX_SCALE);
1461 1462
  uint est_prec = args[0]->decimal_precision() + args[1]->decimal_precision();
  uint precision= min(est_prec, DECIMAL_MAX_PRECISION);
1463 1464
  max_length= my_decimal_precision_to_length_no_truncation(precision, decimals,
                                                           unsigned_flag);
unknown's avatar
unknown committed
1465 1466 1467 1468
}


double Item_func_div::real_op()
unknown's avatar
unknown committed
1469
{
1470
  DBUG_ASSERT(fixed == 1);
1471 1472
  double value= args[0]->val_real();
  double val2= args[1]->val_real();
unknown's avatar
unknown committed
1473 1474 1475 1476 1477
  if ((null_value= args[0]->null_value || args[1]->null_value))
    return 0.0;
  if (val2 == 0.0)
  {
    signal_divide_by_null();
unknown's avatar
unknown committed
1478
    return 0.0;
unknown's avatar
unknown committed
1479
  }
1480
  return check_float_overflow(value/val2);
unknown's avatar
unknown committed
1481 1482
}

unknown's avatar
unknown committed
1483

unknown's avatar
unknown committed
1484
my_decimal *Item_func_div::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1485
{
1486 1487
  my_decimal value1, *val1;
  my_decimal value2, *val2;
unknown's avatar
unknown committed
1488
  int err;
1489 1490

  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1491 1492
  if ((null_value= args[0]->null_value))
    return 0;
1493
  val2= args[1]->val_decimal(&value2);
unknown's avatar
unknown committed
1494 1495
  if ((null_value= args[1]->null_value))
    return 0;
1496 1497 1498 1499 1500 1501
  if ((err= check_decimal_overflow(my_decimal_div(E_DEC_FATAL_ERROR &
                                                  ~E_DEC_OVERFLOW &
                                                  ~E_DEC_DIV_ZERO,
                                                  decimal_value,
                                                  val1, val2,
                                                  prec_increment))) > 3)
unknown's avatar
unknown committed
1502 1503 1504 1505
  {
    if (err == E_DEC_DIV_ZERO)
      signal_divide_by_null();
    null_value= 1;
unknown's avatar
unknown committed
1506
    return 0;
1507
  }
unknown's avatar
unknown committed
1508
  return decimal_value;
unknown's avatar
unknown committed
1509 1510 1511 1512 1513
}


void Item_func_div::result_precision()
{
1514 1515 1516 1517
  uint precision=min(args[0]->decimal_precision() + 
                     args[1]->decimals + prec_increment,
                     DECIMAL_MAX_PRECISION);

unknown's avatar
unknown committed
1518 1519 1520 1521 1522 1523
  /* Integer operations keep unsigned_flag if one of arguments is unsigned */
  if (result_type() == INT_RESULT)
    unsigned_flag= args[0]->unsigned_flag | args[1]->unsigned_flag;
  else
    unsigned_flag= args[0]->unsigned_flag & args[1]->unsigned_flag;
  decimals= min(args[0]->decimals + prec_increment, DECIMAL_MAX_SCALE);
1524 1525
  max_length= my_decimal_precision_to_length_no_truncation(precision, decimals,
                                                           unsigned_flag);
unknown's avatar
unknown committed
1526 1527
}

unknown's avatar
unknown committed
1528

unknown's avatar
unknown committed
1529 1530
void Item_func_div::fix_length_and_dec()
{
unknown's avatar
unknown committed
1531
  DBUG_ENTER("Item_func_div::fix_length_and_dec");
unknown's avatar
unknown committed
1532
  prec_increment= current_thd->variables.div_precincrement;
unknown's avatar
unknown committed
1533
  Item_num_op::fix_length_and_dec();
1534
  switch(hybrid_type) {
unknown's avatar
unknown committed
1535 1536
  case REAL_RESULT:
  {
unknown's avatar
unknown committed
1537
    decimals=max(args[0]->decimals,args[1]->decimals)+prec_increment;
unknown's avatar
unknown committed
1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556
    set_if_smaller(decimals, NOT_FIXED_DEC);
    max_length=args[0]->max_length - args[0]->decimals + decimals;
    uint tmp=float_length(decimals);
    set_if_smaller(max_length,tmp);
    break;
  }
  case INT_RESULT:
    hybrid_type= DECIMAL_RESULT;
    DBUG_PRINT("info", ("Type changed: DECIMAL_RESULT"));
    result_precision();
    break;
  case DECIMAL_RESULT:
    result_precision();
    break;
  default:
    DBUG_ASSERT(0);
  }
  maybe_null= 1; // devision by zero
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1557 1558
}

1559 1560 1561 1562

/* Integer division */
longlong Item_func_int_div::val_int()
{
1563
  DBUG_ASSERT(fixed == 1);
1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591

  /*
    Perform division using DECIMAL math if either of the operands has a
    non-integer type
  */
  if (args[0]->result_type() != INT_RESULT ||
      args[1]->result_type() != INT_RESULT)
  {
    my_decimal value0, value1, tmp;
    my_decimal *val0, *val1;
    longlong res;
    int err;

    val0= args[0]->val_decimal(&value0);
    val1= args[1]->val_decimal(&value1);
    if ((null_value= (args[0]->null_value || args[1]->null_value)))
      return 0;

    if ((err= my_decimal_div(E_DEC_FATAL_ERROR & ~E_DEC_DIV_ZERO, &tmp,
                             val0, val1, 0)) > 3)
    {
      if (err == E_DEC_DIV_ZERO)
        signal_divide_by_null();
      return 0;
    }

    if (my_decimal2int(E_DEC_FATAL_ERROR, &tmp, unsigned_flag, &res) &
        E_DEC_OVERFLOW)
1592
      raise_integer_overflow();
1593 1594 1595
    return res;
  }
  
1596 1597 1598 1599
  longlong val0=args[0]->val_int();
  longlong val1=args[1]->val_int();
  bool val0_negative, val1_negative, res_negative;
  ulonglong uval0, uval1, res;
1600
  if ((null_value= (args[0]->null_value || args[1]->null_value)))
unknown's avatar
unknown committed
1601
    return 0;
1602
  if (val1 == 0)
unknown's avatar
unknown committed
1603 1604
  {
    signal_divide_by_null();
1605
    return 0;
unknown's avatar
unknown committed
1606
  }
1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620

  val0_negative= !args[0]->unsigned_flag && val0 < 0;
  val1_negative= !args[1]->unsigned_flag && val1 < 0;
  res_negative= val0_negative != val1_negative;
  uval0= (ulonglong) (val0_negative ? -val0 : val0);
  uval1= (ulonglong) (val1_negative ? -val1 : val1);
  res= uval0 / uval1;
  if (res_negative)
  {
    if (res > (ulonglong) LONGLONG_MAX)
      return raise_integer_overflow();
    res= (ulonglong) (-(longlong) res);
  }
  return check_integer_overflow(res, !res_negative);
1621 1622 1623 1624 1625
}


void Item_func_int_div::fix_length_and_dec()
{
1626 1627 1628 1629 1630
  Item_result argtype= args[0]->result_type();
  /* use precision ony for the data type it is applicable for and valid */
  max_length=args[0]->max_length -
    (argtype == DECIMAL_RESULT || argtype == INT_RESULT ?
     args[0]->decimals : 0);
1631
  maybe_null=1;
unknown's avatar
unknown committed
1632
  unsigned_flag=args[0]->unsigned_flag | args[1]->unsigned_flag;
1633 1634 1635
}


unknown's avatar
unknown committed
1636 1637 1638
longlong Item_func_mod::int_op()
{
  DBUG_ASSERT(fixed == 1);
1639 1640 1641 1642 1643
  longlong val0= args[0]->val_int();
  longlong val1= args[1]->val_int();
  bool val0_negative, val1_negative;
  ulonglong uval0, uval1;
  ulonglong res;
1644

unknown's avatar
unknown committed
1645 1646
  if ((null_value= args[0]->null_value || args[1]->null_value))
    return 0; /* purecov: inspected */
1647
  if (val1 == 0)
unknown's avatar
unknown committed
1648 1649 1650 1651
  {
    signal_divide_by_null();
    return 0;
  }
1652

1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664
  /*
    '%' is calculated by integer division internally. Since dividing
    LONGLONG_MIN by -1 generates SIGFPE, we calculate using unsigned values and
    then adjust the sign appropriately.
  */
  val0_negative= !args[0]->unsigned_flag && val0 < 0;
  val1_negative= !args[1]->unsigned_flag && val1 < 0;
  uval0= (ulonglong) (val0_negative ? -val0 : val0);
  uval1= (ulonglong) (val1_negative ? -val1 : val1);
  res= uval0 % uval1;
  return check_integer_overflow(val0_negative ? -(longlong) res : res,
                                !val0_negative);
unknown's avatar
unknown committed
1665 1666 1667
}

double Item_func_mod::real_op()
unknown's avatar
unknown committed
1668
{
1669
  DBUG_ASSERT(fixed == 1);
1670 1671
  double value= args[0]->val_real();
  double val2=  args[1]->val_real();
unknown's avatar
unknown committed
1672
  if ((null_value= args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1673
    return 0.0; /* purecov: inspected */
unknown's avatar
unknown committed
1674 1675 1676 1677 1678
  if (val2 == 0.0)
  {
    signal_divide_by_null();
    return 0.0;
  }
unknown's avatar
unknown committed
1679 1680 1681
  return fmod(value,val2);
}

unknown's avatar
unknown committed
1682 1683

my_decimal *Item_func_mod::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1684
{
1685 1686 1687 1688
  my_decimal value1, *val1;
  my_decimal value2, *val2;

  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1689 1690
  if ((null_value= args[0]->null_value))
    return 0;
1691
  val2= args[1]->val_decimal(&value2);
unknown's avatar
unknown committed
1692 1693 1694
  if ((null_value= args[1]->null_value))
    return 0;
  switch (my_decimal_mod(E_DEC_FATAL_ERROR & ~E_DEC_DIV_ZERO, decimal_value,
1695
                         val1, val2)) {
unknown's avatar
unknown committed
1696 1697 1698 1699
  case E_DEC_TRUNCATED:
  case E_DEC_OK:
    return decimal_value;
  case E_DEC_DIV_ZERO:
unknown's avatar
unknown committed
1700
    signal_divide_by_null();
unknown's avatar
unknown committed
1701
  default:
1702
    null_value= 1;
unknown's avatar
unknown committed
1703 1704
    return 0;
  }
unknown's avatar
unknown committed
1705 1706
}

unknown's avatar
unknown committed
1707 1708

void Item_func_mod::result_precision()
unknown's avatar
unknown committed
1709
{
unknown's avatar
unknown committed
1710 1711
  decimals= max(args[0]->decimals, args[1]->decimals);
  max_length= max(args[0]->max_length, args[1]->max_length);
unknown's avatar
unknown committed
1712 1713 1714 1715 1716
}


void Item_func_mod::fix_length_and_dec()
{
1717
  Item_num_op::fix_length_and_dec();
1718
  maybe_null= 1;
1719
  unsigned_flag= args[0]->unsigned_flag;
unknown's avatar
unknown committed
1720 1721 1722
}


unknown's avatar
unknown committed
1723
double Item_func_neg::real_op()
unknown's avatar
unknown committed
1724
{
1725
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1726
  null_value= args[0]->null_value;
unknown's avatar
unknown committed
1727 1728 1729
  return -value;
}

unknown's avatar
unknown committed
1730

unknown's avatar
unknown committed
1731
longlong Item_func_neg::int_op()
unknown's avatar
unknown committed
1732
{
unknown's avatar
unknown committed
1733
  longlong value= args[0]->val_int();
1734 1735 1736 1737 1738 1739
  if ((null_value= args[0]->null_value))
    return 0;
  if (args[0]->unsigned_flag &&
      (ulonglong) value > (ulonglong) LONGLONG_MAX + 1)
    return raise_integer_overflow();
  return check_integer_overflow(-value, !args[0]->unsigned_flag && value < 0);
unknown's avatar
unknown committed
1740 1741
}

unknown's avatar
unknown committed
1742

unknown's avatar
unknown committed
1743
my_decimal *Item_func_neg::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1744
{
unknown's avatar
unknown committed
1745 1746 1747 1748 1749
  my_decimal val, *value= args[0]->val_decimal(&val);
  if (!(null_value= args[0]->null_value))
  {
    my_decimal2decimal(value, decimal_value);
    my_decimal_neg(decimal_value);
1750
    return decimal_value;
unknown's avatar
unknown committed
1751
  }
1752
  return 0;
unknown's avatar
unknown committed
1753 1754
}

1755

unknown's avatar
unknown committed
1756
void Item_func_neg::fix_num_length_and_dec()
unknown's avatar
unknown committed
1757
{
unknown's avatar
unknown committed
1758 1759 1760
  decimals= args[0]->decimals;
  /* 1 add because sign can appear */
  max_length= args[0]->max_length + 1;
unknown's avatar
unknown committed
1761 1762
}

unknown's avatar
unknown committed
1763

1764
void Item_func_neg::fix_length_and_dec()
unknown's avatar
unknown committed
1765
{
1766
  DBUG_ENTER("Item_func_neg::fix_length_and_dec");
unknown's avatar
unknown committed
1767
  Item_func_num1::fix_length_and_dec();
1768 1769 1770 1771

  /*
    If this is in integer context keep the context as integer if possible
    (This is how multiplication and other integer functions works)
1772 1773
    Use val() to get value as arg_type doesn't mean that item is
    Item_int or Item_real due to existence of Item_param.
1774
  */
unknown's avatar
unknown committed
1775
  if (hybrid_type == INT_RESULT && args[0]->const_item())
unknown's avatar
unknown committed
1776
  {
unknown's avatar
unknown committed
1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788
    longlong val= args[0]->val_int();
    if ((ulonglong) val >= (ulonglong) LONGLONG_MIN &&
        ((ulonglong) val != (ulonglong) LONGLONG_MIN ||
          args[0]->type() != INT_ITEM))        
    {
      /*
        Ensure that result is converted to DECIMAL, as longlong can't hold
        the negated number
      */
      hybrid_type= DECIMAL_RESULT;
      DBUG_PRINT("info", ("Type changed: DECIMAL_RESULT"));
    }
unknown's avatar
unknown committed
1789
  }
unknown's avatar
unknown committed
1790
  unsigned_flag= 0;
unknown's avatar
unknown committed
1791
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1792 1793
}

unknown's avatar
unknown committed
1794

unknown's avatar
unknown committed
1795
double Item_func_abs::real_op()
unknown's avatar
unknown committed
1796
{
1797
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1798
  null_value= args[0]->null_value;
unknown's avatar
unknown committed
1799 1800 1801
  return fabs(value);
}

unknown's avatar
unknown committed
1802

unknown's avatar
unknown committed
1803
longlong Item_func_abs::int_op()
unknown's avatar
unknown committed
1804
{
unknown's avatar
unknown committed
1805
  longlong value= args[0]->val_int();
1806 1807
  if ((null_value= args[0]->null_value))
    return 0;
1808 1809 1810 1811 1812 1813
  if (unsigned_flag)
    return value;
  /* -LONGLONG_MIN = LONGLONG_MAX + 1 => outside of signed longlong range */
  if (value == LONGLONG_MIN)
    return raise_integer_overflow();
  return (value >= 0) ? value : -value;
unknown's avatar
unknown committed
1814 1815
}

unknown's avatar
unknown committed
1816

unknown's avatar
unknown committed
1817
my_decimal *Item_func_abs::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1818
{
unknown's avatar
unknown committed
1819 1820
  my_decimal val, *value= args[0]->val_decimal(&val);
  if (!(null_value= args[0]->null_value))
unknown's avatar
unknown committed
1821
  {
unknown's avatar
unknown committed
1822 1823 1824
    my_decimal2decimal(value, decimal_value);
    if (decimal_value->sign())
      my_decimal_neg(decimal_value);
1825
    return decimal_value;
unknown's avatar
unknown committed
1826
  }
1827
  return 0;
unknown's avatar
unknown committed
1828 1829 1830 1831 1832 1833
}


void Item_func_abs::fix_length_and_dec()
{
  Item_func_num1::fix_length_and_dec();
1834
  unsigned_flag= args[0]->unsigned_flag;
unknown's avatar
unknown committed
1835 1836
}

unknown's avatar
unknown committed
1837

unknown's avatar
unknown committed
1838
/** Gateway to natural LOG function. */
1839
double Item_func_ln::val_real()
1840
{
1841
  DBUG_ASSERT(fixed == 1);
1842
  double value= args[0]->val_real();
1843
  if ((null_value= args[0]->null_value))
1844
    return 0.0;
1845
  if (value <= 0.0)
1846 1847
  {
    signal_divide_by_null();
1848
    return 0.0;
1849
  }
1850 1851 1852
  return log(value);
}

unknown's avatar
unknown committed
1853 1854 1855 1856 1857
/** 
  Extended but so slower LOG function.

  We have to check if all values are > zero and first one is not one
  as these are the cases then result is not a number.
1858
*/ 
1859
double Item_func_log::val_real()
unknown's avatar
unknown committed
1860
{
1861
  DBUG_ASSERT(fixed == 1);
1862
  double value= args[0]->val_real();
1863
  if ((null_value= args[0]->null_value))
1864
    return 0.0;
1865
  if (value <= 0.0)
1866 1867 1868 1869
  {
    signal_divide_by_null();
    return 0.0;
  }
1870 1871
  if (arg_count == 2)
  {
1872
    double value2= args[1]->val_real();
1873
    if ((null_value= args[1]->null_value))
1874
      return 0.0;
1875
    if (value2 <= 0.0 || value == 1.0)
1876 1877 1878 1879
    {
      signal_divide_by_null();
      return 0.0;
    }
1880 1881
    return log(value2) / log(value);
  }
unknown's avatar
unknown committed
1882 1883 1884
  return log(value);
}

1885
double Item_func_log2::val_real()
1886
{
1887
  DBUG_ASSERT(fixed == 1);
1888
  double value= args[0]->val_real();
1889 1890

  if ((null_value=args[0]->null_value))
1891
    return 0.0;
1892
  if (value <= 0.0)
1893 1894 1895 1896
  {
    signal_divide_by_null();
    return 0.0;
  }
1897
  return log(value) / M_LN2;
1898 1899
}

1900
double Item_func_log10::val_real()
unknown's avatar
unknown committed
1901
{
1902
  DBUG_ASSERT(fixed == 1);
1903
  double value= args[0]->val_real();
1904
  if ((null_value= args[0]->null_value))
1905
    return 0.0;
1906
  if (value <= 0.0)
1907 1908 1909 1910
  {
    signal_divide_by_null();
    return 0.0;
  }
unknown's avatar
unknown committed
1911 1912 1913
  return log10(value);
}

1914
double Item_func_exp::val_real()
unknown's avatar
unknown committed
1915
{
1916
  DBUG_ASSERT(fixed == 1);
1917
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1918 1919
  if ((null_value=args[0]->null_value))
    return 0.0; /* purecov: inspected */
1920
  return check_float_overflow(exp(value));
unknown's avatar
unknown committed
1921 1922
}

1923
double Item_func_sqrt::val_real()
unknown's avatar
unknown committed
1924
{
1925
  DBUG_ASSERT(fixed == 1);
1926
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1927 1928 1929 1930 1931
  if ((null_value=(args[0]->null_value || value < 0)))
    return 0.0; /* purecov: inspected */
  return sqrt(value);
}

1932
double Item_func_pow::val_real()
unknown's avatar
unknown committed
1933
{
1934
  DBUG_ASSERT(fixed == 1);
1935 1936
  double value= args[0]->val_real();
  double val2= args[1]->val_real();
unknown's avatar
unknown committed
1937 1938
  if ((null_value=(args[0]->null_value || args[1]->null_value)))
    return 0.0; /* purecov: inspected */
1939
  return check_float_overflow(pow(value,val2));
unknown's avatar
unknown committed
1940 1941 1942 1943
}

// Trigonometric functions

1944
double Item_func_acos::val_real()
unknown's avatar
unknown committed
1945
{
1946
  DBUG_ASSERT(fixed == 1);
1947 1948
  /* One can use this to defer SELECT processing. */
  DEBUG_SYNC(current_thd, "before_acos_function");
unknown's avatar
unknown committed
1949
  // the volatile's for BUG #2338 to calm optimizer down (because of gcc's bug)
1950
  volatile double value= args[0]->val_real();
unknown's avatar
unknown committed
1951 1952
  if ((null_value=(args[0]->null_value || (value < -1.0 || value > 1.0))))
    return 0.0;
1953
  return acos(value);
unknown's avatar
unknown committed
1954 1955
}

1956
double Item_func_asin::val_real()
unknown's avatar
unknown committed
1957
{
1958
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1959
  // the volatile's for BUG #2338 to calm optimizer down (because of gcc's bug)
1960
  volatile double value= args[0]->val_real();
unknown's avatar
unknown committed
1961 1962
  if ((null_value=(args[0]->null_value || (value < -1.0 || value > 1.0))))
    return 0.0;
1963
  return asin(value);
unknown's avatar
unknown committed
1964 1965
}

1966
double Item_func_atan::val_real()
unknown's avatar
unknown committed
1967
{
1968
  DBUG_ASSERT(fixed == 1);
1969
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1970 1971 1972 1973
  if ((null_value=args[0]->null_value))
    return 0.0;
  if (arg_count == 2)
  {
1974
    double val2= args[1]->val_real();
unknown's avatar
unknown committed
1975 1976
    if ((null_value=args[1]->null_value))
      return 0.0;
1977
    return check_float_overflow(atan2(value,val2));
unknown's avatar
unknown committed
1978
  }
1979
  return atan(value);
unknown's avatar
unknown committed
1980 1981
}

1982
double Item_func_cos::val_real()
unknown's avatar
unknown committed
1983
{
1984
  DBUG_ASSERT(fixed == 1);
1985
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1986 1987
  if ((null_value=args[0]->null_value))
    return 0.0;
1988
  return cos(value);
unknown's avatar
unknown committed
1989 1990
}

1991
double Item_func_sin::val_real()
unknown's avatar
unknown committed
1992
{
1993
  DBUG_ASSERT(fixed == 1);
1994
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1995 1996
  if ((null_value=args[0]->null_value))
    return 0.0;
1997
  return sin(value);
unknown's avatar
unknown committed
1998 1999
}

2000
double Item_func_tan::val_real()
unknown's avatar
unknown committed
2001
{
2002
  DBUG_ASSERT(fixed == 1);
2003
  double value= args[0]->val_real();
unknown's avatar
unknown committed
2004 2005
  if ((null_value=args[0]->null_value))
    return 0.0;
2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016
  return check_float_overflow(tan(value));
}


double Item_func_cot::val_real()
{
  DBUG_ASSERT(fixed == 1);
  double value= args[0]->val_real();
  if ((null_value=args[0]->null_value))
    return 0.0;
  return check_float_overflow(1.0 / tan(value));
unknown's avatar
unknown committed
2017 2018 2019 2020 2021 2022 2023 2024
}


// Shift-functions, same as << and >> in C/C++


longlong Item_func_shift_left::val_int()
{
2025
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039
  uint shift;
  ulonglong res= ((ulonglong) args[0]->val_int() <<
		  (shift=(uint) args[1]->val_int()));
  if (args[0]->null_value || args[1]->null_value)
  {
    null_value=1;
    return 0;
  }
  null_value=0;
  return (shift < sizeof(longlong)*8 ? (longlong) res : LL(0));
}

longlong Item_func_shift_right::val_int()
{
2040
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055
  uint shift;
  ulonglong res= (ulonglong) args[0]->val_int() >>
    (shift=(uint) args[1]->val_int());
  if (args[0]->null_value || args[1]->null_value)
  {
    null_value=1;
    return 0;
  }
  null_value=0;
  return (shift < sizeof(longlong)*8 ? (longlong) res : LL(0));
}


longlong Item_func_bit_neg::val_int()
{
2056
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073
  ulonglong res= (ulonglong) args[0]->val_int();
  if ((null_value=args[0]->null_value))
    return 0;
  return ~res;
}


// Conversion functions

void Item_func_integer::fix_length_and_dec()
{
  max_length=args[0]->max_length - args[0]->decimals+1;
  uint tmp=float_length(decimals);
  set_if_smaller(max_length,tmp);
  decimals=0;
}

unknown's avatar
unknown committed
2074
void Item_func_int_val::fix_num_length_and_dec()
unknown's avatar
unknown committed
2075
{
unknown's avatar
unknown committed
2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127
  max_length= args[0]->max_length - (args[0]->decimals ?
                                     args[0]->decimals + 1 :
                                     0) + 2;
  uint tmp= float_length(decimals);
  set_if_smaller(max_length,tmp);
  decimals= 0;
}


void Item_func_int_val::find_num_type()
{
  DBUG_ENTER("Item_func_int_val::find_num_type");
  DBUG_PRINT("info", ("name %s", func_name()));
  switch(hybrid_type= args[0]->result_type())
  {
  case STRING_RESULT:
  case REAL_RESULT:
    hybrid_type= REAL_RESULT;
    max_length= float_length(decimals);
    break;
  case INT_RESULT:
  case DECIMAL_RESULT:
    /*
      -2 because in most high position can't be used any digit for longlong
      and one position for increasing value during operation
    */
    if ((args[0]->max_length - args[0]->decimals) >=
        (DECIMAL_LONGLONG_DIGITS - 2))
    {
      hybrid_type= DECIMAL_RESULT;
    }
    else
    {
      unsigned_flag= args[0]->unsigned_flag;
      hybrid_type= INT_RESULT;
    }
    break;
  default:
    DBUG_ASSERT(0);
  }
  DBUG_PRINT("info", ("Type: %s",
                      (hybrid_type == REAL_RESULT ? "REAL_RESULT" :
                       hybrid_type == DECIMAL_RESULT ? "DECIMAL_RESULT" :
                       hybrid_type == INT_RESULT ? "INT_RESULT" :
                       "--ILLEGAL!!!--")));

  DBUG_VOID_RETURN;
}


longlong Item_func_ceiling::int_op()
{
2128 2129 2130 2131 2132 2133 2134 2135 2136
  longlong result;
  switch (args[0]->result_type()) {
  case INT_RESULT:
    result= args[0]->val_int();
    null_value= args[0]->null_value;
    break;
  case DECIMAL_RESULT:
  {
    my_decimal dec_buf, *dec;
2137
    if ((dec= Item_func_ceiling::decimal_op(&dec_buf)))
2138 2139 2140 2141 2142 2143
      my_decimal2int(E_DEC_FATAL_ERROR, dec, unsigned_flag, &result);
    else
      result= 0;
    break;
  }
  default:
2144
    result= (longlong)Item_func_ceiling::real_op();
2145 2146
  };
  return result;
unknown's avatar
unknown committed
2147 2148
}

unknown's avatar
unknown committed
2149 2150

double Item_func_ceiling::real_op()
unknown's avatar
unknown committed
2151
{
unknown's avatar
unknown committed
2152 2153 2154 2155
  /*
    the volatile's for BUG #3051 to calm optimizer down (because of gcc's
    bug)
  */
2156
  volatile double value= args[0]->val_real();
unknown's avatar
unknown committed
2157 2158 2159 2160 2161 2162
  null_value= args[0]->null_value;
  return ceil(value);
}


my_decimal *Item_func_ceiling::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
2163
{
unknown's avatar
unknown committed
2164
  my_decimal val, *value= args[0]->val_decimal(&val);
2165 2166 2167 2168 2169
  if (!(null_value= (args[0]->null_value ||
                     my_decimal_ceiling(E_DEC_FATAL_ERROR, value,
                                        decimal_value) > 1)))
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
2170 2171 2172 2173 2174
}


longlong Item_func_floor::int_op()
{
2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193
  longlong result;
  switch (args[0]->result_type()) {
  case INT_RESULT:
    result= args[0]->val_int();
    null_value= args[0]->null_value;
    break;
  case DECIMAL_RESULT:
  {
    my_decimal dec_buf, *dec;
    if ((dec= Item_func_floor::decimal_op(&dec_buf)))
      my_decimal2int(E_DEC_FATAL_ERROR, dec, unsigned_flag, &result);
    else
      result= 0;
    break;
  }
  default:
    result= (longlong)Item_func_floor::real_op();
  };
  return result;
unknown's avatar
unknown committed
2194 2195
}

unknown's avatar
unknown committed
2196 2197

double Item_func_floor::real_op()
unknown's avatar
unknown committed
2198
{
unknown's avatar
unknown committed
2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211
  /*
    the volatile's for BUG #3051 to calm optimizer down (because of gcc's
    bug)
  */
  volatile double value= args[0]->val_real();
  null_value= args[0]->null_value;
  return floor(value);
}


my_decimal *Item_func_floor::decimal_op(my_decimal *decimal_value)
{
  my_decimal val, *value= args[0]->val_decimal(&val);
2212 2213 2214 2215 2216
  if (!(null_value= (args[0]->null_value ||
                     my_decimal_floor(E_DEC_FATAL_ERROR, value,
                                      decimal_value) > 1)))
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
2217 2218 2219
}


unknown's avatar
unknown committed
2220
void Item_func_round::fix_length_and_dec()
unknown's avatar
unknown committed
2221
{
2222 2223 2224 2225
  int      decimals_to_set;
  longlong val1;
  bool     val1_unsigned;
  
unknown's avatar
unknown committed
2226 2227
  unsigned_flag= args[0]->unsigned_flag;
  if (!args[1]->const_item())
unknown's avatar
unknown committed
2228
  {
unknown's avatar
unknown committed
2229
    decimals= args[0]->decimals;
2230
    max_length= float_length(decimals);
2231 2232 2233 2234 2235 2236 2237
    if (args[0]->result_type() == DECIMAL_RESULT)
    {
      max_length++;
      hybrid_type= DECIMAL_RESULT;
    }
    else
      hybrid_type= REAL_RESULT;
unknown's avatar
unknown committed
2238 2239
    return;
  }
2240 2241 2242 2243 2244 2245 2246 2247

  val1= args[1]->val_int();
  val1_unsigned= args[1]->unsigned_flag;
  if (val1 < 0)
    decimals_to_set= val1_unsigned ? INT_MAX : 0;
  else
    decimals_to_set= (val1 > INT_MAX) ? INT_MAX : (int) val1;

unknown's avatar
unknown committed
2248 2249 2250
  if (args[0]->decimals == NOT_FIXED_DEC)
  {
    decimals= min(decimals_to_set, NOT_FIXED_DEC);
2251
    max_length= float_length(decimals);
unknown's avatar
unknown committed
2252 2253 2254 2255
    hybrid_type= REAL_RESULT;
    return;
  }
  
unknown's avatar
unknown committed
2256
  switch (args[0]->result_type()) {
unknown's avatar
unknown committed
2257 2258 2259 2260 2261 2262 2263
  case REAL_RESULT:
  case STRING_RESULT:
    hybrid_type= REAL_RESULT;
    decimals= min(decimals_to_set, NOT_FIXED_DEC);
    max_length= float_length(decimals);
    break;
  case INT_RESULT:
2264
    if ((!decimals_to_set && truncate) || (args[0]->decimal_precision() < DECIMAL_LONGLONG_DIGITS))
unknown's avatar
unknown committed
2265
    {
2266
      int length_can_increase= test(!truncate && (val1 < 0) && !val1_unsigned);
unknown's avatar
unknown committed
2267
      max_length= args[0]->max_length + length_can_increase;
unknown's avatar
unknown committed
2268 2269 2270 2271 2272
      /* Here we can keep INT_RESULT */
      hybrid_type= INT_RESULT;
      decimals= 0;
      break;
    }
unknown's avatar
unknown committed
2273
    /* fall through */
unknown's avatar
unknown committed
2274 2275 2276
  case DECIMAL_RESULT:
  {
    hybrid_type= DECIMAL_RESULT;
2277
    decimals_to_set= min(DECIMAL_MAX_SCALE, decimals_to_set);
unknown's avatar
unknown committed
2278 2279
    int decimals_delta= args[0]->decimals - decimals_to_set;
    int precision= args[0]->decimal_precision();
2280 2281 2282
    int length_increase= ((decimals_delta <= 0) || truncate) ? 0:1;

    precision-= decimals_delta - length_increase;
2283
    decimals= min(decimals_to_set, DECIMAL_MAX_SCALE);
2284 2285 2286
    max_length= my_decimal_precision_to_length_no_truncation(precision,
                                                             decimals,
                                                             unsigned_flag);
unknown's avatar
unknown committed
2287 2288 2289 2290
    break;
  }
  default:
    DBUG_ASSERT(0); /* This result type isn't handled */
unknown's avatar
unknown committed
2291 2292 2293
  }
}

2294 2295
double my_double_round(double value, longlong dec, bool dec_unsigned,
                       bool truncate)
unknown's avatar
unknown committed
2296
{
2297
  double tmp;
2298 2299
  bool dec_negative= (dec < 0) && !dec_unsigned;
  ulonglong abs_dec= dec_negative ? -dec : dec;
2300 2301 2302 2303 2304
  /*
    tmp2 is here to avoid return the value with 80 bit precision
    This will fix that the test round(0.1,1) = round(0.1,1) is true
  */
  volatile double tmp2;
unknown's avatar
unknown committed
2305

2306 2307
  tmp=(abs_dec < array_elements(log_10) ?
       log_10[abs_dec] : pow(10.0,(double) abs_dec));
unknown's avatar
unknown committed
2308

2309
  if (dec_negative && my_isinf(tmp))
2310
    tmp2= 0;
2311
  else if (!dec_negative && my_isinf(value * tmp))
2312 2313
    tmp2= value;
  else if (truncate)
unknown's avatar
unknown committed
2314 2315
  {
    if (value >= 0)
2316
      tmp2= dec < 0 ? floor(value/tmp)*tmp : floor(value*tmp)/tmp;
unknown's avatar
unknown committed
2317
    else
2318
      tmp2= dec < 0 ? ceil(value/tmp)*tmp : ceil(value*tmp)/tmp;
unknown's avatar
unknown committed
2319
  }
2320 2321 2322
  else
    tmp2=dec < 0 ? rint(value/tmp)*tmp : rint(value*tmp)/tmp;
  return tmp2;
unknown's avatar
unknown committed
2323 2324 2325
}


2326 2327 2328 2329 2330
double Item_func_round::real_op()
{
  double value= args[0]->val_real();

  if (!(null_value= args[0]->null_value || args[1]->null_value))
2331 2332
    return my_double_round(value, args[1]->val_int(), args[1]->unsigned_flag,
                           truncate);
2333 2334 2335 2336

  return 0.0;
}

2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347
/*
  Rounds a given value to a power of 10 specified as the 'to' argument,
  avoiding overflows when the value is close to the ulonglong range boundary.
*/

static inline ulonglong my_unsigned_round(ulonglong value, ulonglong to)
{
  ulonglong tmp= value / to * to;
  return (value - tmp < (to >> 1)) ? tmp : tmp + to;
}

2348

unknown's avatar
unknown committed
2349 2350 2351
longlong Item_func_round::int_op()
{
  longlong value= args[0]->val_int();
2352
  longlong dec= args[1]->val_int();
unknown's avatar
unknown committed
2353
  decimals= 0;
2354
  ulonglong abs_dec;
unknown's avatar
unknown committed
2355 2356
  if ((null_value= args[0]->null_value || args[1]->null_value))
    return 0;
2357
  if ((dec >= 0) || args[1]->unsigned_flag)
unknown's avatar
unknown committed
2358 2359 2360
    return value; // integer have not digits after point

  abs_dec= -dec;
unknown's avatar
unknown committed
2361 2362 2363 2364 2365 2366 2367
  longlong tmp;
  
  if(abs_dec >= array_elements(log_10_int))
    return 0;
  
  tmp= log_10_int[abs_dec];
  
unknown's avatar
unknown committed
2368
  if (truncate)
2369 2370
    value= (unsigned_flag) ?
      ((ulonglong) value / tmp) * tmp : (value / tmp) * tmp;
unknown's avatar
unknown committed
2371
  else
2372 2373
    value= (unsigned_flag || value >= 0) ?
      my_unsigned_round((ulonglong) value, tmp) :
2374
      -(longlong) my_unsigned_round((ulonglong) -value, tmp);
unknown's avatar
unknown committed
2375
  return value;
unknown's avatar
unknown committed
2376 2377 2378 2379 2380 2381
}


my_decimal *Item_func_round::decimal_op(my_decimal *decimal_value)
{
  my_decimal val, *value= args[0]->val_decimal(&val);
2382
  longlong dec= args[1]->val_int();
2383
  if (dec >= 0 || args[1]->unsigned_flag)
2384
    dec= min((ulonglong) dec, decimals);
2385 2386 2387
  else if (dec < INT_MIN)
    dec= INT_MIN;
    
2388
  if (!(null_value= (args[0]->null_value || args[1]->null_value ||
2389
                     my_decimal_round(E_DEC_FATAL_ERROR, value, (int) dec,
2390 2391 2392
                                      truncate, decimal_value) > 1))) 
  {
    decimal_value->frac= decimals;
2393
    return decimal_value;
2394
  }
2395
  return 0;
unknown's avatar
unknown committed
2396 2397 2398
}


2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410
void Item_func_rand::seed_random(Item *arg)
{
  /*
    TODO: do not do reinit 'rand' for every execute of PS/SP if
    args[0] is a constant.
  */
  uint32 tmp= (uint32) arg->val_int();
  randominit(rand, (uint32) (tmp*0x10001L+55555555L),
             (uint32) (tmp*0x10000001L));
}


2411
bool Item_func_rand::fix_fields(THD *thd,Item **ref)
unknown's avatar
unknown committed
2412
{
2413
  if (Item_real_func::fix_fields(thd, ref))
2414
    return TRUE;
2415
  used_tables_cache|= RAND_TABLE_BIT;
unknown's avatar
unknown committed
2416 2417
  if (arg_count)
  {					// Only use argument once in query
2418
    /*
unknown's avatar
Rename:  
unknown committed
2419
      Allocate rand structure once: we must use thd->stmt_arena
2420 2421
      to create rand in proper mem_root if it's a prepared statement or
      stored procedure.
2422 2423 2424

      No need to send a Rand log event if seed was given eg: RAND(seed),
      as it will be replicated in the query as such.
2425 2426
    */
    if (!rand && !(rand= (struct rand_struct*)
unknown's avatar
Rename:  
unknown committed
2427
                   thd->stmt_arena->alloc(sizeof(*rand))))
2428
      return TRUE;
unknown's avatar
unknown committed
2429
  }
2430
  else
unknown's avatar
unknown committed
2431
  {
2432 2433 2434 2435 2436
    /*
      Save the seed only the first time RAND() is used in the query
      Once events are forwarded rather than recreated,
      the following can be skipped if inside the slave thread
    */
2437 2438 2439 2440 2441 2442
    if (!thd->rand_used)
    {
      thd->rand_used= 1;
      thd->rand_saved_seed1= thd->rand.seed1;
      thd->rand_saved_seed2= thd->rand.seed2;
    }
2443
    rand= &thd->rand;
unknown's avatar
unknown committed
2444
  }
2445
  return FALSE;
2446 2447
}

unknown's avatar
unknown committed
2448 2449 2450 2451 2452 2453
void Item_func_rand::update_used_tables()
{
  Item_real_func::update_used_tables();
  used_tables_cache|= RAND_TABLE_BIT;
}

2454

2455
double Item_func_rand::val_real()
2456
{
2457
  DBUG_ASSERT(fixed == 1);
2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472
  if (arg_count)
  {
    if (!args[0]->const_item())
      seed_random(args[0]);
    else if (first_eval)
    {
      /*
        Constantness of args[0] may be set during JOIN::optimize(), if arg[0]
        is a field item of "constant" table. Thus, we have to evaluate
        seed_random() for constant arg there but not at the fix_fields method.
      */
      first_eval= FALSE;
      seed_random(args[0]);
    }
  }
2473
  return my_rnd(rand);
unknown's avatar
unknown committed
2474 2475 2476 2477
}

longlong Item_func_sign::val_int()
{
2478
  DBUG_ASSERT(fixed == 1);
2479
  double value= args[0]->val_real();
unknown's avatar
unknown committed
2480 2481 2482 2483 2484
  null_value=args[0]->null_value;
  return value < 0.0 ? -1 : (value > 0 ? 1 : 0);
}


2485
double Item_func_units::val_real()
unknown's avatar
unknown committed
2486
{
2487
  DBUG_ASSERT(fixed == 1);
2488
  double value= args[0]->val_real();
unknown's avatar
unknown committed
2489 2490
  if ((null_value=args[0]->null_value))
    return 0;
2491
  return check_float_overflow(value * mul + add);
unknown's avatar
unknown committed
2492 2493 2494 2495 2496
}


void Item_func_min_max::fix_length_and_dec()
{
unknown's avatar
unknown committed
2497
  int max_int_part=0;
2498
  bool datetime_found= FALSE;
unknown's avatar
unknown committed
2499 2500
  decimals=0;
  max_length=0;
unknown's avatar
unknown committed
2501
  maybe_null=0;
unknown's avatar
unknown committed
2502
  cmp_type=args[0]->result_type();
2503

unknown's avatar
unknown committed
2504 2505
  for (uint i=0 ; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2506 2507
    set_if_bigger(max_length, args[i]->max_length);
    set_if_bigger(decimals, args[i]->decimals);
unknown's avatar
unknown committed
2508
    set_if_bigger(max_int_part, args[i]->decimal_int_part());
unknown's avatar
unknown committed
2509 2510
    if (args[i]->maybe_null)
      maybe_null=1;
unknown's avatar
unknown committed
2511
    cmp_type=item_cmp_type(cmp_type,args[i]->result_type());
2512 2513 2514 2515 2516 2517
    if (args[i]->result_type() != ROW_RESULT && args[i]->is_datetime())
    {
      datetime_found= TRUE;
      if (!datetime_item || args[i]->field_type() == MYSQL_TYPE_DATETIME)
        datetime_item= args[i];
    }
unknown's avatar
unknown committed
2518
  }
unknown's avatar
unknown committed
2519
  if (cmp_type == STRING_RESULT)
2520
  {
2521
    agg_arg_charsets_for_comparison(collation, args, arg_count);
2522 2523 2524 2525 2526 2527
    if (datetime_found)
    {
      thd= current_thd;
      compare_as_dates= TRUE;
    }
  }
unknown's avatar
unknown committed
2528
  else if ((cmp_type == DECIMAL_RESULT) || (cmp_type == INT_RESULT))
2529 2530 2531 2532 2533 2534 2535
  {
    collation.set_numeric();
    fix_char_length(my_decimal_precision_to_length_no_truncation(max_int_part +
                                                                 decimals,
                                                                 decimals,
                                                                 unsigned_flag));
  }
2536
  cached_field_type= agg_field_type(args, arg_count);
unknown's avatar
unknown committed
2537 2538 2539
}


2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559
/*
  Compare item arguments in the DATETIME context.

  SYNOPSIS
    cmp_datetimes()
    value [out]   found least/greatest DATE/DATETIME value

  DESCRIPTION
    Compare item arguments as DATETIME values and return the index of the
    least/greatest argument in the arguments array.
    The correct integer DATE/DATETIME value of the found argument is
    stored to the value pointer, if latter is provided.

  RETURN
   0	If one of arguments is NULL
   #	index of the least/greatest argument
*/

uint Item_func_min_max::cmp_datetimes(ulonglong *value)
{
2560
  longlong UNINIT_VAR(min_max);
2561 2562 2563 2564 2565 2566
  uint min_max_idx= 0;

  for (uint i=0; i < arg_count ; i++)
  {
    Item **arg= args + i;
    bool is_null;
2567
    longlong res= get_datetime_value(thd, &arg, 0, datetime_item, &is_null);
2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585
    if ((null_value= args[i]->null_value))
      return 0;
    if (i == 0 || (res < min_max ? cmp_sign : -cmp_sign) > 0)
    {
      min_max= res;
      min_max_idx= i;
    }
  }
  if (value)
  {
    *value= min_max;
    if (datetime_item->field_type() == MYSQL_TYPE_DATE)
      *value/= 1000000L;
  }
  return min_max_idx;
}


unknown's avatar
unknown committed
2586 2587
String *Item_func_min_max::val_str(String *str)
{
2588
  DBUG_ASSERT(fixed == 1);
2589 2590 2591 2592 2593 2594 2595 2596 2597 2598
  if (compare_as_dates)
  {
    String *str_res;
    uint min_max_idx= cmp_datetimes(NULL);
    if (null_value)
      return 0;
    str_res= args[min_max_idx]->val_str(str);
    str_res->set_charset(collation.collation);
    return str_res;
  }
unknown's avatar
unknown committed
2599 2600 2601 2602 2603 2604
  switch (cmp_type) {
  case INT_RESULT:
  {
    longlong nr=val_int();
    if (null_value)
      return 0;
2605
    str->set_int(nr, unsigned_flag, collation.collation);
unknown's avatar
unknown committed
2606 2607
    return str;
  }
unknown's avatar
unknown committed
2608 2609 2610 2611 2612 2613 2614 2615
  case DECIMAL_RESULT:
  {
    my_decimal dec_buf, *dec_val= val_decimal(&dec_buf);
    if (null_value)
      return 0;
    my_decimal2string(E_DEC_FATAL_ERROR, dec_val, 0, 0, 0, str);
    return str;
  }
unknown's avatar
unknown committed
2616 2617
  case REAL_RESULT:
  {
2618
    double nr= val_real();
unknown's avatar
unknown committed
2619 2620
    if (null_value)
      return 0; /* purecov: inspected */
2621
    str->set_real(nr, decimals, collation.collation);
unknown's avatar
unknown committed
2622 2623 2624 2625
    return str;
  }
  case STRING_RESULT:
  {
2626
    String *UNINIT_VAR(res);
unknown's avatar
unknown committed
2627 2628
    for (uint i=0; i < arg_count ; i++)
    {
unknown's avatar
unknown committed
2629
      if (i == 0)
unknown's avatar
unknown committed
2630 2631 2632 2633 2634 2635 2636
	res=args[i]->val_str(str);
      else
      {
	String *res2;
	res2= args[i]->val_str(res == str ? &tmp_value : str);
	if (res2)
	{
2637
	  int cmp= sortcmp(res,res2,collation.collation);
unknown's avatar
unknown committed
2638 2639 2640 2641
	  if ((cmp_sign < 0 ? cmp : -cmp) < 0)
	    res=res2;
	}
      }
unknown's avatar
unknown committed
2642
      if ((null_value= args[i]->null_value))
2643
        return 0;
unknown's avatar
unknown committed
2644
    }
2645
    res->set_charset(collation.collation);
unknown's avatar
unknown committed
2646 2647
    return res;
  }
2648
  case ROW_RESULT:
unknown's avatar
unknown committed
2649
  default:
unknown's avatar
unknown committed
2650
    // This case should never be chosen
unknown's avatar
unknown committed
2651 2652
    DBUG_ASSERT(0);
    return 0;
unknown's avatar
unknown committed
2653 2654 2655 2656 2657
  }
  return 0;					// Keep compiler happy
}


2658
double Item_func_min_max::val_real()
unknown's avatar
unknown committed
2659
{
2660
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2661
  double value=0.0;
2662 2663
  if (compare_as_dates)
  {
unknown's avatar
unknown committed
2664
    ulonglong result= 0;
2665 2666 2667
    (void)cmp_datetimes(&result);
    return (double)result;
  }
unknown's avatar
unknown committed
2668 2669
  for (uint i=0; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2670
    if (i == 0)
2671
      value= args[i]->val_real();
unknown's avatar
unknown committed
2672 2673
    else
    {
2674
      double tmp= args[i]->val_real();
unknown's avatar
unknown committed
2675 2676 2677
      if (!args[i]->null_value && (tmp < value ? cmp_sign : -cmp_sign) > 0)
	value=tmp;
    }
unknown's avatar
unknown committed
2678 2679
    if ((null_value= args[i]->null_value))
      break;
unknown's avatar
unknown committed
2680 2681 2682 2683 2684 2685 2686
  }
  return value;
}


longlong Item_func_min_max::val_int()
{
2687
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2688
  longlong value=0;
2689 2690
  if (compare_as_dates)
  {
unknown's avatar
unknown committed
2691
    ulonglong result= 0;
2692 2693 2694
    (void)cmp_datetimes(&result);
    return (longlong)result;
  }
unknown's avatar
unknown committed
2695 2696
  for (uint i=0; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2697
    if (i == 0)
2698
      value=args[i]->val_int();
unknown's avatar
unknown committed
2699 2700
    else
    {
2701 2702 2703
      longlong tmp=args[i]->val_int();
      if (!args[i]->null_value && (tmp < value ? cmp_sign : -cmp_sign) > 0)
	value=tmp;
unknown's avatar
unknown committed
2704
    }
2705 2706
    if ((null_value= args[i]->null_value))
      break;
unknown's avatar
unknown committed
2707 2708 2709 2710
  }
  return value;
}

unknown's avatar
unknown committed
2711 2712 2713 2714

my_decimal *Item_func_min_max::val_decimal(my_decimal *dec)
{
  DBUG_ASSERT(fixed == 1);
2715
  my_decimal tmp_buf, *tmp, *UNINIT_VAR(res);
2716

2717 2718
  if (compare_as_dates)
  {
unknown's avatar
unknown committed
2719
    ulonglong value= 0;
2720 2721 2722 2723
    (void)cmp_datetimes(&value);
    ulonglong2decimal(value, dec);
    return dec;
  }
unknown's avatar
unknown committed
2724 2725
  for (uint i=0; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2726
    if (i == 0)
unknown's avatar
unknown committed
2727 2728 2729
      res= args[i]->val_decimal(dec);
    else
    {
2730 2731
      tmp= args[i]->val_decimal(&tmp_buf);      // Zero if NULL
      if (tmp && (my_decimal_cmp(tmp, res) * cmp_sign) < 0)
unknown's avatar
unknown committed
2732 2733 2734
      {
        if (tmp == &tmp_buf)
        {
2735
          /* Move value out of tmp_buf as this will be reused on next loop */
unknown's avatar
unknown committed
2736 2737 2738 2739 2740 2741 2742
          my_decimal2decimal(tmp, dec);
          res= dec;
        }
        else
          res= tmp;
      }
    }
unknown's avatar
unknown committed
2743
    if ((null_value= args[i]->null_value))
2744 2745
    {
      res= 0;
unknown's avatar
unknown committed
2746
      break;
2747
    }
unknown's avatar
unknown committed
2748 2749 2750 2751 2752
  }
  return res;
}


unknown's avatar
unknown committed
2753 2754
longlong Item_func_length::val_int()
{
2755
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2756 2757 2758 2759 2760 2761 2762 2763 2764 2765
  String *res=args[0]->val_str(&value);
  if (!res)
  {
    null_value=1;
    return 0; /* purecov: inspected */
  }
  null_value=0;
  return (longlong) res->length();
}

unknown's avatar
unknown committed
2766

unknown's avatar
unknown committed
2767 2768
longlong Item_func_char_length::val_int()
{
2769
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2770 2771 2772 2773 2774 2775 2776
  String *res=args[0]->val_str(&value);
  if (!res)
  {
    null_value=1;
    return 0; /* purecov: inspected */
  }
  null_value=0;
2777
  return (longlong) res->numchars();
unknown's avatar
unknown committed
2778 2779
}

unknown's avatar
unknown committed
2780

unknown's avatar
unknown committed
2781 2782
longlong Item_func_coercibility::val_int()
{
2783
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2784
  null_value= 0;
2785
  return (longlong) args[0]->collation.derivation;
unknown's avatar
unknown committed
2786
}
unknown's avatar
unknown committed
2787

unknown's avatar
unknown committed
2788

2789 2790
void Item_func_locate::fix_length_and_dec()
{
2791
  max_length= MY_INT32_NUM_DECIMAL_DIGITS;
2792
  agg_arg_charsets_for_comparison(cmp_collation, args, 2);
2793 2794
}

unknown's avatar
unknown committed
2795

unknown's avatar
unknown committed
2796 2797
longlong Item_func_locate::val_int()
{
2798
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2799 2800 2801 2802 2803 2804 2805 2806
  String *a=args[0]->val_str(&value1);
  String *b=args[1]->val_str(&value2);
  if (!a || !b)
  {
    null_value=1;
    return 0; /* purecov: inspected */
  }
  null_value=0;
2807 2808 2809
  /* must be longlong to avoid truncation */
  longlong start=  0; 
  longlong start0= 0;
2810
  my_match_t match;
2811

unknown's avatar
unknown committed
2812 2813
  if (arg_count == 3)
  {
2814 2815 2816 2817 2818 2819
    start0= start= args[2]->val_int() - 1;

    if ((start < 0) || (start > a->length()))
      return 0;

    /* start is now sufficiently valid to pass to charpos function */
2820
    start= a->charpos((int) start);
2821 2822

    if (start + b->length() > a->length())
unknown's avatar
unknown committed
2823 2824
      return 0;
  }
2825

unknown's avatar
unknown committed
2826
  if (!b->length())				// Found empty string at start
2827
    return start + 1;
2828
  
2829
  if (!cmp_collation.collation->coll->instr(cmp_collation.collation,
2830 2831
                                            a->ptr()+start,
                                            (uint) (a->length()-start),
2832 2833 2834
                                            b->ptr(), b->length(),
                                            &match, 1))
    return 0;
2835
  return (longlong) match.mb_len + start0 + 1;
unknown's avatar
unknown committed
2836 2837 2838
}


2839
void Item_func_locate::print(String *str, enum_query_type query_type)
2840
{
2841
  str->append(STRING_WITH_LEN("locate("));
2842
  args[1]->print(str, query_type);
2843
  str->append(',');
2844
  args[0]->print(str, query_type);
2845 2846 2847
  if (arg_count == 3)
  {
    str->append(',');
2848
    args[2]->print(str, query_type);
2849 2850 2851 2852 2853
  }
  str->append(')');
}


unknown's avatar
unknown committed
2854 2855
longlong Item_func_field::val_int()
{
2856
  DBUG_ASSERT(fixed == 1);
2857

2858 2859 2860
  if (cmp_type == STRING_RESULT)
  {
    String *field;
2861 2862
    if (!(field= args[0]->val_str(&value)))
      return 0;
2863
    for (uint i=1 ; i < arg_count ; i++)
2864 2865
    {
      String *tmp_value=args[i]->val_str(&tmp);
unknown's avatar
Fix:  
unknown committed
2866
      if (tmp_value && !sortcmp(field,tmp_value,cmp_collation.collation))
2867
        return (longlong) (i);
2868 2869 2870 2871
    }
  }
  else if (cmp_type == INT_RESULT)
  {
2872
    longlong val= args[0]->val_int();
unknown's avatar
cleanup  
unknown committed
2873 2874
    if (args[0]->null_value)
      return 0;
2875
    for (uint i=1; i < arg_count ; i++)
2876
    {
2877
      if (val == args[i]->val_int() && !args[i]->null_value)
2878
        return (longlong) (i);
2879 2880
    }
  }
unknown's avatar
unknown committed
2881 2882 2883 2884
  else if (cmp_type == DECIMAL_RESULT)
  {
    my_decimal dec_arg_buf, *dec_arg,
               dec_buf, *dec= args[0]->val_decimal(&dec_buf);
unknown's avatar
cleanup  
unknown committed
2885 2886
    if (args[0]->null_value)
      return 0;
unknown's avatar
unknown committed
2887 2888 2889
    for (uint i=1; i < arg_count; i++)
    {
      dec_arg= args[i]->val_decimal(&dec_arg_buf);
unknown's avatar
unknown committed
2890
      if (!args[i]->null_value && !my_decimal_cmp(dec_arg, dec))
unknown's avatar
unknown committed
2891 2892 2893
        return (longlong) (i);
    }
  }
2894
  else
unknown's avatar
unknown committed
2895
  {
2896
    double val= args[0]->val_real();
unknown's avatar
cleanup  
unknown committed
2897 2898
    if (args[0]->null_value)
      return 0;
2899
    for (uint i=1; i < arg_count ; i++)
2900
    {
unknown's avatar
unknown committed
2901
      if (val == args[i]->val_real() && !args[i]->null_value)
2902
        return (longlong) (i);
2903
    }
unknown's avatar
unknown committed
2904 2905 2906 2907
  }
  return 0;
}

unknown's avatar
unknown committed
2908

2909 2910 2911
void Item_func_field::fix_length_and_dec()
{
  maybe_null=0; max_length=3;
2912 2913
  cmp_type= args[0]->result_type();
  for (uint i=1; i < arg_count ; i++)
2914 2915
    cmp_type= item_cmp_type(cmp_type, args[i]->result_type());
  if (cmp_type == STRING_RESULT)
2916
    agg_arg_charsets_for_comparison(cmp_collation, args, arg_count);
2917
}
unknown's avatar
unknown committed
2918

2919

unknown's avatar
unknown committed
2920 2921
longlong Item_func_ascii::val_int()
{
2922
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2923 2924 2925 2926 2927 2928 2929 2930 2931 2932 2933 2934
  String *res=args[0]->val_str(&value);
  if (!res)
  {
    null_value=1;
    return 0;
  }
  null_value=0;
  return (longlong) (res->length() ? (uchar) (*res)[0] : (uchar) 0);
}

longlong Item_func_ord::val_int()
{
2935
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2936 2937 2938 2939 2940 2941 2942 2943 2944
  String *res=args[0]->val_str(&value);
  if (!res)
  {
    null_value=1;
    return 0;
  }
  null_value=0;
  if (!res->length()) return 0;
#ifdef USE_MB
2945
  if (use_mb(res->charset()))
unknown's avatar
unknown committed
2946 2947
  {
    register const char *str=res->ptr();
2948
    register uint32 n=0, l=my_ismbchar(res->charset(),str,str+res->length());
unknown's avatar
unknown committed
2949 2950
    if (!l)
      return (longlong)((uchar) *str);
unknown's avatar
unknown committed
2951 2952 2953 2954 2955 2956 2957 2958 2959 2960 2961 2962 2963 2964 2965 2966 2967 2968 2969
    while (l--)
      n=(n<<8)|(uint32)((uchar) *str++);
    return (longlong) n;
  }
#endif
  return (longlong) ((uchar) (*res)[0]);
}

	/* Search after a string in a string of strings separated by ',' */
	/* Returns number of found type >= 1 or 0 if not found */
	/* This optimizes searching in enums to bit testing! */

void Item_func_find_in_set::fix_length_and_dec()
{
  decimals=0;
  max_length=3;					// 1-999
  if (args[0]->const_item() && args[1]->type() == FIELD_ITEM)
  {
    Field *field= ((Item_field*) args[1])->field;
2970
    if (field->real_type() == MYSQL_TYPE_SET)
unknown's avatar
unknown committed
2971 2972 2973 2974
    {
      String *find=args[0]->val_str(&value);
      if (find)
      {
2975 2976
	enum_value= find_type(((Field_enum*) field)->typelib,find->ptr(),
			      find->length(), 0);
unknown's avatar
unknown committed
2977 2978 2979 2980 2981 2982
	enum_bit=0;
	if (enum_value)
	  enum_bit=LL(1) << (enum_value-1);
      }
    }
  }
2983
  agg_arg_charsets_for_comparison(cmp_collation, args, 2);
unknown's avatar
unknown committed
2984 2985 2986 2987 2988 2989
}

static const char separator=',';

longlong Item_func_find_in_set::val_int()
{
2990
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012 3013
  if (enum_value)
  {
    ulonglong tmp=(ulonglong) args[1]->val_int();
    if (!(null_value=args[1]->null_value || args[0]->null_value))
    {
      if (tmp & enum_bit)
	return enum_value;
    }
    return 0L;
  }

  String *find=args[0]->val_str(&value);
  String *buffer=args[1]->val_str(&value2);
  if (!find || !buffer)
  {
    null_value=1;
    return 0; /* purecov: inspected */
  }
  null_value=0;

  int diff;
  if ((diff=buffer->length() - find->length()) >= 0)
  {
3014
    my_wc_t wc= 0;
3015 3016 3017 3018 3019 3020 3021 3022
    CHARSET_INFO *cs= cmp_collation.collation;
    const char *str_begin= buffer->ptr();
    const char *str_end= buffer->ptr();
    const char *real_end= str_end+buffer->length();
    const uchar *find_str= (const uchar *) find->ptr();
    uint find_str_len= find->length();
    int position= 0;
    while (1)
unknown's avatar
unknown committed
3023
    {
3024 3025 3026
      int symbol_len;
      if ((symbol_len= cs->cset->mb_wc(cs, &wc, (uchar*) str_end, 
                                       (uchar*) real_end)) > 0)
unknown's avatar
unknown committed
3027
      {
3028 3029
        const char *substr_end= str_end + symbol_len;
        bool is_last_item= (substr_end == real_end);
3030 3031
        bool is_separator= (wc == (my_wc_t) separator);
        if (is_separator || is_last_item)
3032 3033
        {
          position++;
3034
          if (is_last_item && !is_separator)
3035 3036
            str_end= substr_end;
          if (!my_strnncoll(cs, (const uchar *) str_begin,
3037
                            (uint) (str_end - str_begin),
3038 3039 3040 3041 3042 3043
                            find_str, find_str_len))
            return (longlong) position;
          else
            str_begin= substr_end;
        }
        str_end= substr_end;
unknown's avatar
unknown committed
3044
      }
unknown's avatar
unknown committed
3045 3046
      else if (str_end - str_begin == 0 &&
               find_str_len == 0 &&
3047 3048 3049
               wc == (my_wc_t) separator)
        return (longlong) ++position;
      else
unknown's avatar
unknown committed
3050
        return LL(0);
3051
    }
unknown's avatar
unknown committed
3052 3053 3054 3055 3056 3057
  }
  return 0;
}

longlong Item_func_bit_count::val_int()
{
3058
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3059
  ulonglong value= (ulonglong) args[0]->val_int();
3060
  if ((null_value= args[0]->null_value))
unknown's avatar
unknown committed
3061
    return 0; /* purecov: inspected */
unknown's avatar
unknown committed
3062
  return (longlong) my_count_bits(value);
unknown's avatar
unknown committed
3063 3064 3065 3066 3067 3068
}


/****************************************************************************
** Functions to handle dynamic loadable functions
** Original source by: Alexis Mikhailov <root@medinf.chuvashia.su>
3069
** Rewritten by monty.
unknown's avatar
unknown committed
3070 3071 3072 3073
****************************************************************************/

#ifdef HAVE_DLOPEN

3074
void udf_handler::cleanup()
unknown's avatar
unknown committed
3075
{
3076
  if (!not_original)
unknown's avatar
unknown committed
3077
  {
3078
    if (initialized)
unknown's avatar
unknown committed
3079
    {
3080 3081
      if (u_d->func_deinit != NULL)
      {
3082
        Udf_func_deinit deinit= u_d->func_deinit;
3083 3084 3085
        (*deinit)(&initid);
      }
      free_udf(u_d);
3086
      initialized= FALSE;
unknown's avatar
unknown committed
3087
    }
3088 3089
    if (buffers)				// Because of bug in ecc
      delete [] buffers;
3090
    buffers= 0;
unknown's avatar
unknown committed
3091 3092 3093 3094 3095
  }
}


bool
3096
udf_handler::fix_fields(THD *thd, Item_result_field *func,
unknown's avatar
unknown committed
3097 3098
			uint arg_count, Item **arguments)
{
3099
  uchar buff[STACK_BUFF_ALLOC];			// Max argument in function
unknown's avatar
unknown committed
3100 3101
  DBUG_ENTER("Item_udf_func::fix_fields");

3102
  if (check_stack_overrun(thd, STACK_MIN_SIZE, buff))
unknown's avatar
unknown committed
3103
    DBUG_RETURN(TRUE);				// Fatal error flag is set!
unknown's avatar
unknown committed
3104

3105
  udf_func *tmp_udf=find_udf(u_d->name.str,(uint) u_d->name.length,1);
unknown's avatar
unknown committed
3106 3107 3108

  if (!tmp_udf)
  {
3109
    my_error(ER_CANT_FIND_UDF, MYF(0), u_d->name.str, errno);
unknown's avatar
unknown committed
3110
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
3111 3112 3113 3114 3115
  }
  u_d=tmp_udf;
  args=arguments;

  /* Fix all arguments */
3116
  func->maybe_null=0;
unknown's avatar
unknown committed
3117 3118 3119 3120 3121 3122 3123 3124 3125 3126
  used_tables_cache=0;
  const_item_cache=1;

  if ((f_args.arg_count=arg_count))
  {
    if (!(f_args.arg_type= (Item_result*)
	  sql_alloc(f_args.arg_count*sizeof(Item_result))))

    {
      free_udf(u_d);
unknown's avatar
unknown committed
3127
      DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
3128 3129 3130 3131 3132 3133 3134
    }
    uint i;
    Item **arg,**arg_end;
    for (i=0, arg=arguments, arg_end=arguments+arg_count;
	 arg != arg_end ;
	 arg++,i++)
    {
unknown's avatar
unknown committed
3135
      if (!(*arg)->fixed &&
3136
          (*arg)->fix_fields(thd, arg))
unknown's avatar
unknown committed
3137
	DBUG_RETURN(1);
3138
      // we can't assign 'item' before, because fix_fields() can change arg
unknown's avatar
unknown committed
3139
      Item *item= *arg;
3140
      if (item->check_cols(1))
unknown's avatar
unknown committed
3141
	DBUG_RETURN(TRUE);
3142 3143 3144 3145 3146 3147 3148 3149 3150
      /*
	TODO: We should think about this. It is not always
	right way just to set an UDF result to return my_charset_bin
	if one argument has binary sorting order.
	The result collation should be calculated according to arguments
	derivations in some cases and should not in other cases.
	Moreover, some arguments can represent a numeric input
	which doesn't effect the result character set and collation.
	There is no a general rule for UDF. Everything depends on
unknown's avatar
unknown committed
3151
        the particular user defined function.
3152
      */
3153 3154
      if (item->collation.collation->state & MY_CS_BINSORT)
	func->collation.set(&my_charset_bin);
unknown's avatar
unknown committed
3155
      if (item->maybe_null)
unknown's avatar
unknown committed
3156
	func->maybe_null=1;
unknown's avatar
unknown committed
3157 3158 3159 3160
      func->with_sum_func= func->with_sum_func || item->with_sum_func;
      used_tables_cache|=item->used_tables();
      const_item_cache&=item->const_item();
      f_args.arg_type[i]=item->result_type();
unknown's avatar
unknown committed
3161
    }
unknown's avatar
unknown committed
3162
    //TODO: why all following memory is not allocated with 1 call of sql_alloc?
unknown's avatar
unknown committed
3163 3164
    if (!(buffers=new String[arg_count]) ||
	!(f_args.args= (char**) sql_alloc(arg_count * sizeof(char *))) ||
3165 3166 3167 3168 3169 3170 3171
	!(f_args.lengths= (ulong*) sql_alloc(arg_count * sizeof(long))) ||
	!(f_args.maybe_null= (char*) sql_alloc(arg_count * sizeof(char))) ||
	!(num_buffer= (char*) sql_alloc(arg_count *
					ALIGN_SIZE(sizeof(double)))) ||
	!(f_args.attributes= (char**) sql_alloc(arg_count * sizeof(char *))) ||
	!(f_args.attribute_lengths= (ulong*) sql_alloc(arg_count *
						       sizeof(long))))
unknown's avatar
unknown committed
3172 3173
    {
      free_udf(u_d);
unknown's avatar
unknown committed
3174
      DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185
    }
  }
  func->fix_length_and_dec();
  initid.max_length=func->max_length;
  initid.maybe_null=func->maybe_null;
  initid.const_item=const_item_cache;
  initid.decimals=func->decimals;
  initid.ptr=0;

  if (u_d->func_init)
  {
3186
    char init_msg_buff[MYSQL_ERRMSG_SIZE];
unknown's avatar
unknown committed
3187 3188 3189
    char *to=num_buffer;
    for (uint i=0; i < arg_count; i++)
    {
3190 3191 3192 3193 3194 3195
      /*
       For a constant argument i, args->args[i] points to the argument value. 
       For non-constant, args->args[i] is NULL.
      */
      f_args.args[i]= NULL;         /* Non-const unless updated below. */

3196 3197 3198 3199
      f_args.lengths[i]= arguments[i]->max_length;
      f_args.maybe_null[i]= (char) arguments[i]->maybe_null;
      f_args.attributes[i]= arguments[i]->name;
      f_args.attribute_lengths[i]= arguments[i]->name_length;
unknown's avatar
unknown committed
3200

3201
      if (arguments[i]->const_item())
unknown's avatar
unknown committed
3202
      {
3203 3204 3205 3206 3207 3208
        switch (arguments[i]->result_type()) 
        {
        case STRING_RESULT:
        case DECIMAL_RESULT:
        {
          String *res= arguments[i]->val_str(&buffers[i]);
3209 3210
          if (arguments[i]->null_value)
            continue;
3211
          f_args.args[i]= (char*) res->c_ptr_safe();
3212
          f_args.lengths[i]= res->length();
3213 3214 3215 3216
          break;
        }
        case INT_RESULT:
          *((longlong*) to)= arguments[i]->val_int();
3217 3218
          if (arguments[i]->null_value)
            continue;
3219 3220 3221 3222 3223
          f_args.args[i]= to;
          to+= ALIGN_SIZE(sizeof(longlong));
          break;
        case REAL_RESULT:
          *((double*) to)= arguments[i]->val_real();
3224 3225
          if (arguments[i]->null_value)
            continue;
3226 3227 3228 3229 3230 3231 3232 3233 3234
          f_args.args[i]= to;
          to+= ALIGN_SIZE(sizeof(double));
          break;
        case ROW_RESULT:
        default:
          // This case should never be chosen
          DBUG_ASSERT(0);
          break;
        }
unknown's avatar
unknown committed
3235 3236
      }
    }
3237
    Udf_func_init init= u_d->func_init;
3238
    if ((error=(uchar) init(&initid, &f_args, init_msg_buff)))
unknown's avatar
unknown committed
3239
    {
3240
      my_error(ER_CANT_INITIALIZE_UDF, MYF(0),
3241
               u_d->name.str, init_msg_buff);
unknown's avatar
unknown committed
3242
      free_udf(u_d);
unknown's avatar
unknown committed
3243
      DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
3244 3245 3246 3247
    }
    func->max_length=min(initid.max_length,MAX_BLOB_WIDTH);
    func->maybe_null=initid.maybe_null;
    const_item_cache=initid.const_item;
3248 3249 3250 3251 3252 3253
    /* 
      Keep used_tables_cache in sync with const_item_cache.
      See the comment in Item_udf_func::update_used tables.
    */  
    if (!const_item_cache && !used_tables_cache)
      used_tables_cache= RAND_TABLE_BIT;
3254
    func->decimals=min(initid.decimals,NOT_FIXED_DEC);
unknown's avatar
unknown committed
3255 3256 3257 3258
  }
  initialized=1;
  if (error)
  {
3259 3260
    my_error(ER_CANT_INITIALIZE_UDF, MYF(0),
             u_d->name.str, ER(ER_UNKNOWN_ERROR));
unknown's avatar
unknown committed
3261
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
3262
  }
unknown's avatar
unknown committed
3263
  DBUG_RETURN(FALSE);
unknown's avatar
unknown committed
3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275 3276 3277
}


bool udf_handler::get_arguments()
{
  if (error)
    return 1;					// Got an error earlier
  char *to= num_buffer;
  uint str_count=0;
  for (uint i=0; i < f_args.arg_count; i++)
  {
    f_args.args[i]=0;
    switch (f_args.arg_type[i]) {
    case STRING_RESULT:
unknown's avatar
unknown committed
3278
    case DECIMAL_RESULT:
unknown's avatar
unknown committed
3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292 3293 3294 3295 3296
      {
	String *res=args[i]->val_str(&buffers[str_count++]);
	if (!(args[i]->null_value))
	{
	  f_args.args[i]=    (char*) res->ptr();
	  f_args.lengths[i]= res->length();
	  break;
	}
      }
    case INT_RESULT:
      *((longlong*) to) = args[i]->val_int();
      if (!args[i]->null_value)
      {
	f_args.args[i]=to;
	to+= ALIGN_SIZE(sizeof(longlong));
      }
      break;
    case REAL_RESULT:
3297
      *((double*) to)= args[i]->val_real();
unknown's avatar
unknown committed
3298 3299 3300 3301 3302 3303
      if (!args[i]->null_value)
      {
	f_args.args[i]=to;
	to+= ALIGN_SIZE(sizeof(double));
      }
      break;
3304
    case ROW_RESULT:
unknown's avatar
unknown committed
3305
    default:
unknown's avatar
unknown committed
3306
      // This case should never be chosen
unknown's avatar
unknown committed
3307
      DBUG_ASSERT(0);
3308
      break;
unknown's avatar
unknown committed
3309 3310 3311 3312 3313
    }
  }
  return 0;
}

unknown's avatar
unknown committed
3314 3315 3316 3317
/**
  @return
    (String*)NULL in case of NULL values
*/
unknown's avatar
unknown committed
3318 3319
String *udf_handler::val_str(String *str,String *save_str)
{
3320
  uchar is_null_tmp=0;
unknown's avatar
unknown committed
3321
  ulong res_length;
3322
  DBUG_ENTER("udf_handler::val_str");
unknown's avatar
unknown committed
3323 3324

  if (get_arguments())
3325
    DBUG_RETURN(0);
unknown's avatar
unknown committed
3326 3327 3328 3329 3330 3331 3332 3333 3334
  char * (*func)(UDF_INIT *, UDF_ARGS *, char *, ulong *, uchar *, uchar *)=
    (char* (*)(UDF_INIT *, UDF_ARGS *, char *, ulong *, uchar *, uchar *))
    u_d->func;

  if ((res_length=str->alloced_length()) < MAX_FIELD_WIDTH)
  {						// This happens VERY seldom
    if (str->alloc(MAX_FIELD_WIDTH))
    {
      error=1;
3335
      DBUG_RETURN(0);
unknown's avatar
unknown committed
3336 3337
    }
  }
3338 3339
  char *res=func(&initid, &f_args, (char*) str->ptr(), &res_length,
		 &is_null_tmp, &error);
3340
  DBUG_PRINT("info", ("udf func returned, res_length: %lu", res_length));
3341
  if (is_null_tmp || !res || error)		// The !res is for safety
unknown's avatar
unknown committed
3342
  {
3343 3344
    DBUG_PRINT("info", ("Null or error"));
    DBUG_RETURN(0);
unknown's avatar
unknown committed
3345 3346 3347 3348
  }
  if (res == str->ptr())
  {
    str->length(res_length);
3349
    DBUG_PRINT("exit", ("str: %*.s", (int) str->length(), str->ptr()));
3350
    DBUG_RETURN(str);
unknown's avatar
unknown committed
3351
  }
3352
  save_str->set(res, res_length, str->charset());
3353 3354
  DBUG_PRINT("exit", ("save_str: %s", save_str->ptr()));
  DBUG_RETURN(save_str);
unknown's avatar
unknown committed
3355 3356 3357
}


3358 3359 3360 3361
/*
  For the moment, UDF functions are returning DECIMAL values as strings
*/

unknown's avatar
unknown committed
3362 3363 3364 3365 3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381
my_decimal *udf_handler::val_decimal(my_bool *null_value, my_decimal *dec_buf)
{
  char buf[DECIMAL_MAX_STR_LENGTH+1], *end;
  ulong res_length= DECIMAL_MAX_STR_LENGTH;

  if (get_arguments())
  {
    *null_value=1;
    return 0;
  }
  char *(*func)(UDF_INIT *, UDF_ARGS *, char *, ulong *, uchar *, uchar *)=
    (char* (*)(UDF_INIT *, UDF_ARGS *, char *, ulong *, uchar *, uchar *))
    u_d->func;

  char *res= func(&initid, &f_args, buf, &res_length, &is_null, &error);
  if (is_null || error)
  {
    *null_value= 1;
    return 0;
  }
3382 3383
  end= res+ res_length;
  str2my_decimal(E_DEC_FATAL_ERROR, res, dec_buf, &end);
unknown's avatar
unknown committed
3384 3385 3386
  return dec_buf;
}

unknown's avatar
unknown committed
3387

3388 3389 3390 3391 3392 3393
void Item_udf_func::cleanup()
{
  udf.cleanup();
  Item_func::cleanup();
}

unknown's avatar
unknown committed
3394

3395
void Item_udf_func::print(String *str, enum_query_type query_type)
3396 3397 3398 3399 3400 3401 3402
{
  str->append(func_name());
  str->append('(');
  for (uint i=0 ; i < arg_count ; i++)
  {
    if (i != 0)
      str->append(',');
3403
    args[i]->print_item_w_name(str, query_type);
3404 3405 3406 3407 3408
  }
  str->append(')');
}


3409
double Item_func_udf_float::val_real()
unknown's avatar
unknown committed
3410
{
3411
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3412 3413 3414 3415 3416 3417 3418 3419 3420
  DBUG_ENTER("Item_func_udf_float::val");
  DBUG_PRINT("info",("result_type: %d  arg_count: %d",
		     args[0]->result_type(), arg_count));
  DBUG_RETURN(udf.val(&null_value));
}


String *Item_func_udf_float::val_str(String *str)
{
3421
  DBUG_ASSERT(fixed == 1);
3422
  double nr= val_real();
unknown's avatar
unknown committed
3423 3424
  if (null_value)
    return 0;					/* purecov: inspected */
3425
  str->set_real(nr,decimals,&my_charset_bin);
unknown's avatar
unknown committed
3426 3427 3428 3429 3430 3431
  return str;
}


longlong Item_func_udf_int::val_int()
{
3432
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3433 3434 3435 3436 3437 3438 3439
  DBUG_ENTER("Item_func_udf_int::val_int");
  DBUG_RETURN(udf.val_int(&null_value));
}


String *Item_func_udf_int::val_str(String *str)
{
3440
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3441 3442 3443
  longlong nr=val_int();
  if (null_value)
    return 0;
3444
  str->set_int(nr, unsigned_flag, &my_charset_bin);
unknown's avatar
unknown committed
3445 3446 3447
  return str;
}

unknown's avatar
unknown committed
3448 3449 3450 3451

longlong Item_func_udf_decimal::val_int()
{
  my_decimal dec_buf, *dec= udf.val_decimal(&null_value, &dec_buf);
3452
  longlong result;
unknown's avatar
unknown committed
3453 3454 3455 3456 3457 3458 3459 3460 3461 3462
  if (null_value)
    return 0;
  my_decimal2int(E_DEC_FATAL_ERROR, dec, unsigned_flag, &result);
  return result;
}


double Item_func_udf_decimal::val_real()
{
  my_decimal dec_buf, *dec= udf.val_decimal(&null_value, &dec_buf);
3463
  double result;
unknown's avatar
unknown committed
3464 3465 3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484 3485 3486 3487 3488 3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500
  if (null_value)
    return 0.0;
  my_decimal2double(E_DEC_FATAL_ERROR, dec, &result);
  return result;
}


my_decimal *Item_func_udf_decimal::val_decimal(my_decimal *dec_buf)
{
  DBUG_ASSERT(fixed == 1);
  DBUG_ENTER("Item_func_udf_decimal::val_decimal");
  DBUG_PRINT("info",("result_type: %d  arg_count: %d",
                     args[0]->result_type(), arg_count));

  DBUG_RETURN(udf.val_decimal(&null_value, dec_buf));
}


String *Item_func_udf_decimal::val_str(String *str)
{
  my_decimal dec_buf, *dec= udf.val_decimal(&null_value, &dec_buf);
  if (null_value)
    return 0;
  if (str->length() < DECIMAL_MAX_STR_LENGTH)
    str->length(DECIMAL_MAX_STR_LENGTH);
  my_decimal_round(E_DEC_FATAL_ERROR, dec, decimals, FALSE, &dec_buf);
  my_decimal2string(E_DEC_FATAL_ERROR, &dec_buf, 0, 0, '0', str);
  return str;
}


void Item_func_udf_decimal::fix_length_and_dec()
{
  fix_num_length_and_dec();
}


unknown's avatar
unknown committed
3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512 3513
/* Default max_length is max argument length */

void Item_func_udf_str::fix_length_and_dec()
{
  DBUG_ENTER("Item_func_udf_str::fix_length_and_dec");
  max_length=0;
  for (uint i = 0; i < arg_count; i++)
    set_if_bigger(max_length,args[i]->max_length);
  DBUG_VOID_RETURN;
}

String *Item_func_udf_str::val_str(String *str)
{
3514
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3515 3516 3517 3518 3519
  String *res=udf.val_str(str,&str_value);
  null_value = !res;
  return res;
}

3520

unknown's avatar
unknown committed
3521 3522 3523 3524 3525
/**
  @note
  This has to come last in the udf_handler methods, or C for AIX
  version 6.0.0.0 fails to compile with debugging enabled. (Yes, really.)
*/
3526 3527 3528

udf_handler::~udf_handler()
{
3529 3530
  /* Everything should be properly cleaned up by this moment. */
  DBUG_ASSERT(not_original || !(initialized || buffers));
3531 3532
}

unknown's avatar
unknown committed
3533 3534 3535 3536 3537 3538 3539 3540
#else
bool udf_handler::get_arguments() { return 0; }
#endif /* HAVE_DLOPEN */

/*
** User level locks
*/

Marc Alff's avatar
Marc Alff committed
3541
mysql_mutex_t LOCK_user_locks;
unknown's avatar
unknown committed
3542 3543
static HASH hash_user_locks;

3544
class User_level_lock
unknown's avatar
unknown committed
3545
{
3546 3547
  uchar *key;
  size_t key_length;
unknown's avatar
unknown committed
3548 3549 3550 3551

public:
  int count;
  bool locked;
Marc Alff's avatar
Marc Alff committed
3552
  mysql_cond_t cond;
unknown's avatar
unknown committed
3553 3554
  my_thread_id thread_id;
  void set_thread(THD *thd) { thread_id= thd->thread_id; }
unknown's avatar
unknown committed
3555

3556
  User_level_lock(const uchar *key_arg,uint length, ulong id) 
unknown's avatar
SCRUM  
unknown committed
3557
    :key_length(length),count(1),locked(1), thread_id(id)
unknown's avatar
unknown committed
3558
  {
3559
    key= (uchar*) my_memdup(key_arg,length,MYF(0));
Marc Alff's avatar
Marc Alff committed
3560
    mysql_cond_init(key_user_level_lock_cond, &cond, NULL);
unknown's avatar
unknown committed
3561 3562
    if (key)
    {
3563
      if (my_hash_insert(&hash_user_locks,(uchar*) this))
unknown's avatar
unknown committed
3564
      {
3565
	my_free(key);
unknown's avatar
unknown committed
3566 3567 3568 3569
	key=0;
      }
    }
  }
3570
  ~User_level_lock()
unknown's avatar
unknown committed
3571 3572 3573
  {
    if (key)
    {
Konstantin Osipov's avatar
Konstantin Osipov committed
3574
      my_hash_delete(&hash_user_locks,(uchar*) this);
3575
      my_free(key);
unknown's avatar
unknown committed
3576
    }
Marc Alff's avatar
Marc Alff committed
3577
    mysql_cond_destroy(&cond);
unknown's avatar
unknown committed
3578 3579
  }
  inline bool initialized() { return key != 0; }
3580
  friend void item_user_lock_release(User_level_lock *ull);
3581 3582
  friend uchar *ull_get_key(const User_level_lock *ull, size_t *length,
                            my_bool not_used);
unknown's avatar
unknown committed
3583 3584
};

3585 3586
uchar *ull_get_key(const User_level_lock *ull, size_t *length,
                   my_bool not_used __attribute__((unused)))
unknown's avatar
unknown committed
3587
{
3588 3589
  *length= ull->key_length;
  return ull->key;
unknown's avatar
unknown committed
3590 3591
}

Marc Alff's avatar
Marc Alff committed
3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611
#ifdef HAVE_PSI_INTERFACE
static PSI_mutex_key key_LOCK_user_locks;

static PSI_mutex_info all_user_mutexes[]=
{
  { &key_LOCK_user_locks, "LOCK_user_locks", PSI_FLAG_GLOBAL}
};

static void init_user_lock_psi_keys(void)
{
  const char* category= "sql";
  int count;

  if (PSI_server == NULL)
    return;

  count= array_elements(all_user_mutexes);
  PSI_server->register_mutex(category, all_user_mutexes, count);
}
#endif
3612 3613 3614

static bool item_user_lock_inited= 0;

unknown's avatar
unknown committed
3615 3616
void item_user_lock_init(void)
{
Marc Alff's avatar
Marc Alff committed
3617 3618 3619 3620 3621
#ifdef HAVE_PSI_INTERFACE
  init_user_lock_psi_keys();
#endif

  mysql_mutex_init(key_LOCK_user_locks, &LOCK_user_locks, MY_MUTEX_INIT_SLOW);
Konstantin Osipov's avatar
Konstantin Osipov committed
3622 3623
  my_hash_init(&hash_user_locks,system_charset_info,
	    16,0,0,(my_hash_get_key) ull_get_key,NULL,0);
3624
  item_user_lock_inited= 1;
unknown's avatar
unknown committed
3625 3626 3627 3628
}

void item_user_lock_free(void)
{
3629 3630 3631
  if (item_user_lock_inited)
  {
    item_user_lock_inited= 0;
Konstantin Osipov's avatar
Konstantin Osipov committed
3632
    my_hash_free(&hash_user_locks);
Marc Alff's avatar
Marc Alff committed
3633
    mysql_mutex_destroy(&LOCK_user_locks);
3634
  }
unknown's avatar
unknown committed
3635 3636
}

3637
void item_user_lock_release(User_level_lock *ull)
unknown's avatar
unknown committed
3638 3639
{
  ull->locked=0;
3640
  ull->thread_id= 0;
unknown's avatar
unknown committed
3641
  if (--ull->count)
Marc Alff's avatar
Marc Alff committed
3642
    mysql_cond_signal(&ull->cond);
unknown's avatar
unknown committed
3643 3644 3645 3646
  else
    delete ull;
}

unknown's avatar
unknown committed
3647 3648 3649 3650
/**
  Wait until we are at or past the given position in the master binlog
  on the slave.
*/
unknown's avatar
unknown committed
3651 3652 3653

longlong Item_master_pos_wait::val_int()
{
3654
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3655 3656
  THD* thd = current_thd;
  String *log_name = args[0]->val_str(&value);
3657
  int event_count= 0;
unknown's avatar
unknown committed
3658

unknown's avatar
unknown committed
3659 3660 3661 3662 3663 3664
  null_value=0;
  if (thd->slave_thread || !log_name || !log_name->length())
  {
    null_value = 1;
    return 0;
  }
3665
#ifdef HAVE_REPLICATION
unknown's avatar
unknown committed
3666
  longlong pos = (ulong)args[1]->val_int();
3667 3668
  longlong timeout = (arg_count==3) ? args[2]->val_int() : 0 ;
  if ((event_count = active_mi->rli.wait_for_pos(thd, log_name, pos, timeout)) == -2)
unknown's avatar
unknown committed
3669 3670 3671 3672
  {
    null_value = 1;
    event_count=0;
  }
3673
#endif
unknown's avatar
unknown committed
3674 3675 3676
  return event_count;
}

3677

3678 3679 3680 3681 3682 3683 3684 3685

/**
  Wait for a given condition to be signaled within the specified timeout.

  @param cond the condition variable to wait on
  @param lock the associated mutex
  @param abstime the amount of time in seconds to wait

Marc Alff's avatar
Marc Alff committed
3686
  @retval return value from mysql_cond_timedwait
3687 3688 3689 3690
*/

#define INTERRUPT_INTERVAL (5 * ULL(1000000000))

Marc Alff's avatar
Marc Alff committed
3691 3692
static int interruptible_wait(THD *thd, mysql_cond_t *cond,
                              mysql_mutex_t *lock, double time)
3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707
{
  int error;
  struct timespec abstime;
  ulonglong slice, timeout= (ulonglong) (time * 1000000000.0);

  do
  {
    /* Wait for a fixed interval. */
    if (timeout > INTERRUPT_INTERVAL)
      slice= INTERRUPT_INTERVAL;
    else
      slice= timeout;

    timeout-= slice;
    set_timespec_nsec(abstime, slice);
Marc Alff's avatar
Marc Alff committed
3708
    error= mysql_cond_timedwait(cond, lock, &abstime);
3709 3710 3711
    if (error == ETIMEDOUT || error == ETIME)
    {
      /* Return error if timed out or connection is broken. */
3712
      if (!timeout || !thd->is_connected())
3713 3714 3715 3716 3717 3718 3719
        break;
    }
  } while (error && timeout);

  return error;
}

unknown's avatar
unknown committed
3720 3721 3722 3723 3724 3725 3726 3727 3728
/**
  Get a user level lock.  If the thread has an old lock this is first released.

  @retval
    1    : Got lock
  @retval
    0    : Timeout
  @retval
    NULL : Error
unknown's avatar
unknown committed
3729 3730 3731 3732
*/

longlong Item_func_get_lock::val_int()
{
3733
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3734
  String *res=args[0]->val_str(&value);
3735
  double timeout= args[1]->val_real();
unknown's avatar
unknown committed
3736
  THD *thd=current_thd;
3737
  User_level_lock *ull;
unknown's avatar
unknown committed
3738
  int error;
3739
  DBUG_ENTER("Item_func_get_lock::val_int");
unknown's avatar
unknown committed
3740

3741 3742 3743 3744 3745 3746 3747 3748
  /*
    In slave thread no need to get locks, everything is serialized. Anyway
    there is no way to make GET_LOCK() work on slave like it did on master
    (i.e. make it return exactly the same value) because we don't have the
    same other concurrent threads environment. No matter what we return here,
    it's not guaranteed to be same as on master.
  */
  if (thd->slave_thread)
3749
    DBUG_RETURN(1);
3750

Marc Alff's avatar
Marc Alff committed
3751
  mysql_mutex_lock(&LOCK_user_locks);
unknown's avatar
unknown committed
3752 3753 3754

  if (!res || !res->length())
  {
Marc Alff's avatar
Marc Alff committed
3755
    mysql_mutex_unlock(&LOCK_user_locks);
unknown's avatar
unknown committed
3756
    null_value=1;
3757
    DBUG_RETURN(0);
unknown's avatar
unknown committed
3758
  }
3759 3760
  DBUG_PRINT("info", ("lock %.*s, thd=%ld", res->length(), res->ptr(),
                      (long) thd->real_id));
unknown's avatar
unknown committed
3761 3762 3763 3764 3765 3766 3767 3768
  null_value=0;

  if (thd->ull)
  {
    item_user_lock_release(thd->ull);
    thd->ull=0;
  }

Konstantin Osipov's avatar
Konstantin Osipov committed
3769 3770 3771
  if (!(ull= ((User_level_lock *) my_hash_search(&hash_user_locks,
                                                 (uchar*) res->ptr(),
                                                 (size_t) res->length()))))
unknown's avatar
unknown committed
3772
  {
3773 3774
    ull= new User_level_lock((uchar*) res->ptr(), (size_t) res->length(),
                             thd->thread_id);
unknown's avatar
unknown committed
3775 3776 3777
    if (!ull || !ull->initialized())
    {
      delete ull;
Marc Alff's avatar
Marc Alff committed
3778
      mysql_mutex_unlock(&LOCK_user_locks);
unknown's avatar
unknown committed
3779
      null_value=1;				// Probably out of memory
3780
      DBUG_RETURN(0);
unknown's avatar
unknown committed
3781
    }
3782
    ull->set_thread(thd);
unknown's avatar
unknown committed
3783
    thd->ull=ull;
Marc Alff's avatar
Marc Alff committed
3784
    mysql_mutex_unlock(&LOCK_user_locks);
3785 3786
    DBUG_PRINT("info", ("made new lock"));
    DBUG_RETURN(1);				// Got new lock
unknown's avatar
unknown committed
3787 3788
  }
  ull->count++;
3789
  DBUG_PRINT("info", ("ull->count=%d", ull->count));
unknown's avatar
unknown committed
3790

3791 3792 3793 3794
  /*
    Structure is now initialized.  Try to get the lock.
    Set up control struct to allow others to abort locks.
  */
3795
  thd_proc_info(thd, "User lock");
unknown's avatar
unknown committed
3796 3797 3798
  thd->mysys_var->current_mutex= &LOCK_user_locks;
  thd->mysys_var->current_cond=  &ull->cond;

unknown's avatar
unknown committed
3799 3800 3801
  error= 0;
  while (ull->locked && !thd->killed)
  {
3802
    DBUG_PRINT("info", ("waiting on lock"));
3803
    error= interruptible_wait(thd, &ull->cond, &LOCK_user_locks, timeout);
unknown's avatar
unknown committed
3804
    if (error == ETIMEDOUT || error == ETIME)
3805 3806
    {
      DBUG_PRINT("info", ("lock wait timeout"));
unknown's avatar
unknown committed
3807
      break;
3808
    }
unknown's avatar
unknown committed
3809 3810 3811
    error= 0;
  }

unknown's avatar
unknown committed
3812 3813 3814
  if (ull->locked)
  {
    if (!--ull->count)
unknown's avatar
unknown committed
3815 3816
    {
      DBUG_ASSERT(0);
unknown's avatar
unknown committed
3817
      delete ull;				// Should never happen
unknown's avatar
unknown committed
3818 3819
    }
    if (!error)                                 // Killed (thd->killed != 0)
unknown's avatar
unknown committed
3820 3821 3822 3823 3824
    {
      error=1;
      null_value=1;				// Return NULL
    }
  }
unknown's avatar
unknown committed
3825
  else                                          // We got the lock
unknown's avatar
unknown committed
3826 3827
  {
    ull->locked=1;
3828
    ull->set_thread(thd);
3829
    ull->thread_id= thd->thread_id;
unknown's avatar
unknown committed
3830 3831
    thd->ull=ull;
    error=0;
3832
    DBUG_PRINT("info", ("got the lock"));
unknown's avatar
unknown committed
3833
  }
Marc Alff's avatar
Marc Alff committed
3834
  mysql_mutex_unlock(&LOCK_user_locks);
unknown's avatar
unknown committed
3835

Marc Alff's avatar
Marc Alff committed
3836
  mysql_mutex_lock(&thd->mysys_var->mutex);
3837
  thd_proc_info(thd, 0);
unknown's avatar
unknown committed
3838 3839
  thd->mysys_var->current_mutex= 0;
  thd->mysys_var->current_cond=  0;
Marc Alff's avatar
Marc Alff committed
3840
  mysql_mutex_unlock(&thd->mysys_var->mutex);
unknown's avatar
unknown committed
3841

3842
  DBUG_RETURN(!error ? 1 : 0);
unknown's avatar
unknown committed
3843 3844 3845
}


unknown's avatar
unknown committed
3846
/**
3847
  Release a user level lock.
unknown's avatar
unknown committed
3848 3849 3850 3851
  @return
    - 1 if lock released
    - 0 if lock wasn't held
    - (SQL) NULL if no such lock
unknown's avatar
unknown committed
3852 3853 3854 3855
*/

longlong Item_func_release_lock::val_int()
{
3856
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3857
  String *res=args[0]->val_str(&value);
3858
  User_level_lock *ull;
unknown's avatar
unknown committed
3859
  longlong result;
3860 3861
  THD *thd=current_thd;
  DBUG_ENTER("Item_func_release_lock::val_int");
unknown's avatar
unknown committed
3862 3863 3864
  if (!res || !res->length())
  {
    null_value=1;
3865
    DBUG_RETURN(0);
unknown's avatar
unknown committed
3866
  }
3867
  DBUG_PRINT("info", ("lock %.*s", res->length(), res->ptr()));
unknown's avatar
unknown committed
3868 3869 3870
  null_value=0;

  result=0;
Marc Alff's avatar
Marc Alff committed
3871
  mysql_mutex_lock(&LOCK_user_locks);
Konstantin Osipov's avatar
Konstantin Osipov committed
3872 3873 3874
  if (!(ull= ((User_level_lock*) my_hash_search(&hash_user_locks,
                                                (const uchar*) res->ptr(),
                                                (size_t) res->length()))))
unknown's avatar
unknown committed
3875 3876 3877 3878 3879
  {
    null_value=1;
  }
  else
  {
unknown's avatar
unknown committed
3880
    DBUG_PRINT("info", ("ull->locked=%d ull->thread=%lu thd=%lu", 
3881
                        (int) ull->locked,
unknown's avatar
unknown committed
3882 3883
                        (long)ull->thread_id,
                        (long)thd->thread_id));
unknown's avatar
unknown committed
3884
    if (ull->locked && current_thd->thread_id == ull->thread_id)
unknown's avatar
unknown committed
3885
    {
3886
      DBUG_PRINT("info", ("release lock"));
unknown's avatar
unknown committed
3887 3888
      result=1;					// Release is ok
      item_user_lock_release(ull);
3889
      thd->ull=0;
unknown's avatar
unknown committed
3890 3891
    }
  }
Marc Alff's avatar
Marc Alff committed
3892
  mysql_mutex_unlock(&LOCK_user_locks);
3893
  DBUG_RETURN(result);
unknown's avatar
unknown committed
3894 3895 3896
}


3897
longlong Item_func_last_insert_id::val_int()
unknown's avatar
unknown committed
3898
{
unknown's avatar
unknown committed
3899
  THD *thd= current_thd;
3900
  DBUG_ASSERT(fixed == 1);
3901 3902
  if (arg_count)
  {
unknown's avatar
unknown committed
3903 3904
    longlong value= args[0]->val_int();
    null_value= args[0]->null_value;
3905 3906 3907 3908 3909 3910 3911 3912 3913 3914
    /*
      LAST_INSERT_ID(X) must affect the client's mysql_insert_id() as
      documented in the manual. We don't want to touch
      first_successful_insert_id_in_cur_stmt because it would make
      LAST_INSERT_ID(X) take precedence over an generated auto_increment
      value for this row.
    */
    thd->arg_of_last_insert_id_function= TRUE;
    thd->first_successful_insert_id_in_prev_stmt= value;
    return value;
3915
  }
3916
  return thd->read_first_successful_insert_id_in_prev_stmt();
unknown's avatar
unknown committed
3917 3918
}

3919 3920 3921 3922 3923 3924 3925 3926

bool Item_func_last_insert_id::fix_fields(THD *thd, Item **ref)
{
  thd->lex->uncacheable(UNCACHEABLE_SIDEEFFECT);
  return Item_int_func::fix_fields(thd, ref);
}


unknown's avatar
unknown committed
3927 3928 3929 3930
/* This function is just used to test speed of different functions */

longlong Item_func_benchmark::val_int()
{
3931
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3932
  char buff[MAX_FIELD_WIDTH];
unknown's avatar
unknown committed
3933
  String tmp(buff,sizeof(buff), &my_charset_bin);
unknown's avatar
unknown committed
3934
  my_decimal tmp_decimal;
unknown's avatar
unknown committed
3935
  THD *thd=current_thd;
3936
  ulonglong loop_count;
unknown's avatar
unknown committed
3937

3938
  loop_count= (ulonglong) args[0]->val_int();
3939

3940 3941
  if (args[0]->null_value ||
      (!args[0]->unsigned_flag && (((longlong) loop_count) < 0)))
3942
  {
3943 3944 3945 3946
    if (!args[0]->null_value)
    {
      char buff[22];
      llstr(((longlong) loop_count), buff);
Marc Alff's avatar
Marc Alff committed
3947
      push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
3948 3949 3950 3951
                          ER_WRONG_VALUE_FOR_TYPE, ER(ER_WRONG_VALUE_FOR_TYPE),
                          "count", buff, "benchmark");
    }

3952 3953 3954 3955 3956
    null_value= 1;
    return 0;
  }

  null_value=0;
3957
  for (ulonglong loop=0 ; loop < loop_count && !thd->killed; loop++)
unknown's avatar
unknown committed
3958
  {
3959
    switch (args[1]->result_type()) {
unknown's avatar
unknown committed
3960
    case REAL_RESULT:
3961
      (void) args[1]->val_real();
unknown's avatar
unknown committed
3962 3963
      break;
    case INT_RESULT:
3964
      (void) args[1]->val_int();
unknown's avatar
unknown committed
3965 3966
      break;
    case STRING_RESULT:
3967
      (void) args[1]->val_str(&tmp);
unknown's avatar
unknown committed
3968
      break;
unknown's avatar
unknown committed
3969 3970 3971
    case DECIMAL_RESULT:
      (void) args[1]->val_decimal(&tmp_decimal);
      break;
3972
    case ROW_RESULT:
unknown's avatar
unknown committed
3973
    default:
unknown's avatar
unknown committed
3974
      // This case should never be chosen
unknown's avatar
unknown committed
3975 3976
      DBUG_ASSERT(0);
      return 0;
unknown's avatar
unknown committed
3977 3978 3979 3980 3981
    }
  }
  return 0;
}

3982

3983
void Item_func_benchmark::print(String *str, enum_query_type query_type)
3984
{
3985
  str->append(STRING_WITH_LEN("benchmark("));
3986
  args[0]->print(str, query_type);
3987
  str->append(',');
3988
  args[1]->print(str, query_type);
3989 3990 3991
  str->append(')');
}

unknown's avatar
unknown committed
3992

unknown's avatar
unknown committed
3993
/** This function is just used to create tests with time gaps. */
3994 3995 3996

longlong Item_func_sleep::val_int()
{
3997
  THD *thd= current_thd;
Marc Alff's avatar
Marc Alff committed
3998
  mysql_cond_t cond;
3999
  double timeout;
4000
  int error;
4001

4002
  DBUG_ASSERT(fixed == 1);
4003

4004
  timeout= args[0]->val_real();
4005
  /*
Marc Alff's avatar
Marc Alff committed
4006
    On 64-bit OSX mysql_cond_timedwait() waits forever
4007 4008 4009 4010 4011
    if passed abstime time has already been exceeded by 
    the system time.
    When given a very short timeout (< 10 mcs) just return 
    immediately.
    We assume that the lines between this test and the call 
Marc Alff's avatar
Marc Alff committed
4012
    to mysql_cond_timedwait() will be executed in less than 0.00001 sec.
4013
  */
4014
  if (timeout < 0.00001)
4015
    return 0;
4016

Marc Alff's avatar
Marc Alff committed
4017 4018
  mysql_cond_init(key_item_func_sleep_cond, &cond, NULL);
  mysql_mutex_lock(&LOCK_user_locks);
4019

4020
  thd_proc_info(thd, "User sleep");
4021 4022 4023
  thd->mysys_var->current_mutex= &LOCK_user_locks;
  thd->mysys_var->current_cond=  &cond;

unknown's avatar
unknown committed
4024 4025 4026
  error= 0;
  while (!thd->killed)
  {
4027
    error= interruptible_wait(thd, &cond, &LOCK_user_locks, timeout);
unknown's avatar
unknown committed
4028 4029 4030 4031
    if (error == ETIMEDOUT || error == ETIME)
      break;
    error= 0;
  }
4032
  thd_proc_info(thd, 0);
Marc Alff's avatar
Marc Alff committed
4033 4034
  mysql_mutex_unlock(&LOCK_user_locks);
  mysql_mutex_lock(&thd->mysys_var->mutex);
4035 4036
  thd->mysys_var->current_mutex= 0;
  thd->mysys_var->current_cond=  0;
Marc Alff's avatar
Marc Alff committed
4037
  mysql_mutex_unlock(&thd->mysys_var->mutex);
4038

Marc Alff's avatar
Marc Alff committed
4039
  mysql_cond_destroy(&cond);
4040

unknown's avatar
unknown committed
4041
  return test(!error); 		// Return 1 killed
4042 4043 4044
}


unknown's avatar
unknown committed
4045 4046 4047 4048 4049 4050 4051
#define extra_size sizeof(double)

static user_var_entry *get_variable(HASH *hash, LEX_STRING &name,
				    bool create_if_not_exists)
{
  user_var_entry *entry;

Konstantin Osipov's avatar
Konstantin Osipov committed
4052 4053
  if (!(entry = (user_var_entry*) my_hash_search(hash, (uchar*) name.str,
                                                 name.length)) &&
unknown's avatar
unknown committed
4054 4055 4056
      create_if_not_exists)
  {
    uint size=ALIGN_SIZE(sizeof(user_var_entry))+name.length+1+extra_size;
Konstantin Osipov's avatar
Konstantin Osipov committed
4057
    if (!my_hash_inited(hash))
unknown's avatar
unknown committed
4058
      return 0;
4059
    if (!(entry = (user_var_entry*) my_malloc(size,MYF(MY_WME | ME_FATALERROR))))
unknown's avatar
unknown committed
4060 4061 4062 4063 4064 4065
      return 0;
    entry->name.str=(char*) entry+ ALIGN_SIZE(sizeof(user_var_entry))+
      extra_size;
    entry->name.length=name.length;
    entry->value=0;
    entry->length=0;
4066
    entry->update_query_id=0;
4067
    entry->collation.set(NULL, DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
4068
    entry->unsigned_flag= 0;
4069 4070 4071 4072 4073 4074 4075 4076 4077 4078
    /*
      If we are here, we were called from a SET or a query which sets a
      variable. Imagine it is this:
      INSERT INTO t SELECT @a:=10, @a:=@a+1.
      Then when we have a Item_func_get_user_var (because of the @a+1) so we
      think we have to write the value of @a to the binlog. But before that,
      we have a Item_func_set_user_var to create @a (@a:=10), in this we mark
      the variable as "already logged" (line below) so that it won't be logged
      by Item_func_get_user_var (because that's not necessary).
    */
unknown's avatar
unknown committed
4079
    entry->used_query_id=current_thd->query_id;
unknown's avatar
unknown committed
4080 4081
    entry->type=STRING_RESULT;
    memcpy(entry->name.str, name.str, name.length+1);
4082
    if (my_hash_insert(hash,(uchar*) entry))
unknown's avatar
unknown committed
4083
    {
4084
      my_free(entry);
unknown's avatar
unknown committed
4085 4086 4087 4088 4089 4090
      return 0;
    }
  }
  return entry;
}

4091

4092 4093 4094 4095 4096 4097 4098
void Item_func_set_user_var::cleanup()
{
  Item_func::cleanup();
  entry= NULL;
}


4099 4100
bool Item_func_set_user_var::set_entry(THD *thd, bool create_if_not_exists)
{
4101
  if (entry && thd->thread_id == entry_thread_id)
4102
    goto end; // update entry->update_query_id for PS
4103
  if (!(entry= get_variable(&thd->user_vars, name, create_if_not_exists)))
4104 4105
  {
    entry_thread_id= 0;
4106
    return TRUE;
4107 4108
  }
  entry_thread_id= thd->thread_id;
4109 4110 4111 4112 4113
  /* 
     Remember the last query which updated it, this way a query can later know
     if this variable is a constant item in the query (it is if update_query_id
     is different from query_id).
  */
4114
end:
4115 4116 4117 4118 4119
  entry->update_query_id= thd->query_id;
  return FALSE;
}


4120
/*
4121 4122
  When a user variable is updated (in a SET command or a query like
  SELECT @a:= ).
4123
*/
4124

4125
bool Item_func_set_user_var::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
4126
{
4127
  DBUG_ASSERT(fixed == 0);
4128
  /* fix_fields will call Item_func_set_user_var::fix_length_and_dec */
4129
  if (Item_func::fix_fields(thd, ref) || set_entry(thd, TRUE))
unknown's avatar
unknown committed
4130
    return TRUE;
4131 4132 4133 4134 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145
  /*
    As it is wrong and confusing to associate any 
    character set with NULL, @a should be latin2
    after this query sequence:

      SET @a=_latin2'string';
      SET @a=NULL;

    I.e. the second query should not change the charset
    to the current default value, but should keep the 
    original value assigned during the first query.
    In order to do it, we don't copy charset
    from the argument if the argument is NULL
    and the variable has previously been initialized.
  */
4146 4147
  null_item= (args[0]->type() == NULL_ITEM);
  if (!entry->collation.collation || !null_item)
4148 4149 4150
    entry->collation.set(args[0]->collation.derivation == DERIVATION_NUMERIC ?
                         default_charset() : args[0]->collation.collation,
                         DERIVATION_IMPLICIT);
4151
  collation.set(entry->collation.collation, DERIVATION_IMPLICIT);
4152
  cached_result_type= args[0]->result_type();
unknown's avatar
unknown committed
4153
  return FALSE;
unknown's avatar
unknown committed
4154 4155 4156 4157 4158 4159 4160 4161
}


void
Item_func_set_user_var::fix_length_and_dec()
{
  maybe_null=args[0]->maybe_null;
  decimals=args[0]->decimals;
4162 4163 4164 4165 4166 4167 4168 4169
  collation.set(DERIVATION_IMPLICIT);
  if (args[0]->collation.derivation == DERIVATION_NUMERIC)
    fix_length_and_charset(args[0]->max_char_length(), default_charset());
  else
  {
    fix_length_and_charset(args[0]->max_char_length(),
                           args[0]->collation.collation);
  }
unknown's avatar
unknown committed
4170 4171
}

4172

unknown's avatar
unknown committed
4173 4174 4175 4176 4177 4178 4179 4180 4181 4182
/*
  Mark field in read_map

  NOTES
    This is used by filesort to register used fields in a a temporary
    column read set or to register used fields in a view
*/

bool Item_func_set_user_var::register_field_in_read_map(uchar *arg)
{
4183 4184 4185 4186 4187 4188
  if (result_field)
  {
    TABLE *table= (TABLE *) arg;
    if (result_field->table == table || !table)
      bitmap_set_bit(result_field->table->read_set, result_field->field_index);
  }
unknown's avatar
unknown committed
4189 4190 4191 4192
  return 0;
}


unknown's avatar
unknown committed
4193
/**
unknown's avatar
unknown committed
4194 4195
  Set value to user variable.

unknown's avatar
unknown committed
4196 4197 4198 4199 4200 4201 4202 4203 4204
  @param entry          pointer to structure representing variable
  @param set_null       should we set NULL value ?
  @param ptr            pointer to buffer with new value
  @param length         length of new value
  @param type           type of new value
  @param cs             charset info for new value
  @param dv             derivation for new value
  @param unsigned_arg   indiates if a value of type INT_RESULT is unsigned

4205 4206
  @note Sets error and fatal error if allocation fails.

unknown's avatar
unknown committed
4207 4208 4209 4210
  @retval
    false   success
  @retval
    true    failure
unknown's avatar
unknown committed
4211 4212 4213 4214
*/

static bool
update_hash(user_var_entry *entry, bool set_null, void *ptr, uint length,
4215 4216
            Item_result type, CHARSET_INFO *cs, Derivation dv,
            bool unsigned_arg)
unknown's avatar
unknown committed
4217
{
unknown's avatar
unknown committed
4218
  if (set_null)
unknown's avatar
unknown committed
4219 4220 4221
  {
    char *pos= (char*) entry+ ALIGN_SIZE(sizeof(user_var_entry));
    if (entry->value && entry->value != pos)
4222
      my_free(entry->value);
4223 4224
    entry->value= 0;
    entry->length= 0;
unknown's avatar
unknown committed
4225 4226 4227
  }
  else
  {
4228 4229
    if (type == STRING_RESULT)
      length++;					// Store strings with end \0
unknown's avatar
unknown committed
4230 4231 4232 4233 4234 4235 4236
    if (length <= extra_size)
    {
      /* Save value in value struct */
      char *pos= (char*) entry+ ALIGN_SIZE(sizeof(user_var_entry));
      if (entry->value != pos)
      {
	if (entry->value)
4237
	  my_free(entry->value);
unknown's avatar
unknown committed
4238 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248
	entry->value=pos;
      }
    }
    else
    {
      /* Allocate variable */
      if (entry->length != length)
      {
	char *pos= (char*) entry+ ALIGN_SIZE(sizeof(user_var_entry));
	if (entry->value == pos)
	  entry->value=0;
4249
        entry->value= (char*) my_realloc(entry->value, length,
4250 4251
                                         MYF(MY_ALLOW_ZERO_PTR | MY_WME |
                                             ME_FATALERROR));
4252
        if (!entry->value)
unknown's avatar
unknown committed
4253
	  return 1;
unknown's avatar
unknown committed
4254 4255
      }
    }
4256 4257 4258 4259 4260
    if (type == STRING_RESULT)
    {
      length--;					// Fix length change above
      entry->value[length]= 0;			// Store end \0
    }
unknown's avatar
unknown committed
4261
    memcpy(entry->value,ptr,length);
unknown's avatar
unknown committed
4262 4263
    if (type == DECIMAL_RESULT)
      ((my_decimal*)entry->value)->fix_buffer_pointer();
unknown's avatar
unknown committed
4264
    entry->length= length;
4265
    entry->collation.set(cs, dv);
unknown's avatar
unknown committed
4266
    entry->unsigned_flag= unsigned_arg;
unknown's avatar
unknown committed
4267
  }
4268
  entry->type=type;
4269
  return 0;
unknown's avatar
unknown committed
4270
}
unknown's avatar
unknown committed
4271

unknown's avatar
unknown committed
4272 4273

bool
4274 4275
Item_func_set_user_var::update_hash(void *ptr, uint length,
                                    Item_result res_type,
4276 4277
                                    CHARSET_INFO *cs, Derivation dv,
                                    bool unsigned_arg)
unknown's avatar
unknown committed
4278
{
4279 4280 4281 4282 4283
  /*
    If we set a variable explicitely to NULL then keep the old
    result type of the variable
  */
  if ((null_value= args[0]->null_value) && null_item)
4284
    res_type= entry->type;                      // Don't change type of item
unknown's avatar
unknown committed
4285
  if (::update_hash(entry, (null_value= args[0]->null_value),
4286
                    ptr, length, res_type, cs, dv, unsigned_arg))
unknown's avatar
unknown committed
4287 4288 4289 4290 4291
  {
    null_value= 1;
    return 1;
  }
  return 0;
unknown's avatar
unknown committed
4292 4293 4294
}


unknown's avatar
unknown committed
4295
/** Get the value of a variable as a double. */
4296

unknown's avatar
unknown committed
4297
double user_var_entry::val_real(my_bool *null_value)
unknown's avatar
unknown committed
4298
{
4299 4300 4301 4302 4303 4304 4305 4306
  if ((*null_value= (value == 0)))
    return 0.0;

  switch (type) {
  case REAL_RESULT:
    return *(double*) value;
  case INT_RESULT:
    return (double) *(longlong*) value;
unknown's avatar
unknown committed
4307 4308 4309 4310 4311 4312
  case DECIMAL_RESULT:
  {
    double result;
    my_decimal2double(E_DEC_FATAL_ERROR, (my_decimal *)value, &result);
    return result;
  }
4313
  case STRING_RESULT:
unknown's avatar
unknown committed
4314
    return my_atof(value);                      // This is null terminated
4315 4316 4317
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
unknown's avatar
unknown committed
4318
  }
4319
  return 0.0;					// Impossible
unknown's avatar
unknown committed
4320 4321 4322
}


unknown's avatar
unknown committed
4323
/** Get the value of a variable as an integer. */
4324

4325
longlong user_var_entry::val_int(my_bool *null_value) const
unknown's avatar
unknown committed
4326
{
4327 4328 4329 4330 4331 4332 4333 4334
  if ((*null_value= (value == 0)))
    return LL(0);

  switch (type) {
  case REAL_RESULT:
    return (longlong) *(double*) value;
  case INT_RESULT:
    return *(longlong*) value;
unknown's avatar
unknown committed
4335 4336 4337
  case DECIMAL_RESULT:
  {
    longlong result;
4338
    my_decimal2int(E_DEC_FATAL_ERROR, (my_decimal *)value, 0, &result);
unknown's avatar
unknown committed
4339 4340
    return result;
  }
unknown's avatar
unknown committed
4341
  case STRING_RESULT:
unknown's avatar
unknown committed
4342 4343 4344 4345
  {
    int error;
    return my_strtoll10(value, (char**) 0, &error);// String is null terminated
  }
4346 4347 4348
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
unknown's avatar
unknown committed
4349
  }
4350 4351 4352 4353
  return LL(0);					// Impossible
}


unknown's avatar
unknown committed
4354
/** Get the value of a variable as a string. */
4355 4356 4357 4358 4359 4360 4361 4362 4363

String *user_var_entry::val_str(my_bool *null_value, String *str,
				uint decimals)
{
  if ((*null_value= (value == 0)))
    return (String*) 0;

  switch (type) {
  case REAL_RESULT:
4364
    str->set_real(*(double*) value, decimals, collation.collation);
4365 4366
    break;
  case INT_RESULT:
4367
    if (!unsigned_flag)
4368
      str->set(*(longlong*) value, collation.collation);
4369
    else
4370
      str->set(*(ulonglong*) value, collation.collation);
4371
    break;
unknown's avatar
unknown committed
4372
  case DECIMAL_RESULT:
4373
    str_set_decimal((my_decimal *) value, str, collation.collation);
unknown's avatar
unknown committed
4374
    break;
4375
  case STRING_RESULT:
unknown's avatar
unknown committed
4376
    if (str->copy(value, length, collation.collation))
4377
      str= 0;					// EOM error
4378 4379 4380
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
unknown's avatar
unknown committed
4381
  }
4382
  return(str);
unknown's avatar
unknown committed
4383 4384
}

unknown's avatar
unknown committed
4385
/** Get the value of a variable as a decimal. */
unknown's avatar
unknown committed
4386 4387 4388 4389 4390 4391 4392 4393 4394 4395 4396 4397 4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4410 4411

my_decimal *user_var_entry::val_decimal(my_bool *null_value, my_decimal *val)
{
  if ((*null_value= (value == 0)))
    return 0;

  switch (type) {
  case REAL_RESULT:
    double2my_decimal(E_DEC_FATAL_ERROR, *(double*) value, val);
    break;
  case INT_RESULT:
    int2my_decimal(E_DEC_FATAL_ERROR, *(longlong*) value, 0, val);
    break;
  case DECIMAL_RESULT:
    val= (my_decimal *)value;
    break;
  case STRING_RESULT:
    str2my_decimal(E_DEC_FATAL_ERROR, value, length, collation.collation, val);
    break;
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
  }
  return(val);
}

unknown's avatar
unknown committed
4412 4413 4414
/**
  This functions is invoked on SET \@variable or
  \@variable:= expression.
4415

unknown's avatar
unknown committed
4416
  Evaluate (and check expression), store results.
4417

unknown's avatar
unknown committed
4418
  @note
unknown's avatar
unknown committed
4419
    For now it always return OK. All problem with value evaluating
4420
    will be caught by thd->is_error() check in sql_set_variables().
4421

unknown's avatar
unknown committed
4422
  @retval
unknown's avatar
unknown committed
4423
    FALSE OK.
4424 4425 4426
*/

bool
4427
Item_func_set_user_var::check(bool use_result_field)
4428 4429
{
  DBUG_ENTER("Item_func_set_user_var::check");
unknown's avatar
unknown committed
4430 4431
  if (use_result_field && !result_field)
    use_result_field= FALSE;
4432 4433 4434 4435

  switch (cached_result_type) {
  case REAL_RESULT:
  {
4436 4437
    save_result.vreal= use_result_field ? result_field->val_real() :
                        args[0]->val_real();
4438 4439 4440 4441
    break;
  }
  case INT_RESULT:
  {
4442 4443 4444 4445
    save_result.vint= use_result_field ? result_field->val_int() :
                       args[0]->val_int();
    unsigned_flag= use_result_field ? ((Field_num*)result_field)->unsigned_flag:
                    args[0]->unsigned_flag;
4446 4447 4448 4449
    break;
  }
  case STRING_RESULT:
  {
4450 4451
    save_result.vstr= use_result_field ? result_field->val_str(&value) :
                       args[0]->val_str(&value);
4452 4453
    break;
  }
unknown's avatar
unknown committed
4454 4455
  case DECIMAL_RESULT:
  {
4456 4457 4458
    save_result.vdec= use_result_field ?
                       result_field->val_decimal(&decimal_buff) :
                       args[0]->val_decimal(&decimal_buff);
unknown's avatar
unknown committed
4459 4460
    break;
  }
4461 4462
  case ROW_RESULT:
  default:
unknown's avatar
unknown committed
4463
    // This case should never be chosen
4464 4465 4466
    DBUG_ASSERT(0);
    break;
  }
unknown's avatar
unknown committed
4467
  DBUG_RETURN(FALSE);
4468 4469
}

4470

4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502 4503 4504 4505
/**
  @brief Evaluate and store item's result.
  This function is invoked on "SELECT ... INTO @var ...".
  
  @param    item    An item to get value from.
*/

void Item_func_set_user_var::save_item_result(Item *item)
{
  DBUG_ENTER("Item_func_set_user_var::save_item_result");

  switch (cached_result_type) {
  case REAL_RESULT:
    save_result.vreal= item->val_result();
    break;
  case INT_RESULT:
    save_result.vint= item->val_int_result();
    unsigned_flag= item->unsigned_flag;
    break;
  case STRING_RESULT:
    save_result.vstr= item->str_result(&value);
    break;
  case DECIMAL_RESULT:
    save_result.vdec= item->val_decimal_result(&decimal_buff);
    break;
  case ROW_RESULT:
  default:
    // Should never happen
    DBUG_ASSERT(0);
    break;
  }
  DBUG_VOID_RETURN;
}


unknown's avatar
unknown committed
4506 4507 4508
/**
  This functions is invoked on
  SET \@variable or \@variable:= expression.
4509

unknown's avatar
unknown committed
4510
  @note
4511 4512 4513
    We have to store the expression as such in the variable, independent of
    the value method used by the user

unknown's avatar
unknown committed
4514
  @retval
unknown's avatar
unknown committed
4515
    0	OK
unknown's avatar
unknown committed
4516
  @retval
4517 4518 4519 4520
    1	EOM Error

*/

unknown's avatar
unknown committed
4521 4522 4523
bool
Item_func_set_user_var::update()
{
Georgi Kodinov's avatar
Georgi Kodinov committed
4524
  bool res= 0;
4525 4526
  DBUG_ENTER("Item_func_set_user_var::update");

unknown's avatar
unknown committed
4527 4528
  switch (cached_result_type) {
  case REAL_RESULT:
unknown's avatar
unknown committed
4529
  {
4530
    res= update_hash((void*) &save_result.vreal,sizeof(save_result.vreal),
4531
		     REAL_RESULT, default_charset(), DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
4532
    break;
unknown's avatar
unknown committed
4533
  }
unknown's avatar
unknown committed
4534
  case INT_RESULT:
4535
  {
4536
    res= update_hash((void*) &save_result.vint, sizeof(save_result.vint),
4537
                     INT_RESULT, default_charset(), DERIVATION_IMPLICIT,
4538
                     unsigned_flag);
unknown's avatar
unknown committed
4539
    break;
unknown's avatar
unknown committed
4540
  }
unknown's avatar
unknown committed
4541
  case STRING_RESULT:
unknown's avatar
unknown committed
4542
  {
4543
    if (!save_result.vstr)					// Null value
unknown's avatar
unknown committed
4544
      res= update_hash((void*) 0, 0, STRING_RESULT, &my_charset_bin,
unknown's avatar
unknown committed
4545
		       DERIVATION_IMPLICIT, 0);
4546
    else
4547 4548 4549
      res= update_hash((void*) save_result.vstr->ptr(),
		       save_result.vstr->length(), STRING_RESULT,
		       save_result.vstr->charset(),
unknown's avatar
unknown committed
4550
		       DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
4551 4552
    break;
  }
unknown's avatar
unknown committed
4553 4554 4555 4556
  case DECIMAL_RESULT:
  {
    if (!save_result.vdec)					// Null value
      res= update_hash((void*) 0, 0, DECIMAL_RESULT, &my_charset_bin,
unknown's avatar
unknown committed
4557
                       DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
4558 4559 4560
    else
      res= update_hash((void*) save_result.vdec,
                       sizeof(my_decimal), DECIMAL_RESULT,
4561
                       default_charset(), DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
4562 4563
    break;
  }
4564
  case ROW_RESULT:
unknown's avatar
unknown committed
4565
  default:
unknown's avatar
unknown committed
4566
    // This case should never be chosen
unknown's avatar
unknown committed
4567 4568 4569
    DBUG_ASSERT(0);
    break;
  }
4570
  DBUG_RETURN(res);
unknown's avatar
unknown committed
4571 4572 4573
}


4574
double Item_func_set_user_var::val_real()
unknown's avatar
unknown committed
4575
{
4576
  DBUG_ASSERT(fixed == 1);
4577
  check(0);
4578
  update();					// Store expression
unknown's avatar
unknown committed
4579
  return entry->val_real(&null_value);
unknown's avatar
unknown committed
4580 4581
}

4582
longlong Item_func_set_user_var::val_int()
unknown's avatar
unknown committed
4583
{
4584
  DBUG_ASSERT(fixed == 1);
4585
  check(0);
4586 4587
  update();					// Store expression
  return entry->val_int(&null_value);
unknown's avatar
unknown committed
4588 4589
}

4590
String *Item_func_set_user_var::val_str(String *str)
unknown's avatar
unknown committed
4591
{
4592
  DBUG_ASSERT(fixed == 1);
4593
  check(0);
4594 4595
  update();					// Store expression
  return entry->val_str(&null_value, str, decimals);
unknown's avatar
unknown committed
4596 4597 4598
}


unknown's avatar
unknown committed
4599 4600 4601
my_decimal *Item_func_set_user_var::val_decimal(my_decimal *val)
{
  DBUG_ASSERT(fixed == 1);
4602
  check(0);
unknown's avatar
unknown committed
4603 4604 4605 4606 4607
  update();					// Store expression
  return entry->val_decimal(&null_value, val);
}


unknown's avatar
unknown committed
4608
double Item_func_set_user_var::val_result()
4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619 4620 4621 4622 4623
{
  DBUG_ASSERT(fixed == 1);
  check(TRUE);
  update();					// Store expression
  return entry->val_real(&null_value);
}

longlong Item_func_set_user_var::val_int_result()
{
  DBUG_ASSERT(fixed == 1);
  check(TRUE);
  update();					// Store expression
  return entry->val_int(&null_value);
}

unknown's avatar
unknown committed
4624
String *Item_func_set_user_var::str_result(String *str)
4625 4626 4627 4628 4629 4630 4631 4632 4633 4634 4635 4636 4637 4638
{
  DBUG_ASSERT(fixed == 1);
  check(TRUE);
  update();					// Store expression
  return entry->val_str(&null_value, str, decimals);
}


my_decimal *Item_func_set_user_var::val_decimal_result(my_decimal *val)
{
  DBUG_ASSERT(fixed == 1);
  check(TRUE);
  update();					// Store expression
  return entry->val_decimal(&null_value, val);
unknown's avatar
unknown committed
4639 4640 4641
}


4642 4643 4644 4645 4646 4647 4648 4649 4650
bool Item_func_set_user_var::is_null_result()
{
  DBUG_ASSERT(fixed == 1);
  check(TRUE);
  update();					// Store expression
  return is_null();
}


4651
void Item_func_set_user_var::print(String *str, enum_query_type query_type)
unknown's avatar
unknown committed
4652
{
4653
  str->append(STRING_WITH_LEN("(@"));
4654
  str->append(name.str, name.length);
4655
  str->append(STRING_WITH_LEN(":="));
4656
  args[0]->print(str, query_type);
unknown's avatar
unknown committed
4657 4658 4659 4660
  str->append(')');
}


4661 4662
void Item_func_set_user_var::print_as_stmt(String *str,
                                           enum_query_type query_type)
4663
{
4664
  str->append(STRING_WITH_LEN("set @"));
4665
  str->append(name.str, name.length);
4666
  str->append(STRING_WITH_LEN(":="));
4667
  args[0]->print(str, query_type);
4668 4669 4670
  str->append(')');
}

4671 4672 4673 4674 4675 4676 4677 4678 4679 4680
bool Item_func_set_user_var::send(Protocol *protocol, String *str_arg)
{
  if (result_field)
  {
    check(1);
    update();
    return protocol->store(result_field);
  }
  return Item::send(protocol, str_arg);
}
4681

unknown's avatar
unknown committed
4682 4683 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693
void Item_func_set_user_var::make_field(Send_field *tmp_field)
{
  if (result_field)
  {
    result_field->make_field(tmp_field);
    DBUG_ASSERT(tmp_field->table_name != 0);
    if (Item::name)
      tmp_field->col_name=Item::name;               // Use user supplied name
  }
  else
    Item::make_field(tmp_field);
}
4694

4695 4696 4697 4698 4699 4700 4701 4702 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 4713 4714 4715 4716 4717 4718 4719 4720 4721 4722 4723 4724 4725 4726 4727 4728 4729 4730 4731 4732 4733

/*
  Save the value of a user variable into a field

  SYNOPSIS
    save_in_field()
      field           target field to save the value to
      no_conversion   flag indicating whether conversions are allowed

  DESCRIPTION
    Save the function value into a field and update the user variable
    accordingly. If a result field is defined and the target field doesn't
    coincide with it then the value from the result field will be used as
    the new value of the user variable.

    The reason to have this method rather than simply using the result
    field in the val_xxx() methods is that the value from the result field
    not always can be used when the result field is defined.
    Let's consider the following cases:
    1) when filling a tmp table the result field is defined but the value of it
    is undefined because it has to be produced yet. Thus we can't use it.
    2) on execution of an INSERT ... SELECT statement the save_in_field()
    function will be called to fill the data in the new record. If the SELECT
    part uses a tmp table then the result field is defined and should be
    used in order to get the correct result.

    The difference between the SET_USER_VAR function and regular functions
    like CONCAT is that the Item_func objects for the regular functions are
    replaced by Item_field objects after the values of these functions have
    been stored in a tmp table. Yet an object of the Item_field class cannot
    be used to update a user variable.
    Due to this we have to handle the result field in a special way here and
    in the Item_func_set_user_var::send() function.

  RETURN VALUES
    FALSE       Ok
    TRUE        Error
*/

4734 4735
int Item_func_set_user_var::save_in_field(Field *field, bool no_conversions,
                                          bool can_use_result_field)
4736
{
4737 4738
  bool use_result_field= (!can_use_result_field ? 0 :
                          (result_field && result_field != field));
4739 4740 4741 4742 4743 4744 4745
  int error;

  /* Update the value of the user variable */
  check(use_result_field);
  update();

  if (result_type() == STRING_RESULT ||
4746 4747
      (result_type() == REAL_RESULT &&
      field->result_type() == STRING_RESULT))
4748 4749 4750 4751 4752 4753 4754 4755 4756 4757 4758 4759 4760 4761 4762 4763 4764 4765 4766 4767 4768 4769 4770 4771 4772 4773 4774 4775 4776 4777
  {
    String *result;
    CHARSET_INFO *cs= collation.collation;
    char buff[MAX_FIELD_WIDTH];		// Alloc buffer for small columns
    str_value.set_quick(buff, sizeof(buff), cs);
    result= entry->val_str(&null_value, &str_value, decimals);

    if (null_value)
    {
      str_value.set_quick(0, 0, cs);
      return set_field_to_null_with_conversions(field, no_conversions);
    }

    /* NOTE: If null_value == FALSE, "result" must be not NULL.  */

    field->set_notnull();
    error=field->store(result->ptr(),result->length(),cs);
    str_value.set_quick(0, 0, cs);
  }
  else if (result_type() == REAL_RESULT)
  {
    double nr= entry->val_real(&null_value);
    if (null_value)
      return set_field_to_null(field);
    field->set_notnull();
    error=field->store(nr);
  }
  else if (result_type() == DECIMAL_RESULT)
  {
    my_decimal decimal_value;
4778
    my_decimal *val= entry->val_decimal(&null_value, &decimal_value);
4779 4780 4781
    if (null_value)
      return set_field_to_null(field);
    field->set_notnull();
4782
    error=field->store_decimal(val);
4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 4795
  }
  else
  {
    longlong nr= entry->val_int(&null_value);
    if (null_value)
      return set_field_to_null_with_conversions(field, no_conversions);
    field->set_notnull();
    error=field->store(nr, unsigned_flag);
  }
  return error;
}


unknown's avatar
unknown committed
4796 4797 4798
String *
Item_func_get_user_var::val_str(String *str)
{
4799
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
4800
  DBUG_ENTER("Item_func_get_user_var::val_str");
4801
  if (!var_entry)
4802
    DBUG_RETURN((String*) 0);			// No such variable
4803
  DBUG_RETURN(var_entry->val_str(&null_value, str, decimals));
unknown's avatar
unknown committed
4804 4805 4806
}


4807
double Item_func_get_user_var::val_real()
unknown's avatar
unknown committed
4808
{
4809
  DBUG_ASSERT(fixed == 1);
4810 4811
  if (!var_entry)
    return 0.0;					// No such variable
unknown's avatar
unknown committed
4812 4813 4814 4815 4816 4817 4818 4819 4820 4821
  return (var_entry->val_real(&null_value));
}


my_decimal *Item_func_get_user_var::val_decimal(my_decimal *dec)
{
  DBUG_ASSERT(fixed == 1);
  if (!var_entry)
    return 0;
  return var_entry->val_decimal(&null_value, dec);
unknown's avatar
unknown committed
4822 4823 4824 4825 4826
}


longlong Item_func_get_user_var::val_int()
{
4827
  DBUG_ASSERT(fixed == 1);
4828 4829 4830
  if (!var_entry)
    return LL(0);				// No such variable
  return (var_entry->val_int(&null_value));
unknown's avatar
unknown committed
4831 4832 4833
}


unknown's avatar
unknown committed
4834
/**
4835 4836 4837
  Get variable by name and, if necessary, put the record of variable 
  use into the binary log.

4838 4839 4840 4841
  When a user variable is invoked from an update query (INSERT, UPDATE etc),
  stores this variable and its value in thd->user_var_events, so that it can be
  written to the binlog (will be written just before the query is written, see
  log.cc).
4842

unknown's avatar
unknown committed
4843 4844 4845 4846 4847 4848
  @param      thd        Current thread
  @param      name       Variable name
  @param[out] out_entry  variable structure or NULL. The pointer is set
                         regardless of whether function succeeded or not.

  @retval
4849
    0  OK
unknown's avatar
unknown committed
4850
  @retval
unknown's avatar
unknown committed
4851
    1  Failed to put appropriate record into binary log
4852

4853 4854
*/

4855 4856
int get_var_with_binlog(THD *thd, enum_sql_command sql_command,
                        LEX_STRING &name, user_var_entry **out_entry)
unknown's avatar
unknown committed
4857
{
4858
  BINLOG_USER_VAR_EVENT *user_var_event;
4859 4860
  user_var_entry *var_entry;
  var_entry= get_variable(&thd->user_vars, name, 0);
4861

4862 4863
  /*
    Any reference to user-defined variable which is done from stored
4864 4865 4866
    function or trigger affects their execution and the execution of the
    calling statement. We must log all such variables even if they are 
    not involved in table-updating statements.
4867 4868 4869
  */
  if (!(opt_bin_log && 
       (is_update_query(sql_command) || thd->in_sub_stmt)))
4870 4871 4872 4873
  {
    *out_entry= var_entry;
    return 0;
  }
4874 4875

  if (!var_entry)
unknown's avatar
unknown committed
4876
  {
4877
    /*
4878 4879 4880 4881
      If the variable does not exist, it's NULL, but we want to create it so
      that it gets into the binlog (if it didn't, the slave could be
      influenced by a variable of the same name previously set by another
      thread).
unknown's avatar
unknown committed
4882 4883
      We create it like if it had been explicitly set with SET before.
      The 'new' mimics what sql_yacc.yy does when 'SET @a=10;'.
4884 4885 4886
      sql_set_variables() is what is called from 'case SQLCOM_SET_OPTION'
      in dispatch_command()). Instead of building a one-element list to pass to
      sql_set_variables(), we could instead manually call check() and update();
4887 4888
      this would save memory and time; but calling sql_set_variables() makes
      one unique place to maintain (sql_set_variables()). 
4889 4890 4891

      Manipulation with lex is necessary since free_underlaid_joins
      is going to release memory belonging to the main query.
4892 4893 4894
    */

    List<set_var_base> tmp_var_list;
4895 4896
    LEX *sav_lex= thd->lex, lex_tmp;
    thd->lex= &lex_tmp;
4897
    lex_start(thd);
4898 4899
    tmp_var_list.push_back(new set_var_user(new Item_func_set_user_var(name,
                                                                       new Item_null())));
4900 4901
    /* Create the variable */
    if (sql_set_variables(thd, &tmp_var_list))
4902 4903
    {
      thd->lex= sav_lex;
4904
      goto err;
4905 4906
    }
    thd->lex= sav_lex;
4907 4908 4909
    if (!(var_entry= get_variable(&thd->user_vars, name, 0)))
      goto err;
  }
4910 4911
  else if (var_entry->used_query_id == thd->query_id ||
           mysql_bin_log.is_query_in_union(thd, var_entry->used_query_id))
4912 4913 4914 4915 4916 4917 4918 4919 4920
  {
    /* 
       If this variable was already stored in user_var_events by this query
       (because it's used in more than one place in the query), don't store
       it.
    */
    *out_entry= var_entry;
    return 0;
  }
4921 4922 4923 4924

  uint size;
  /*
    First we need to store value of var_entry, when the next situation
unknown's avatar
unknown committed
4925
    appears:
4926 4927
    > set @a:=1;
    > insert into t1 values (@a), (@a:=@a+1), (@a:=@a+1);
4928
    We have to write to binlog value @a= 1.
4929

4930 4931 4932 4933
    We allocate the user_var_event on user_var_events_alloc pool, not on
    the this-statement-execution pool because in SPs user_var_event objects 
    may need to be valid after current [SP] statement execution pool is
    destroyed.
4934
  */
4935 4936 4937
  size= ALIGN_SIZE(sizeof(BINLOG_USER_VAR_EVENT)) + var_entry->length;
  if (!(user_var_event= (BINLOG_USER_VAR_EVENT *)
        alloc_root(thd->user_var_events_alloc, size)))
4938
    goto err;
4939

4940 4941 4942 4943 4944
  user_var_event->value= (char*) user_var_event +
    ALIGN_SIZE(sizeof(BINLOG_USER_VAR_EVENT));
  user_var_event->user_var_event= var_entry;
  user_var_event->type= var_entry->type;
  user_var_event->charset_number= var_entry->collation.collation->number;
4945
  user_var_event->unsigned_flag= var_entry->unsigned_flag;
4946 4947 4948 4949 4950
  if (!var_entry->value)
  {
    /* NULL value*/
    user_var_event->length= 0;
    user_var_event->value= 0;
unknown's avatar
unknown committed
4951
  }
4952 4953 4954 4955 4956 4957 4958 4959
  else
  {
    user_var_event->length= var_entry->length;
    memcpy(user_var_event->value, var_entry->value,
           var_entry->length);
  }
  /* Mark that this variable has been used by this query */
  var_entry->used_query_id= thd->query_id;
4960
  if (insert_dynamic(&thd->user_var_events, (uchar*) &user_var_event))
4961
    goto err;
4962

4963 4964
  *out_entry= var_entry;
  return 0;
4965

unknown's avatar
unknown committed
4966
err:
4967 4968 4969 4970 4971 4972 4973 4974 4975 4976 4977
  *out_entry= var_entry;
  return 1;
}

void Item_func_get_user_var::fix_length_and_dec()
{
  THD *thd=current_thd;
  int error;
  maybe_null=1;
  decimals=NOT_FIXED_DEC;
  max_length=MAX_BLOB_WIDTH;
4978

4979
  error= get_var_with_binlog(thd, thd->lex->sql_command, name, &var_entry);
4980

4981 4982 4983 4984 4985
  /*
    If the variable didn't exist it has been created as a STRING-type.
    'var_entry' is NULL only if there occured an error during the call to
    get_var_with_binlog.
  */
4986
  if (var_entry)
4987
  {
4988 4989 4990 4991
    m_cached_result_type= var_entry->type;
    unsigned_flag= var_entry->unsigned_flag;
    max_length= var_entry->length;

4992
    collation.set(var_entry->collation);
4993
    switch(m_cached_result_type) {
4994
    case REAL_RESULT:
4995
      fix_char_length(DBL_DIG + 8);
unknown's avatar
unknown committed
4996
      break;
4997
    case INT_RESULT:
4998
      fix_char_length(MAX_BIGINT_WIDTH);
unknown's avatar
unknown committed
4999
      decimals=0;
5000 5001 5002 5003
      break;
    case STRING_RESULT:
      max_length= MAX_BLOB_WIDTH;
      break;
unknown's avatar
unknown committed
5004
    case DECIMAL_RESULT:
5005
      fix_char_length(DECIMAL_MAX_STR_LENGTH);
unknown's avatar
unknown committed
5006
      decimals= DECIMAL_MAX_SCALE;
unknown's avatar
unknown committed
5007
      break;
unknown's avatar
unknown committed
5008
    case ROW_RESULT:                            // Keep compiler happy
unknown's avatar
unknown committed
5009 5010
    default:
      DBUG_ASSERT(0);
unknown's avatar
unknown committed
5011
      break;
5012 5013
    }
  }
5014
  else
5015 5016
  {
    collation.set(&my_charset_bin, DERIVATION_IMPLICIT);
5017
    null_value= 1;
5018 5019
    m_cached_result_type= STRING_RESULT;
    max_length= MAX_BLOB_WIDTH;
5020
  }
unknown's avatar
unknown committed
5021 5022 5023
}


5024
bool Item_func_get_user_var::const_item() const
5025
{
5026
  return (!var_entry || current_thd->query_id != var_entry->update_query_id);
5027
}
unknown's avatar
unknown committed
5028 5029 5030 5031


enum Item_result Item_func_get_user_var::result_type() const
{
5032
  return m_cached_result_type;
unknown's avatar
unknown committed
5033 5034
}

unknown's avatar
unknown committed
5035

5036
void Item_func_get_user_var::print(String *str, enum_query_type query_type)
unknown's avatar
unknown committed
5037
{
5038
  str->append(STRING_WITH_LEN("(@"));
unknown's avatar
unknown committed
5039 5040 5041 5042
  str->append(name.str,name.length);
  str->append(')');
}

5043

5044
bool Item_func_get_user_var::eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
5045 5046 5047 5048 5049 5050
{
  /* Assume we don't have rtti */
  if (this == item)
    return 1;					// Same item is same.
  /* Check if other type is also a get_user_var() object */
  if (item->type() != FUNC_ITEM ||
5051
      ((Item_func*) item)->functype() != functype())
unknown's avatar
unknown committed
5052 5053 5054 5055 5056 5057 5058
    return 0;
  Item_func_get_user_var *other=(Item_func_get_user_var*) item;
  return (name.length == other->name.length &&
	  !memcmp(name.str, other->name.str, name.length));
}


5059
bool Item_func_get_user_var::set_value(THD *thd,
5060
                                       sp_rcontext * /*ctx*/, Item **it)
5061
{
5062
  Item_func_set_user_var *suv= new Item_func_set_user_var(get_name(), *it);
5063 5064 5065 5066
  /*
    Item_func_set_user_var is not fixed after construction, call
    fix_fields().
  */
5067
  return (!suv || suv->fix_fields(thd, it) || suv->check(0) || suv->update());
5068 5069 5070
}


5071
bool Item_user_var_as_out_param::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
5072 5073
{
  DBUG_ASSERT(fixed == 0);
5074
  DBUG_ASSERT(thd->lex->exchange);
5075
  if (Item::fix_fields(thd, ref) ||
unknown's avatar
unknown committed
5076 5077 5078 5079 5080 5081 5082 5083
      !(entry= get_variable(&thd->user_vars, name, 1)))
    return TRUE;
  entry->type= STRING_RESULT;
  /*
    Let us set the same collation which is used for loading
    of fields in LOAD DATA INFILE.
    (Since Item_user_var_as_out_param is used only there).
  */
5084 5085 5086
  entry->collation.set(thd->lex->exchange->cs ? 
                       thd->lex->exchange->cs :
                       thd->variables.collation_database);
unknown's avatar
unknown committed
5087 5088 5089 5090 5091 5092 5093
  entry->update_query_id= thd->query_id;
  return FALSE;
}


void Item_user_var_as_out_param::set_null_value(CHARSET_INFO* cs)
{
5094 5095
  ::update_hash(entry, TRUE, 0, 0, STRING_RESULT, cs,
                DERIVATION_IMPLICIT, 0 /* unsigned_arg */);
unknown's avatar
unknown committed
5096 5097 5098 5099 5100 5101
}


void Item_user_var_as_out_param::set_value(const char *str, uint length,
                                           CHARSET_INFO* cs)
{
5102 5103
  ::update_hash(entry, FALSE, (void*)str, length, STRING_RESULT, cs,
                DERIVATION_IMPLICIT, 0 /* unsigned_arg */);
unknown's avatar
unknown committed
5104 5105 5106 5107 5108 5109 5110 5111 5112 5113 5114 5115 5116 5117 5118 5119 5120 5121 5122 5123 5124 5125 5126 5127 5128 5129 5130 5131 5132 5133 5134
}


double Item_user_var_as_out_param::val_real()
{
  DBUG_ASSERT(0);
  return 0.0;
}


longlong Item_user_var_as_out_param::val_int()
{
  DBUG_ASSERT(0);
  return 0;
}


String* Item_user_var_as_out_param::val_str(String *str)
{
  DBUG_ASSERT(0);
  return 0;
}


my_decimal* Item_user_var_as_out_param::val_decimal(my_decimal *decimal_buffer)
{
  DBUG_ASSERT(0);
  return 0;
}


5135
void Item_user_var_as_out_param::print(String *str, enum_query_type query_type)
unknown's avatar
unknown committed
5136 5137 5138 5139 5140 5141
{
  str->append('@');
  str->append(name.str,name.length);
}


5142 5143 5144 5145
Item_func_get_system_var::
Item_func_get_system_var(sys_var *var_arg, enum_var_type var_type_arg,
                       LEX_STRING *component_arg, const char *name_arg,
                       size_t name_len_arg)
Georgi Kodinov's avatar
Georgi Kodinov committed
5146 5147
  :var(var_arg), var_type(var_type_arg), orig_var_type(var_type_arg),
  component(*component_arg), cache_present(0)
5148 5149
{
  /* set_name() will allocate the name */
5150
  set_name(name_arg, (uint) name_len_arg, system_charset_info);
5151 5152 5153
}


5154
bool Item_func_get_system_var::is_written_to_binlog()
5155
{
5156 5157 5158 5159
  return var->is_written_to_binlog(var_type);
}


5160 5161 5162 5163 5164 5165 5166 5167 5168 5169
void Item_func_get_system_var::update_null_value()
{
  THD *thd= current_thd;
  int save_no_errors= thd->no_errors;
  thd->no_errors= TRUE;
  Item::update_null_value();
  thd->no_errors= save_no_errors;
}


5170 5171
void Item_func_get_system_var::fix_length_and_dec()
{
5172
  char *cptr;
5173
  maybe_null= TRUE;
5174
  max_length= 0;
5175 5176 5177 5178 5179 5180

  if (var->check_type(var_type))
  {
    if (var_type != OPT_DEFAULT)
    {
      my_error(ER_INCORRECT_GLOBAL_LOCAL_VAR, MYF(0),
5181
               var->name.str, var_type == OPT_GLOBAL ? "SESSION" : "GLOBAL");
5182 5183 5184 5185 5186 5187 5188 5189 5190 5191 5192 5193
      return;
    }
    /* As there was no local variable, return the global value */
    var_type= OPT_GLOBAL;
  }

  switch (var->show_type())
  {
    case SHOW_LONG:
    case SHOW_INT:
    case SHOW_HA_ROWS:
      unsigned_flag= TRUE;
5194 5195
      collation.set_numeric();
      fix_char_length(MY_INT64_NUM_DECIMAL_DIGITS);
5196 5197 5198
      decimals=0;
      break;
    case SHOW_LONGLONG:
5199
      unsigned_flag= TRUE;
5200 5201
      collation.set_numeric();
      fix_char_length(MY_INT64_NUM_DECIMAL_DIGITS);
5202 5203 5204 5205
      decimals=0;
      break;
    case SHOW_CHAR:
    case SHOW_CHAR_PTR:
Marc Alff's avatar
Marc Alff committed
5206
      mysql_mutex_lock(&LOCK_global_system_variables);
5207 5208 5209
      cptr= var->show_type() == SHOW_CHAR ? 
        (char*) var->value_ptr(current_thd, var_type, &component) :
        *(char**) var->value_ptr(current_thd, var_type, &component);
5210
      if (cptr)
5211 5212 5213
        max_length= system_charset_info->cset->numchars(system_charset_info,
                                                        cptr,
                                                        cptr + strlen(cptr));
Marc Alff's avatar
Marc Alff committed
5214
      mysql_mutex_unlock(&LOCK_global_system_variables);
5215
      collation.set(system_charset_info, DERIVATION_SYSCONST);
5216
      max_length*= system_charset_info->mbmaxlen;
5217 5218
      decimals=NOT_FIXED_DEC;
      break;
5219 5220
    case SHOW_LEX_STRING:
      {
Marc Alff's avatar
Marc Alff committed
5221
        mysql_mutex_lock(&LOCK_global_system_variables);
5222 5223 5224 5225
        LEX_STRING *ls= ((LEX_STRING*)var->value_ptr(current_thd, var_type, &component));
        max_length= system_charset_info->cset->numchars(system_charset_info,
                                                        ls->str,
                                                        ls->str + ls->length);
Marc Alff's avatar
Marc Alff committed
5226
        mysql_mutex_unlock(&LOCK_global_system_variables);
5227 5228 5229 5230 5231
        collation.set(system_charset_info, DERIVATION_SYSCONST);
        max_length*= system_charset_info->mbmaxlen;
        decimals=NOT_FIXED_DEC;
      }
      break;
5232
    case SHOW_BOOL:
5233 5234
    case SHOW_MY_BOOL:
      unsigned_flag= FALSE;
5235 5236
      collation.set_numeric();
      fix_char_length(1);
5237 5238 5239 5240 5241
      decimals=0;
      break;
    case SHOW_DOUBLE:
      unsigned_flag= FALSE;
      decimals= 6;
5242 5243
      collation.set_numeric();
      fix_char_length(DBL_DIG + 6);
5244 5245
      break;
    default:
5246
      my_error(ER_VAR_CANT_BE_READ, MYF(0), var->name.str);
5247 5248 5249
      break;
  }
}
5250

5251

5252 5253 5254
void Item_func_get_system_var::print(String *str, enum_query_type query_type)
{
  str->append(name, name_length);
5255 5256 5257
}


5258
enum Item_result Item_func_get_system_var::result_type() const
5259
{
5260 5261
  switch (var->show_type())
  {
5262
    case SHOW_BOOL:
5263 5264 5265 5266 5267 5268 5269 5270
    case SHOW_MY_BOOL:
    case SHOW_INT:
    case SHOW_LONG:
    case SHOW_LONGLONG:
    case SHOW_HA_ROWS:
      return INT_RESULT;
    case SHOW_CHAR: 
    case SHOW_CHAR_PTR: 
5271
    case SHOW_LEX_STRING:
5272 5273 5274 5275
      return STRING_RESULT;
    case SHOW_DOUBLE:
      return REAL_RESULT;
    default:
5276
      my_error(ER_VAR_CANT_BE_READ, MYF(0), var->name.str);
5277 5278 5279 5280 5281 5282 5283 5284 5285
      return STRING_RESULT;                   // keep the compiler happy
  }
}


enum_field_types Item_func_get_system_var::field_type() const
{
  switch (var->show_type())
  {
5286
    case SHOW_BOOL:
5287 5288 5289 5290 5291 5292 5293 5294
    case SHOW_MY_BOOL:
    case SHOW_INT:
    case SHOW_LONG:
    case SHOW_LONGLONG:
    case SHOW_HA_ROWS:
      return MYSQL_TYPE_LONGLONG;
    case SHOW_CHAR: 
    case SHOW_CHAR_PTR: 
5295
    case SHOW_LEX_STRING:
5296 5297 5298 5299
      return MYSQL_TYPE_VARCHAR;
    case SHOW_DOUBLE:
      return MYSQL_TYPE_DOUBLE;
    default:
5300
      my_error(ER_VAR_CANT_BE_READ, MYF(0), var->name.str);
5301 5302 5303 5304 5305
      return MYSQL_TYPE_VARCHAR;              // keep the compiler happy
  }
}


5306 5307 5308 5309
/*
  Uses var, var_type, component, cache_present, used_query_id, thd,
  cached_llval, null_value, cached_null_value
*/
5310 5311 5312
#define get_sys_var_safe(type) \
do { \
  type value; \
Marc Alff's avatar
Marc Alff committed
5313
  mysql_mutex_lock(&LOCK_global_system_variables); \
5314
  value= *(type*) var->value_ptr(thd, var_type, &component); \
Marc Alff's avatar
Marc Alff committed
5315
  mysql_mutex_unlock(&LOCK_global_system_variables); \
5316 5317 5318 5319 5320 5321 5322 5323 5324 5325 5326 5327
  cache_present |= GET_SYS_VAR_CACHE_LONG; \
  used_query_id= thd->query_id; \
  cached_llval= null_value ? 0 : (longlong) value; \
  cached_null_value= null_value; \
  return cached_llval; \
} while (0)


longlong Item_func_get_system_var::val_int()
{
  THD *thd= current_thd;

Georgi Kodinov's avatar
Georgi Kodinov committed
5328
  if (cache_present && thd->query_id == used_query_id)
5329 5330 5331 5332 5333 5334 5335 5336 5337 5338 5339 5340 5341 5342 5343 5344 5345 5346 5347 5348 5349 5350 5351 5352 5353 5354 5355 5356 5357 5358 5359 5360
  {
    if (cache_present & GET_SYS_VAR_CACHE_LONG)
    {
      null_value= cached_null_value;
      return cached_llval;
    } 
    else if (cache_present & GET_SYS_VAR_CACHE_DOUBLE)
    {
      null_value= cached_null_value;
      cached_llval= (longlong) cached_dval;
      cache_present|= GET_SYS_VAR_CACHE_LONG;
      return cached_llval;
    }
    else if (cache_present & GET_SYS_VAR_CACHE_STRING)
    {
      null_value= cached_null_value;
      if (!null_value)
        cached_llval= longlong_from_string_with_check (cached_strval.charset(),
                                                       cached_strval.c_ptr(),
                                                       cached_strval.c_ptr() +
                                                       cached_strval.length());
      else
        cached_llval= 0;
      cache_present|= GET_SYS_VAR_CACHE_LONG;
      return cached_llval;
    }
  }

  switch (var->show_type())
  {
    case SHOW_INT:      get_sys_var_safe (uint);
    case SHOW_LONG:     get_sys_var_safe (ulong);
5361
    case SHOW_LONGLONG: get_sys_var_safe (ulonglong);
5362
    case SHOW_HA_ROWS:  get_sys_var_safe (ha_rows);
5363
    case SHOW_BOOL:     get_sys_var_safe (bool);
5364 5365 5366 5367 5368 5369 5370 5371 5372 5373 5374 5375
    case SHOW_MY_BOOL:  get_sys_var_safe (my_bool);
    case SHOW_DOUBLE:
      {
        double dval= val_real();

        used_query_id= thd->query_id;
        cached_llval= (longlong) dval;
        cache_present|= GET_SYS_VAR_CACHE_LONG;
        return cached_llval;
      }
    case SHOW_CHAR:
    case SHOW_CHAR_PTR:
5376
    case SHOW_LEX_STRING:
5377 5378 5379 5380 5381 5382 5383 5384 5385 5386 5387 5388 5389 5390 5391 5392 5393 5394 5395
      {
        String *str_val= val_str(NULL);

        if (str_val && str_val->length())
          cached_llval= longlong_from_string_with_check (system_charset_info,
                                                          str_val->c_ptr(), 
                                                          str_val->c_ptr() + 
                                                          str_val->length());
        else
        {
          null_value= TRUE;
          cached_llval= 0;
        }

        cache_present|= GET_SYS_VAR_CACHE_LONG;
        return cached_llval;
      }

    default:            
5396
      my_error(ER_VAR_CANT_BE_READ, MYF(0), var->name.str); 
5397 5398 5399 5400 5401 5402 5403 5404 5405
      return 0;                               // keep the compiler happy
  }
}


String* Item_func_get_system_var::val_str(String* str)
{
  THD *thd= current_thd;

Georgi Kodinov's avatar
Georgi Kodinov committed
5406
  if (cache_present && thd->query_id == used_query_id)
5407 5408 5409 5410 5411 5412 5413 5414 5415 5416 5417 5418 5419 5420 5421 5422 5423 5424 5425 5426 5427 5428 5429 5430 5431 5432 5433 5434 5435
  {
    if (cache_present & GET_SYS_VAR_CACHE_STRING)
    {
      null_value= cached_null_value;
      return null_value ? NULL : &cached_strval;
    }
    else if (cache_present & GET_SYS_VAR_CACHE_LONG)
    {
      null_value= cached_null_value;
      if (!null_value)
        cached_strval.set (cached_llval, collation.collation);
      cache_present|= GET_SYS_VAR_CACHE_STRING;
      return null_value ? NULL : &cached_strval;
    }
    else if (cache_present & GET_SYS_VAR_CACHE_DOUBLE)
    {
      null_value= cached_null_value;
      if (!null_value)
        cached_strval.set_real (cached_dval, decimals, collation.collation);
      cache_present|= GET_SYS_VAR_CACHE_STRING;
      return null_value ? NULL : &cached_strval;
    }
  }

  str= &cached_strval;
  switch (var->show_type())
  {
    case SHOW_CHAR:
    case SHOW_CHAR_PTR:
5436
    case SHOW_LEX_STRING:
5437
    {
Marc Alff's avatar
Marc Alff committed
5438
      mysql_mutex_lock(&LOCK_global_system_variables);
5439 5440 5441
      char *cptr= var->show_type() == SHOW_CHAR ? 
        (char*) var->value_ptr(thd, var_type, &component) :
        *(char**) var->value_ptr(thd, var_type, &component);
5442 5443
      if (cptr)
      {
5444 5445 5446 5447
        size_t len= var->show_type() == SHOW_LEX_STRING ?
          ((LEX_STRING*)(var->value_ptr(thd, var_type, &component)))->length :
          strlen(cptr);
        if (str->copy(cptr, len, collation.collation))
5448 5449 5450 5451 5452 5453 5454 5455 5456 5457
        {
          null_value= TRUE;
          str= NULL;
        }
      }
      else
      {
        null_value= TRUE;
        str= NULL;
      }
Marc Alff's avatar
Marc Alff committed
5458
      mysql_mutex_unlock(&LOCK_global_system_variables);
5459 5460 5461 5462 5463 5464 5465
      break;
    }

    case SHOW_INT:
    case SHOW_LONG:
    case SHOW_LONGLONG:
    case SHOW_HA_ROWS:
5466
    case SHOW_BOOL:
5467 5468 5469 5470 5471 5472 5473 5474
    case SHOW_MY_BOOL:
      str->set (val_int(), collation.collation);
      break;
    case SHOW_DOUBLE:
      str->set_real (val_real(), decimals, collation.collation);
      break;

    default:
5475
      my_error(ER_VAR_CANT_BE_READ, MYF(0), var->name.str);
5476 5477 5478 5479 5480 5481 5482 5483 5484 5485 5486 5487 5488 5489 5490
      str= NULL;
      break;
  }

  cache_present|= GET_SYS_VAR_CACHE_STRING;
  used_query_id= thd->query_id;
  cached_null_value= null_value;
  return str;
}


double Item_func_get_system_var::val_real()
{
  THD *thd= current_thd;

Georgi Kodinov's avatar
Georgi Kodinov committed
5491
  if (cache_present && thd->query_id == used_query_id)
5492 5493 5494 5495 5496 5497 5498 5499 5500 5501 5502 5503 5504 5505 5506 5507 5508 5509 5510 5511 5512 5513 5514 5515 5516 5517 5518 5519 5520 5521 5522
  {
    if (cache_present & GET_SYS_VAR_CACHE_DOUBLE)
    {
      null_value= cached_null_value;
      return cached_dval;
    }
    else if (cache_present & GET_SYS_VAR_CACHE_LONG)
    {
      null_value= cached_null_value;
      cached_dval= (double)cached_llval;
      cache_present|= GET_SYS_VAR_CACHE_DOUBLE;
      return cached_dval;
    }
    else if (cache_present & GET_SYS_VAR_CACHE_STRING)
    {
      null_value= cached_null_value;
      if (!null_value)
        cached_dval= double_from_string_with_check (cached_strval.charset(),
                                                    cached_strval.c_ptr(),
                                                    cached_strval.c_ptr() +
                                                    cached_strval.length());
      else
        cached_dval= 0;
      cache_present|= GET_SYS_VAR_CACHE_DOUBLE;
      return cached_dval;
    }
  }

  switch (var->show_type())
  {
    case SHOW_DOUBLE:
Marc Alff's avatar
Marc Alff committed
5523
      mysql_mutex_lock(&LOCK_global_system_variables);
5524
      cached_dval= *(double*) var->value_ptr(thd, var_type, &component);
Marc Alff's avatar
Marc Alff committed
5525
      mysql_mutex_unlock(&LOCK_global_system_variables);
5526 5527 5528 5529 5530 5531 5532
      used_query_id= thd->query_id;
      cached_null_value= null_value;
      if (null_value)
        cached_dval= 0;
      cache_present|= GET_SYS_VAR_CACHE_DOUBLE;
      return cached_dval;
    case SHOW_CHAR:
5533
    case SHOW_LEX_STRING:
5534 5535
    case SHOW_CHAR_PTR:
      {
Marc Alff's avatar
Marc Alff committed
5536
        mysql_mutex_lock(&LOCK_global_system_variables);
5537
        char *cptr= var->show_type() == SHOW_CHAR ? 
5538 5539 5540 5541 5542 5543 5544 5545 5546 5547
          (char*) var->value_ptr(thd, var_type, &component) :
          *(char**) var->value_ptr(thd, var_type, &component);
        if (cptr)
          cached_dval= double_from_string_with_check (system_charset_info, 
                                                cptr, cptr + strlen (cptr));
        else
        {
          null_value= TRUE;
          cached_dval= 0;
        }
Marc Alff's avatar
Marc Alff committed
5548
        mysql_mutex_unlock(&LOCK_global_system_variables);
5549 5550 5551 5552 5553 5554 5555 5556 5557
        used_query_id= thd->query_id;
        cached_null_value= null_value;
        cache_present|= GET_SYS_VAR_CACHE_DOUBLE;
        return cached_dval;
      }
    case SHOW_INT:
    case SHOW_LONG:
    case SHOW_LONGLONG:
    case SHOW_HA_ROWS:
5558
    case SHOW_BOOL:
5559 5560 5561 5562 5563 5564 5565
    case SHOW_MY_BOOL:
        cached_dval= (double) val_int();
        cache_present|= GET_SYS_VAR_CACHE_DOUBLE;
        used_query_id= thd->query_id;
        cached_null_value= null_value;
        return cached_dval;
    default:
5566
      my_error(ER_VAR_CANT_BE_READ, MYF(0), var->name.str);
5567 5568 5569 5570 5571 5572 5573 5574 5575 5576 5577 5578 5579 5580 5581 5582
      return 0;
  }
}


bool Item_func_get_system_var::eq(const Item *item, bool binary_cmp) const
{
  /* Assume we don't have rtti */
  if (this == item)
    return 1;					// Same item is same.
  /* Check if other type is also a get_user_var() object */
  if (item->type() != FUNC_ITEM ||
      ((Item_func*) item)->functype() != functype())
    return 0;
  Item_func_get_system_var *other=(Item_func_get_system_var*) item;
  return (var == other->var && var_type == other->var_type);
5583 5584 5585
}


Georgi Kodinov's avatar
Georgi Kodinov committed
5586 5587 5588
void Item_func_get_system_var::cleanup()
{
  Item_func::cleanup();
Georgi Kodinov's avatar
Georgi Kodinov committed
5589
  cache_present= 0;
Georgi Kodinov's avatar
Georgi Kodinov committed
5590 5591 5592 5593 5594
  var_type= orig_var_type;
  cached_strval.free();
}


unknown's avatar
unknown committed
5595 5596
longlong Item_func_inet_aton::val_int()
{
5597
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
5598 5599 5600 5601 5602
  uint byte_result = 0;
  ulonglong result = 0;			// We are ready for 64 bit addresses
  const char *p,* end;
  char c = '.'; // we mark c to indicate invalid IP in case length is 0
  char buff[36];
5603
  int dot_count= 0;
unknown's avatar
unknown committed
5604

5605 5606
  String *s, tmp(buff, sizeof(buff), &my_charset_latin1);
  if (!(s = args[0]->val_str_ascii(&tmp)))       // If null value
unknown's avatar
unknown committed
5607 5608 5609 5610 5611 5612 5613
    goto err;
  null_value=0;

  end= (p = s->ptr()) + s->length();
  while (p < end)
  {
    c = *p++;
5614
    int digit = (int) (c - '0');
unknown's avatar
unknown committed
5615 5616 5617 5618 5619 5620 5621
    if (digit >= 0 && digit <= 9)
    {
      if ((byte_result = byte_result * 10 + digit) > 255)
	goto err;				// Wrong address
    }
    else if (c == '.')
    {
5622
      dot_count++;
unknown's avatar
unknown committed
5623 5624 5625 5626 5627 5628 5629
      result= (result << 8) + (ulonglong) byte_result;
      byte_result = 0;
    }
    else
      goto err;					// Invalid character
  }
  if (c != '.')					// IP number can't end on '.'
5630
  {
5631 5632 5633 5634 5635 5636
    /*
      Handle short-forms addresses according to standard. Examples:
      127		-> 0.0.0.127
      127.1		-> 127.0.0.1
      127.2.1		-> 127.2.0.1
    */
unknown's avatar
unknown committed
5637
    switch (dot_count) {
5638 5639
    case 1: result<<= 8; /* Fall through */
    case 2: result<<= 8; /* Fall through */
5640
    }
unknown's avatar
unknown committed
5641
    return (result << 8) + (ulonglong) byte_result;
5642
  }
unknown's avatar
unknown committed
5643 5644 5645 5646 5647 5648

err:
  null_value=1;
  return 0;
}

unknown's avatar
unknown committed
5649

unknown's avatar
unknown committed
5650
void Item_func_match::init_search(bool no_order)
5651
{
unknown's avatar
unknown committed
5652
  DBUG_ENTER("Item_func_match::init_search");
5653 5654

  /* Check if init_search() has been called before */
5655
  if (ft_handler)
unknown's avatar
unknown committed
5656
    DBUG_VOID_RETURN;
5657

5658
  if (key == NO_SUCH_KEY)
5659 5660
  {
    List<Item> fields;
5661
    fields.push_back(new Item_string(" ",1, cmp_collation.collation));
5662 5663
    for (uint i=1; i < arg_count; i++)
      fields.push_back(args[i]);
5664
    concat_ws=new Item_func_concat_ws(fields);
unknown's avatar
unknown committed
5665 5666 5667
    /*
      Above function used only to get value and do not need fix_fields for it:
      Item_string - basic constant
unknown's avatar
unknown committed
5668 5669
      fields - fix_fields() was already called for this arguments
      Item_func_concat_ws - do not need fix_fields() to produce value
unknown's avatar
unknown committed
5670
    */
5671
    concat_ws->quick_fix_field();
5672
  }
5673

5674 5675
  if (master)
  {
unknown's avatar
unknown committed
5676 5677
    join_key=master->join_key=join_key|master->join_key;
    master->init_search(no_order);
5678 5679
    ft_handler=master->ft_handler;
    join_key=master->join_key;
unknown's avatar
unknown committed
5680
    DBUG_VOID_RETURN;
5681 5682
  }

unknown's avatar
unknown committed
5683
  String *ft_tmp= 0;
5684

5685
  // MATCH ... AGAINST (NULL) is meaningless, but possible
5686
  if (!(ft_tmp=key_item()->val_str(&value)))
5687
  {
5688 5689
    ft_tmp= &value;
    value.set("",0,cmp_collation.collation);
5690 5691
  }

5692 5693
  if (ft_tmp->charset() != cmp_collation.collation)
  {
unknown's avatar
unknown committed
5694
    uint dummy_errors;
5695
    search_value.copy(ft_tmp->ptr(), ft_tmp->length(), ft_tmp->charset(),
unknown's avatar
unknown committed
5696
                      cmp_collation.collation, &dummy_errors);
5697
    ft_tmp= &search_value;
5698 5699
  }

5700 5701
  if (join_key && !no_order)
    flags|=FT_SORTED;
5702
  ft_handler=table->file->ft_init_ext(flags, key, ft_tmp);
5703 5704 5705

  if (join_key)
    table->file->ft_handler=ft_handler;
unknown's avatar
unknown committed
5706 5707

  DBUG_VOID_RETURN;
5708 5709
}

unknown's avatar
unknown committed
5710

5711
bool Item_func_match::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
5712
{
5713
  DBUG_ASSERT(fixed == 0);
5714
  Item *UNINIT_VAR(item);                        // Safe as arg_count is > 1
unknown's avatar
unknown committed
5715

5716 5717 5718
  maybe_null=1;
  join_key=0;

5719 5720 5721 5722 5723
  /*
    const_item is assumed in quite a bit of places, so it would be difficult
    to remove;  If it would ever to be removed, this should include
    modifications to find_best and auto_close as complement to auto_init code
    above.
5724
   */
5725
  if (Item_func::fix_fields(thd, ref) ||
5726
      !args[0]->const_during_execution())
5727 5728
  {
    my_error(ER_WRONG_ARGUMENTS,MYF(0),"AGAINST");
unknown's avatar
unknown committed
5729
    return TRUE;
5730
  }
unknown's avatar
unknown committed
5731

5732 5733
  const_item_cache=0;
  for (uint i=1 ; i < arg_count ; i++)
unknown's avatar
unknown committed
5734
  {
5735
    item=args[i];
unknown's avatar
unknown committed
5736
    if (item->type() == Item::REF_ITEM)
5737 5738
      args[i]= item= *((Item_ref *)item)->ref;
    if (item->type() != Item::FIELD_ITEM)
5739 5740 5741 5742
    {
      my_error(ER_WRONG_ARGUMENTS, MYF(0), "AGAINST");
      return TRUE;
    }
unknown's avatar
unknown committed
5743
  }
5744 5745
  /*
    Check that all columns come from the same table.
5746
    We've already checked that columns in MATCH are fields so
5747 5748 5749
    PARAM_TABLE_BIT can only appear from AGAINST argument.
  */
  if ((used_tables_cache & ~PARAM_TABLE_BIT) != item->used_tables())
5750
    key=NO_SUCH_KEY;
5751

5752
  if (key == NO_SUCH_KEY && !(flags & FT_BOOL))
5753 5754
  {
    my_error(ER_WRONG_ARGUMENTS,MYF(0),"MATCH");
unknown's avatar
unknown committed
5755
    return TRUE;
5756
  }
5757
  table=((Item_field *)item)->field->table;
5758
  if (!(table->file->ha_table_flags() & HA_CAN_FULLTEXT))
5759
  {
unknown's avatar
unknown committed
5760
    my_error(ER_TABLE_CANT_HANDLE_FT, MYF(0));
unknown's avatar
unknown committed
5761
    return 1;
5762
  }
5763
  table->fulltext_searched=1;
5764 5765
  return agg_item_collations_for_comparison(cmp_collation, func_name(),
                                            args+1, arg_count-1, 0);
unknown's avatar
unknown committed
5766
}
5767

unknown's avatar
unknown committed
5768 5769 5770
bool Item_func_match::fix_index()
{
  Item_field *item;
5771
  uint ft_to_key[MAX_KEY], ft_cnt[MAX_KEY], fts=0, keynr;
5772
  uint max_cnt=0, mkeys=0, i;
5773

5774
  if (key == NO_SUCH_KEY)
5775
    return 0;
5776 5777 5778
  
  if (!table) 
    goto err;
unknown's avatar
unknown committed
5779

5780
  for (keynr=0 ; keynr < table->s->keys ; keynr++)
unknown's avatar
unknown committed
5781
  {
5782
    if ((table->key_info[keynr].flags & HA_FULLTEXT) &&
5783 5784 5785
        (flags & FT_BOOL ? table->keys_in_use_for_query.is_set(keynr) :
                           table->s->keys_in_use.is_set(keynr)))

unknown's avatar
unknown committed
5786
    {
5787
      ft_to_key[fts]=keynr;
unknown's avatar
unknown committed
5788 5789 5790 5791 5792 5793
      ft_cnt[fts]=0;
      fts++;
    }
  }

  if (!fts)
5794
    goto err;
unknown's avatar
unknown committed
5795

5796
  for (i=1; i < arg_count; i++)
unknown's avatar
unknown committed
5797
  {
5798
    item=(Item_field*)args[i];
5799
    for (keynr=0 ; keynr < fts ; keynr++)
unknown's avatar
unknown committed
5800
    {
5801
      KEY *ft_key=&table->key_info[ft_to_key[keynr]];
unknown's avatar
unknown committed
5802 5803 5804 5805 5806
      uint key_parts=ft_key->key_parts;

      for (uint part=0 ; part < key_parts ; part++)
      {
	if (item->field->eq(ft_key->key_part[part].field))
5807
	  ft_cnt[keynr]++;
unknown's avatar
unknown committed
5808 5809 5810 5811
      }
    }
  }

5812
  for (keynr=0 ; keynr < fts ; keynr++)
unknown's avatar
unknown committed
5813
  {
5814
    if (ft_cnt[keynr] > max_cnt)
unknown's avatar
unknown committed
5815
    {
5816
      mkeys=0;
5817 5818
      max_cnt=ft_cnt[mkeys]=ft_cnt[keynr];
      ft_to_key[mkeys]=ft_to_key[keynr];
5819 5820
      continue;
    }
5821
    if (max_cnt && ft_cnt[keynr] == max_cnt)
5822 5823
    {
      mkeys++;
5824 5825
      ft_cnt[mkeys]=ft_cnt[keynr];
      ft_to_key[mkeys]=ft_to_key[keynr];
5826
      continue;
unknown's avatar
unknown committed
5827 5828 5829
    }
  }

5830
  for (keynr=0 ; keynr <= mkeys ; keynr++)
unknown's avatar
unknown committed
5831
  {
5832 5833
    // partial keys doesn't work
    if (max_cnt < arg_count-1 ||
5834
        max_cnt < table->key_info[ft_to_key[keynr]].key_parts)
5835
      continue;
unknown's avatar
unknown committed
5836

5837
    key=ft_to_key[keynr];
5838

5839 5840 5841
    return 0;
  }

5842
err:
5843
  if (flags & FT_BOOL)
5844
  {
5845
    key=NO_SUCH_KEY;
5846 5847
    return 0;
  }
unknown's avatar
unknown committed
5848 5849
  my_message(ER_FT_MATCHING_KEY_NOT_FOUND,
             ER(ER_FT_MATCHING_KEY_NOT_FOUND), MYF(0));
5850
  return 1;
5851 5852
}

5853

5854
bool Item_func_match::eq(const Item *item, bool binary_cmp) const
5855
{
unknown's avatar
unknown committed
5856 5857
  if (item->type() != FUNC_ITEM ||
      ((Item_func*)item)->functype() != FT_FUNC ||
5858
      flags != ((Item_func_match*)item)->flags)
5859 5860 5861 5862 5863
    return 0;

  Item_func_match *ifm=(Item_func_match*) item;

  if (key == ifm->key && table == ifm->table &&
5864
      key_item()->eq(ifm->key_item(), binary_cmp))
5865
    return 1;
unknown's avatar
unknown committed
5866 5867 5868 5869

  return 0;
}

5870

5871
double Item_func_match::val_real()
unknown's avatar
unknown committed
5872
{
5873
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
5874
  DBUG_ENTER("Item_func_match::val");
unknown's avatar
unknown committed
5875
  if (ft_handler == NULL)
unknown's avatar
unknown committed
5876
    DBUG_RETURN(-1.0);
unknown's avatar
unknown committed
5877

5878
  if (key != NO_SUCH_KEY && table->null_row) /* NULL row from an outer join */
unknown's avatar
unknown committed
5879
    DBUG_RETURN(0.0);
unknown's avatar
unknown committed
5880

unknown's avatar
unknown committed
5881 5882 5883
  if (join_key)
  {
    if (table->file->ft_handler)
unknown's avatar
unknown committed
5884
      DBUG_RETURN(ft_handler->please->get_relevance(ft_handler));
unknown's avatar
unknown committed
5885 5886 5887
    join_key=0;
  }

5888
  if (key == NO_SUCH_KEY)
unknown's avatar
unknown committed
5889
  {
5890 5891
    String *a= concat_ws->val_str(&value);
    if ((null_value= (a == 0)) || !a->length())
unknown's avatar
unknown committed
5892 5893
      DBUG_RETURN(0);
    DBUG_RETURN(ft_handler->please->find_relevance(ft_handler,
5894
				      (uchar *)a->ptr(), a->length()));
unknown's avatar
unknown committed
5895
  }
unknown's avatar
unknown committed
5896 5897
  DBUG_RETURN(ft_handler->please->find_relevance(ft_handler,
                                                 table->record[0], 0));
unknown's avatar
unknown committed
5898 5899
}

5900
void Item_func_match::print(String *str, enum_query_type query_type)
5901
{
5902
  str->append(STRING_WITH_LEN("(match "));
5903
  print_args(str, 1, query_type);
5904
  str->append(STRING_WITH_LEN(" against ("));
5905
  args[0]->print(str, query_type);
unknown's avatar
unknown committed
5906
  if (flags & FT_BOOL)
5907
    str->append(STRING_WITH_LEN(" in boolean mode"));
unknown's avatar
unknown committed
5908
  else if (flags & FT_EXPAND)
5909 5910
    str->append(STRING_WITH_LEN(" with query expansion"));
  str->append(STRING_WITH_LEN("))"));
5911
}
unknown's avatar
unknown committed
5912

unknown's avatar
unknown committed
5913 5914
longlong Item_func_bit_xor::val_int()
{
5915
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
5916 5917
  ulonglong arg1= (ulonglong) args[0]->val_int();
  ulonglong arg2= (ulonglong) args[1]->val_int();
5918
  if ((null_value= (args[0]->null_value || args[1]->null_value)))
unknown's avatar
unknown committed
5919 5920 5921 5922
    return 0;
  return (longlong) (arg1 ^ arg2);
}

5923

5924 5925 5926 5927
/***************************************************************************
  System variables
****************************************************************************/

unknown's avatar
unknown committed
5928 5929
/**
  Return value of an system variable base[.name] as a constant item.
5930

unknown's avatar
unknown committed
5931 5932 5933 5934
  @param thd			Thread handler
  @param var_type		global / session
  @param name		        Name of base or system variable
  @param component		Component.
5935

unknown's avatar
unknown committed
5936
  @note
5937 5938
    If component.str = 0 then the variable name is in 'name'

unknown's avatar
unknown committed
5939 5940 5941
  @return
    - 0  : error
    - #  : constant item
5942
*/
5943

5944 5945 5946

Item *get_system_var(THD *thd, enum_var_type var_type, LEX_STRING name,
		     LEX_STRING component)
5947
{
5948 5949 5950
  sys_var *var;
  LEX_STRING *base_name, *component_name;

5951 5952 5953 5954 5955 5956 5957 5958 5959 5960
  if (component.str)
  {
    base_name= &component;
    component_name= &name;
  }
  else
  {
    base_name= &name;
    component_name= &component;			// Empty string
  }
unknown's avatar
unknown committed
5961

unknown's avatar
WL#2936  
unknown committed
5962
  if (!(var= find_sys_var(thd, base_name->str, base_name->length)))
unknown's avatar
unknown committed
5963
    return 0;
5964 5965 5966 5967
  if (component.str)
  {
    if (!var->is_struct())
    {
5968
      my_error(ER_VARIABLE_IS_NOT_STRUCT, MYF(0), base_name->str);
5969 5970 5971
      return 0;
    }
  }
unknown's avatar
unknown committed
5972
  thd->lex->uncacheable(UNCACHEABLE_SIDEEFFECT);
5973

5974 5975
  set_if_smaller(component_name->length, MAX_SYS_VAR_LENGTH);

5976
  return new Item_func_get_system_var(var, var_type, component_name,
5977
                                      NULL, 0);
5978 5979 5980
}


unknown's avatar
unknown committed
5981
/**
unknown's avatar
unknown committed
5982
  Check a user level lock.
5983

unknown's avatar
unknown committed
5984
  Sets null_value=TRUE on error.
5985

unknown's avatar
unknown committed
5986
  @retval
5987
    1		Available
unknown's avatar
unknown committed
5988 5989
  @retval
    0		Already taken, or error
unknown's avatar
unknown committed
5990 5991
*/

5992
longlong Item_func_is_free_lock::val_int()
unknown's avatar
unknown committed
5993
{
5994
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
5995
  String *res=args[0]->val_str(&value);
5996
  User_level_lock *ull;
unknown's avatar
unknown committed
5997 5998

  null_value=0;
5999
  if (!res || !res->length())
unknown's avatar
unknown committed
6000 6001 6002 6003 6004
  {
    null_value=1;
    return 0;
  }
  
Marc Alff's avatar
Marc Alff committed
6005
  mysql_mutex_lock(&LOCK_user_locks);
Konstantin Osipov's avatar
Konstantin Osipov committed
6006 6007
  ull= (User_level_lock *) my_hash_search(&hash_user_locks, (uchar*) res->ptr(),
                                          (size_t) res->length());
Marc Alff's avatar
Marc Alff committed
6008
  mysql_mutex_unlock(&LOCK_user_locks);
unknown's avatar
unknown committed
6009 6010 6011 6012
  if (!ull || !ull->locked)
    return 1;
  return 0;
}
unknown's avatar
unknown committed
6013

unknown's avatar
SCRUM  
unknown committed
6014 6015
longlong Item_func_is_used_lock::val_int()
{
6016
  DBUG_ASSERT(fixed == 1);
unknown's avatar
SCRUM  
unknown committed
6017
  String *res=args[0]->val_str(&value);
6018
  User_level_lock *ull;
unknown's avatar
SCRUM  
unknown committed
6019 6020 6021 6022 6023

  null_value=1;
  if (!res || !res->length())
    return 0;
  
Marc Alff's avatar
Marc Alff committed
6024
  mysql_mutex_lock(&LOCK_user_locks);
Konstantin Osipov's avatar
Konstantin Osipov committed
6025 6026
  ull= (User_level_lock *) my_hash_search(&hash_user_locks, (uchar*) res->ptr(),
                                          (size_t) res->length());
Marc Alff's avatar
Marc Alff committed
6027
  mysql_mutex_unlock(&LOCK_user_locks);
unknown's avatar
SCRUM  
unknown committed
6028 6029 6030 6031 6032 6033 6034
  if (!ull || !ull->locked)
    return 0;

  null_value=0;
  return ull->thread_id;
}

6035

6036 6037 6038 6039 6040
longlong Item_func_row_count::val_int()
{
  DBUG_ASSERT(fixed == 1);
  THD *thd= current_thd;

6041
  return thd->get_row_count_func();
6042 6043 6044
}


6045 6046


6047
Item_func_sp::Item_func_sp(Name_resolution_context *context_arg, sp_name *name)
6048
  :Item_func(), context(context_arg), m_name(name), m_sp(NULL), sp_result_field(NULL)
6049
{
unknown's avatar
unknown committed
6050
  maybe_null= 1;
6051
  m_name->init_qname(current_thd);
unknown's avatar
unknown committed
6052 6053
  dummy_table= (TABLE*) sql_calloc(sizeof(TABLE)+ sizeof(TABLE_SHARE));
  dummy_table->s= (TABLE_SHARE*) (dummy_table+1);
6054 6055
}

unknown's avatar
unknown committed
6056

6057 6058
Item_func_sp::Item_func_sp(Name_resolution_context *context_arg,
                           sp_name *name, List<Item> &list)
6059
  :Item_func(list), context(context_arg), m_name(name), m_sp(NULL),sp_result_field(NULL)
6060
{
unknown's avatar
unknown committed
6061
  maybe_null= 1;
6062
  m_name->init_qname(current_thd);
unknown's avatar
unknown committed
6063 6064
  dummy_table= (TABLE*) sql_calloc(sizeof(TABLE)+ sizeof(TABLE_SHARE));
  dummy_table->s= (TABLE_SHARE*) (dummy_table+1);
6065 6066
}

unknown's avatar
unknown committed
6067

6068 6069 6070
void
Item_func_sp::cleanup()
{
6071
  if (sp_result_field)
6072
  {
6073 6074
    delete sp_result_field;
    sp_result_field= NULL;
6075
  }
6076
  m_sp= NULL;
6077
  dummy_table->alias= NULL;
6078 6079
  Item_func::cleanup();
}
unknown's avatar
unknown committed
6080

6081 6082 6083
const char *
Item_func_sp::func_name() const
{
6084
  THD *thd= current_thd;
unknown's avatar
unknown committed
6085
  /* Calculate length to avoid reallocation of string for sure */
6086
  uint len= (((m_name->m_explicit_name ? m_name->m_db.length : 0) +
6087 6088
              m_name->m_name.length)*2 + //characters*quoting
             2 +                         // ` and `
6089 6090
             (m_name->m_explicit_name ?
              3 : 0) +                   // '`', '`' and '.' for the db
6091 6092
             1 +                         // end of string
             ALIGN_SIZE(1));             // to avoid String reallocation
unknown's avatar
unknown committed
6093
  String qname((char *)alloc_root(thd->mem_root, len), len,
6094
               system_charset_info);
6095

6096
  qname.length(0);
6097 6098 6099 6100 6101
  if (m_name->m_explicit_name)
  {
    append_identifier(thd, &qname, m_name->m_db.str, m_name->m_db.length);
    qname.append('.');
  }
6102 6103
  append_identifier(thd, &qname, m_name->m_name.str, m_name->m_name.length);
  return qname.ptr();
6104 6105
}

6106

Marc Alff's avatar
Marc Alff committed
6107
void my_missing_function_error(const LEX_STRING &token, const char *func_name)
6108 6109
{
  if (token.length && is_lex_native_function (&token))
Marc Alff's avatar
Marc Alff committed
6110
    my_error(ER_FUNC_INEXISTENT_NAME_COLLISION, MYF(0), func_name);
6111
  else
Marc Alff's avatar
Marc Alff committed
6112
    my_error(ER_SP_DOES_NOT_EXIST, MYF(0), "FUNCTION", func_name);
6113 6114
}

6115 6116 6117 6118 6119 6120 6121 6122 6123 6124 6125 6126 6127 6128 6129 6130 6131 6132

/**
  @brief Initialize the result field by creating a temporary dummy table
    and assign it to a newly created field object. Meta data used to
    create the field is fetched from the sp_head belonging to the stored
    proceedure found in the stored procedure functon cache.
  
  @note This function should be called from fix_fields to init the result
    field. It is some what related to Item_field.

  @see Item_field

  @param thd A pointer to the session and thread context.

  @return Function return error status.
  @retval TRUE is returned on an error
  @retval FALSE is returned on success.
*/
6133

6134 6135
bool
Item_func_sp::init_result_field(THD *thd)
unknown's avatar
unknown committed
6136
{
unknown's avatar
unknown committed
6137
  LEX_STRING empty_name= { C_STRING_WITH_LEN("") };
6138
  TABLE_SHARE *share;
6139
  DBUG_ENTER("Item_func_sp::init_result_field");
unknown's avatar
unknown committed
6140

6141 6142
  DBUG_ASSERT(m_sp == NULL);
  DBUG_ASSERT(sp_result_field == NULL);
unknown's avatar
unknown committed
6143

6144 6145
  if (!(m_sp= sp_find_routine(thd, TYPE_ENUM_FUNCTION, m_name,
                               &thd->sp_func_cache, TRUE)))
unknown's avatar
unknown committed
6146
  {
6147
    my_missing_function_error (m_name->m_name, m_name->m_qname.str);
6148 6149
    context->process_error(thd);
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
6150
  }
6151 6152 6153 6154 6155 6156

  /*
     A Field need to be attached to a Table.
     Below we "create" a dummy table by initializing 
     the needed pointers.
   */
unknown's avatar
unknown committed
6157 6158 6159
  
  share= dummy_table->s;
  dummy_table->alias = "";
6160 6161 6162 6163 6164 6165
  dummy_table->maybe_null = maybe_null;
  dummy_table->in_use= thd;
  dummy_table->copy_blobs= TRUE;
  share->table_cache_key = empty_name;
  share->table_name = empty_name;

6166 6167
  if (!(sp_result_field= m_sp->create_result_field(max_length, name,
                                                   dummy_table)))
unknown's avatar
unknown committed
6168
  {
6169
   DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
6170
  }
6171 6172
  
  if (sp_result_field->pack_length() > sizeof(result_buf))
unknown's avatar
unknown committed
6173
  {
6174 6175 6176 6177
    void *tmp;
    if (!(tmp= sql_alloc(sp_result_field->pack_length())))
      DBUG_RETURN(TRUE);
    sp_result_field->move_field((uchar*) tmp);
unknown's avatar
unknown committed
6178
  }
6179 6180
  else
    sp_result_field->move_field(result_buf);
6181 6182 6183 6184
  
  sp_result_field->null_ptr= (uchar *) &null_value;
  sp_result_field->null_bit= 1;
  DBUG_RETURN(FALSE);
unknown's avatar
unknown committed
6185 6186
}

6187

6188 6189
/**
  @brief Initialize local members with values from the Field interface.
unknown's avatar
unknown committed
6190

6191 6192
  @note called from Item::fix_fields.
*/
6193

6194 6195 6196
void Item_func_sp::fix_length_and_dec()
{
  DBUG_ENTER("Item_func_sp::fix_length_and_dec");
unknown's avatar
unknown committed
6197

6198 6199 6200 6201 6202 6203 6204 6205 6206 6207
  DBUG_ASSERT(sp_result_field);
  decimals= sp_result_field->decimals();
  max_length= sp_result_field->field_length;
  collation.set(sp_result_field->charset());
  maybe_null= 1;
  unsigned_flag= test(sp_result_field->flags & UNSIGNED_FLAG);

  DBUG_VOID_RETURN;
}

6208

6209 6210 6211 6212 6213 6214
/**
  @brief Execute function & store value in field.

  @return Function returns error status.
  @retval FALSE on success.
  @retval TRUE if an error occurred.
unknown's avatar
unknown committed
6215 6216
*/

6217
bool
6218
Item_func_sp::execute()
6219
{
6220
  THD *thd= current_thd;
6221
  
6222 6223
  /* Execute function and store the return value in the field. */

6224
  if (execute_impl(thd))
6225 6226 6227
  {
    null_value= 1;
    context->process_error(thd);
6228 6229
    if (thd->killed)
      thd->send_kill_message();
6230 6231 6232 6233 6234
    return TRUE;
  }

  /* Check that the field (the value) is not NULL. */

6235
  null_value= sp_result_field->is_null();
6236 6237

  return null_value;
6238 6239 6240
}


6241 6242 6243 6244 6245 6246 6247 6248 6249 6250
/**
   @brief Execute function and store the return value in the field.

   @note This function was intended to be the concrete implementation of
    the interface function execute. This was never realized.

   @return The error state.
   @retval FALSE on success
   @retval TRUE if an error occurred.
*/
6251
bool
6252
Item_func_sp::execute_impl(THD *thd)
6253
{
6254
  bool err_status= TRUE;
6255
  Sub_statement_state statement_state;
6256 6257 6258
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  Security_context *save_security_ctx= thd->security_ctx;
#endif
6259 6260 6261
  enum enum_sp_data_access access=
    (m_sp->m_chistics->daccess == SP_DEFAULT_ACCESS) ?
     SP_DEFAULT_ACCESS_MAPPING : m_sp->m_chistics->daccess;
6262

6263 6264
  DBUG_ENTER("Item_func_sp::execute_impl");

6265 6266 6267 6268 6269 6270 6271
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  if (context->security_ctx)
  {
    /* Set view definer security context */
    thd->security_ctx= context->security_ctx;
  }
#endif
6272
  if (sp_check_access(thd))
6273
    goto error;
6274

6275 6276 6277 6278
  /*
    Throw an error if a non-deterministic function is called while
    statement-based replication (SBR) is active.
  */
6279

6280
  if (!m_sp->m_chistics->detistic && !trust_function_creators &&
6281
      (access == SP_CONTAINS_SQL || access == SP_MODIFIES_SQL_DATA) &&
6282 6283 6284
      (mysql_bin_log.is_open() &&
       thd->variables.binlog_format == BINLOG_FORMAT_STMT))
  {
6285
    my_error(ER_BINLOG_UNSAFE_ROUTINE, MYF(0));
6286 6287 6288
    goto error;
  }

6289 6290 6291 6292 6293
  /*
    Disable the binlogging if this is not a SELECT statement. If this is a
    SELECT, leave binlogging on, so execute_function() code writes the
    function call into binlog.
  */
6294
  thd->reset_sub_statement_state(&statement_state, SUB_STMT_FUNCTION);
6295
  err_status= m_sp->execute_function(thd, args, arg_count, sp_result_field); 
6296
  thd->restore_sub_statement_state(&statement_state);
unknown's avatar
unknown committed
6297

6298
error:
6299
#ifndef NO_EMBEDDED_ACCESS_CHECKS
unknown's avatar
unknown committed
6300
  thd->security_ctx= save_security_ctx;
6301
#endif
6302

6303
  DBUG_RETURN(err_status);
6304 6305
}

6306

unknown's avatar
unknown committed
6307 6308 6309 6310
void
Item_func_sp::make_field(Send_field *tmp_field)
{
  DBUG_ENTER("Item_func_sp::make_field");
6311 6312
  DBUG_ASSERT(sp_result_field);
  sp_result_field->make_field(tmp_field);
6313 6314
  if (name)
    tmp_field->col_name= name;
unknown's avatar
unknown committed
6315 6316 6317 6318
  DBUG_VOID_RETURN;
}


6319 6320
enum enum_field_types
Item_func_sp::field_type() const
6321
{
6322
  DBUG_ENTER("Item_func_sp::field_type");
6323 6324
  DBUG_ASSERT(sp_result_field);
  DBUG_RETURN(sp_result_field->type());
6325 6326
}

6327 6328
Item_result
Item_func_sp::result_type() const
6329
{
6330
  DBUG_ENTER("Item_func_sp::result_type");
6331
  DBUG_PRINT("info", ("m_sp = %p", (void *) m_sp));
6332 6333
  DBUG_ASSERT(sp_result_field);
  DBUG_RETURN(sp_result_field->result_type());
6334 6335
}

6336 6337 6338
longlong Item_func_found_rows::val_int()
{
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
6339
  return current_thd->found_rows();
6340
}
unknown's avatar
unknown committed
6341

unknown's avatar
unknown committed
6342

unknown's avatar
unknown committed
6343 6344 6345 6346 6347
Field *
Item_func_sp::tmp_table_field(TABLE *t_arg)
{
  DBUG_ENTER("Item_func_sp::tmp_table_field");

6348 6349
  DBUG_ASSERT(sp_result_field);
  DBUG_RETURN(sp_result_field);
unknown's avatar
unknown committed
6350
}
6351

unknown's avatar
unknown committed
6352

6353 6354
/**
  @brief Checks if requested access to function can be granted to user.
6355 6356
    If function isn't found yet, it searches function first.
    If function can't be found or user don't have requested access
unknown's avatar
unknown committed
6357
    error is raised.
6358 6359 6360 6361 6362 6363 6364

  @param thd thread handler

  @return Indication if the access was granted or not.
  @retval FALSE Access is granted.
  @retval TRUE Requested access can't be granted or function doesn't exists.
    
6365
*/
unknown's avatar
unknown committed
6366

6367
bool
6368
Item_func_sp::sp_check_access(THD *thd)
6369
{
6370 6371
  DBUG_ENTER("Item_func_sp::sp_check_access");
  DBUG_ASSERT(m_sp);
unknown's avatar
unknown committed
6372
#ifndef NO_EMBEDDED_ACCESS_CHECKS
6373
  if (check_routine_access(thd, EXECUTE_ACL,
unknown's avatar
unknown committed
6374
			   m_sp->m_db.str, m_sp->m_name.str, 0, FALSE))
6375
    DBUG_RETURN(TRUE);
6376
#endif
unknown's avatar
unknown committed
6377

6378
  DBUG_RETURN(FALSE);
unknown's avatar
unknown committed
6379
}
6380

6381

6382 6383 6384 6385
bool
Item_func_sp::fix_fields(THD *thd, Item **ref)
{
  bool res;
6386
  DBUG_ENTER("Item_func_sp::fix_fields");
6387
  DBUG_ASSERT(fixed == 0);
6388 6389 6390 6391 6392 6393 6394 6395 6396 6397 6398
 
  /*
    We must call init_result_field before Item_func::fix_fields() 
    to make m_sp and result_field members available to fix_length_and_dec(),
    which is called from Item_func::fix_fields().
  */
  res= init_result_field(thd);

  if (res)
    DBUG_RETURN(res);

6399
  res= Item_func::fix_fields(thd, ref);
6400 6401 6402 6403 6404

  if (res)
    DBUG_RETURN(res);

  if (thd->lex->view_prepare_mode)
unknown's avatar
unknown committed
6405
  {
6406 6407
    /*
      Here we check privileges of the stored routine only during view
6408 6409 6410 6411 6412 6413 6414
      creation, in order to validate the view.  A runtime check is
      perfomed in Item_func_sp::execute(), and this method is not
      called during context analysis.  Notice, that during view
      creation we do not infer into stored routine bodies and do not
      check privileges of its statements, which would probably be a
      good idea especially if the view has SQL SECURITY DEFINER and
      the used stored procedure has SQL SECURITY DEFINER.
6415
    */
6416
    res= sp_check_access(thd);
6417
#ifndef NO_EMBEDDED_ACCESS_CHECKS
6418 6419 6420
    /*
      Try to set and restore the security context to see whether it's valid
    */
6421
    Security_context *save_secutiry_ctx;
6422 6423
    res= set_routine_security_ctx(thd, m_sp, false, &save_secutiry_ctx);
    if (!res)
6424
      m_sp->m_security_ctx.restore_security_context(thd, save_secutiry_ctx);
6425
    
6426
#endif /* ! NO_EMBEDDED_ACCESS_CHECKS */
unknown's avatar
unknown committed
6427
  }
6428

unknown's avatar
unknown committed
6429
  if (!m_sp->m_chistics->detistic)
6430 6431 6432 6433 6434
  {
    used_tables_cache |= RAND_TABLE_BIT;
    const_item_cache= FALSE;
  }

6435
  DBUG_RETURN(res);
6436
}
6437 6438


unknown's avatar
unknown committed
6439 6440 6441
void Item_func_sp::update_used_tables()
{
  Item_func::update_used_tables();
6442

unknown's avatar
unknown committed
6443
  if (!m_sp->m_chistics->detistic)
6444 6445 6446 6447
  {
    used_tables_cache |= RAND_TABLE_BIT;
    const_item_cache= FALSE;
  }
unknown's avatar
unknown committed
6448
}
6449 6450


6451 6452 6453 6454 6455 6456 6457 6458 6459 6460 6461 6462 6463 6464 6465 6466 6467 6468 6469 6470 6471 6472
/*
  uuid_short handling.

  The short uuid is defined as a longlong that contains the following bytes:

  Bytes  Comment
  1      Server_id & 255
  4      Startup time of server in seconds
  3      Incrementor

  This means that an uuid is guaranteed to be unique
  even in a replication environment if the following holds:

  - The last byte of the server id is unique
  - If you between two shutdown of the server don't get more than
    an average of 2^24 = 16M calls to uuid_short() per second.
*/

ulonglong uuid_value;

void uuid_short_init()
{
6473 6474
  uuid_value= ((((ulonglong) server_id) << 56) + 
               (((ulonglong) server_start_time) << 24));
6475 6476 6477 6478 6479 6480
}


longlong Item_func_uuid_short::val_int()
{
  ulonglong val;
Marc Alff's avatar
Marc Alff committed
6481
  mysql_mutex_lock(&LOCK_uuid_generator);
6482
  val= uuid_value++;
Marc Alff's avatar
Marc Alff committed
6483
  mysql_mutex_unlock(&LOCK_uuid_generator);
6484 6485
  return (longlong) val;
}