item_func.cc 125 KB
Newer Older
unknown's avatar
unknown committed
1
/* Copyright (C) 2000-2003 MySQL AB
unknown's avatar
unknown committed
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

   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
   the Free Software Foundation; either version 2 of the License, or
   (at your option) any later version.

   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 */


/* This file defines all numerical functions */

20
#ifdef USE_PRAGMA_IMPLEMENTATION
unknown's avatar
unknown committed
21 22 23 24
#pragma implementation				// gcc: Class implementation
#endif

#include "mysql_priv.h"
unknown's avatar
unknown committed
25
#include "slave.h"				// for wait_for_master_pos
unknown's avatar
unknown committed
26 27 28 29 30
#include <m_ctype.h>
#include <hash.h>
#include <time.h>
#include <ft_global.h>

31 32 33
#include "sp_head.h"
#include "sp_rcontext.h"
#include "sp.h"
unknown's avatar
unknown committed
34

unknown's avatar
unknown committed
35 36 37 38 39
#ifdef NO_EMBEDDED_ACCESS_CHECKS
#define sp_restore_security_context(A,B) while (0) {}
#endif


40 41 42 43 44 45 46 47 48 49
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
50 51 52 53 54 55 56 57
/* return TRUE if item is a constant */

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

unknown's avatar
unknown committed
58

59
void Item_func::set_arguments(List<Item> &list)
unknown's avatar
unknown committed
60
{
61
  allowed_arg_cols= 1;
unknown's avatar
unknown committed
62
  arg_count=list.elements;
unknown's avatar
unknown committed
63 64
  args= tmp_arg;                                // If 2 arguments
  if (arg_count <= 2 || (args=(Item**) sql_alloc(sizeof(Item*)*arg_count)))
unknown's avatar
unknown committed
65
  {
unknown's avatar
unknown committed
66
    List_iterator_fast<Item> li(list);
unknown's avatar
unknown committed
67
    Item *item;
unknown's avatar
unknown committed
68
    Item **save_args= args;
unknown's avatar
unknown committed
69 70 71

    while ((item=li++))
    {
unknown's avatar
unknown committed
72
      *(save_args++)= item;
unknown's avatar
unknown committed
73 74 75 76 77 78
      with_sum_func|=item->with_sum_func;
    }
  }
  list.empty();					// Fields are used
}

79 80 81 82 83 84
Item_func::Item_func(List<Item> &list)
  :allowed_arg_cols(1)
{
  set_arguments(list);
}

85
Item_func::Item_func(THD *thd, Item_func *item)
86
  :Item_result_field(thd, item),
87 88 89 90 91
   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)
92 93 94 95 96 97 98 99 100 101
{
  if (arg_count)
  {
    if (arg_count <=2)
      args= tmp_arg;
    else
    {
      if (!(args=(Item**) thd->alloc(sizeof(Item*)*arg_count)))
	return;
    }
102
    memcpy((char*) args, (char*) item->args, sizeof(Item*)*arg_count);
103 104 105
  }
}

unknown's avatar
unknown committed
106 107

/*
108
  Resolve references to table column for a function and its argument
unknown's avatar
unknown committed
109 110 111 112 113 114 115 116 117 118 119 120 121 122 123

  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
124
      used_tables_cache Set to union of the tables used by arguments
unknown's avatar
unknown committed
125 126 127

      str_value.charset If this is a string function, set this to the
			character set for the first argument.
128
			If any argument is binary, this is set to binary
unknown's avatar
unknown committed
129 130 131 132 133 134 135

   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
136 137
  FALSE	ok
  TRUE	Got error.  Stored with my_error().
unknown's avatar
unknown committed
138 139
*/

unknown's avatar
unknown committed
140
bool
141
Item_func::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
142
{
143
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
144
  Item **arg,**arg_end;
145 146 147
#ifndef EMBEDDED_LIBRARY			// Avoid compiler warning
  char buff[STACK_BUFF_ALLOC];			// Max argument in function
#endif
148

149
  used_tables_cache= not_null_tables_cache= 0;
unknown's avatar
unknown committed
150 151
  const_item_cache=1;

152
  if (check_stack_overrun(thd, STACK_MIN_SIZE, buff))
unknown's avatar
unknown committed
153
    return TRUE;				// Fatal error if flag is set!
unknown's avatar
unknown committed
154 155 156 157
  if (arg_count)
  {						// Print purify happy
    for (arg=args, arg_end=args+arg_count; arg != arg_end ; arg++)
    {
unknown's avatar
unknown committed
158
      Item *item;
unknown's avatar
merge  
unknown committed
159 160 161 162
      /*
	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
      */
163
      if ((!(*arg)->fixed && (*arg)->fix_fields(thd, arg)))
unknown's avatar
unknown committed
164
	return TRUE;				/* purecov: inspected */
unknown's avatar
unknown committed
165
      item= *arg;
166 167 168 169 170 171 172 173 174 175 176 177 178 179

      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
180
      if (item->maybe_null)
unknown's avatar
unknown committed
181
	maybe_null=1;
182

unknown's avatar
unknown committed
183
      with_sum_func= with_sum_func || item->with_sum_func;
184 185 186
      used_tables_cache|=     item->used_tables();
      not_null_tables_cache|= item->not_null_tables();
      const_item_cache&=      item->const_item();
187
      with_subselect|=        item->with_subselect;
unknown's avatar
unknown committed
188 189 190
    }
  }
  fix_length_and_dec();
unknown's avatar
unknown committed
191 192
  if (thd->net.report_error) // An error inside fix_length_and_dec occured
    return TRUE;
193
  fixed= 1;
unknown's avatar
unknown committed
194
  return FALSE;
unknown's avatar
unknown committed
195 196
}

197 198 199

bool Item_func::walk(Item_processor processor, bool walk_subquery,
                     byte *argument)
unknown's avatar
unknown committed
200 201 202 203 204 205
{
  if (arg_count)
  {
    Item **arg,**arg_end;
    for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
    {
206
      if ((*arg)->walk(processor, walk_subquery, argument))
unknown's avatar
unknown committed
207 208 209 210 211
	return 1;
    }
  }
  return (this->*processor)(argument);
}
212

213 214
void Item_func::traverse_cond(Cond_traverser traverser,
                              void *argument, traverse_order order)
unknown's avatar
unknown committed
215 216 217 218
{
  if (arg_count)
  {
    Item **arg,**arg_end;
219 220 221

    switch (order) {
    case(PREFIX):
unknown's avatar
unknown committed
222
      (*traverser)(this, argument);
223 224 225 226 227 228 229 230 231 232
      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
233
      (*traverser)(this, argument);
unknown's avatar
unknown committed
234 235 236 237
    }
  }
}

unknown's avatar
unknown committed
238 239 240 241 242 243

/*
  Transform an Item_func object with a transformer callback function
   
  SYNOPSIS
    transform()
244 245 246
      transformer   the transformer callback function to be applied to the nodes
                    of the tree of the object
      argument      parameter to be passed to the transformer
unknown's avatar
unknown committed
247 248
  
  DESCRIPTION
249 250 251
    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
252
    the old item is substituted for a new one.
253
    After this the transformer is applied to the root node
unknown's avatar
unknown committed
254 255 256 257 258 259 260
    of the Item_func object. 
     
  RETURN VALUES
    Item returned as the result of transformation of the root node 
*/

Item *Item_func::transform(Item_transformer transformer, byte *argument)
261
{
262 263
  DBUG_ASSERT(!current_thd->is_stmt_prepare());

264 265 266 267 268
  if (arg_count)
  {
    Item **arg,**arg_end;
    for (arg= args, arg_end= args+arg_count; arg != arg_end; arg++)
    {
unknown's avatar
unknown committed
269
      Item *new_item= (*arg)->transform(transformer, argument);
270 271
      if (!new_item)
	return 0;
272 273 274 275 276 277 278

      /*
        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
279 280
      if (*arg != new_item)
        current_thd->change_item_tree(arg, new_item);
281 282
    }
  }
unknown's avatar
unknown committed
283
  return (this->*transformer)(argument);
284 285 286
}


287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326
/*
  Compile Item_func object with a processor and a transformer callback functions
   
  SYNOPSIS
    compile()
      analyzer      the analyzer callback function to be applied to the nodes
                    of the tree of the object
      arg_p         in/out parameter to be passed to the processor
      transformer   the transformer callback function to be applied to the nodes
                    of the tree of the object
      arg_t         parameter to be passed to the transformer
  
  DESCRIPTION
    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. 
     
  RETURN VALUES
    Item returned as the result of transformation of the root node 
*/

Item *Item_func::compile(Item_analyzer analyzer, byte **arg_p,
                         Item_transformer transformer, byte *arg_t)
{
  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.
      */   
327
      byte *arg_v= *arg_p;
328 329 330 331 332 333 334 335
      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);
}

336 337
/* See comments in Item_cmp_func::split_sum_func() */

338 339
void Item_func::split_sum_func(THD *thd, Item **ref_pointer_array,
                               List<Item> &fields)
unknown's avatar
unknown committed
340
{
unknown's avatar
unknown committed
341 342
  Item **arg, **arg_end;
  for (arg= args, arg_end= args+arg_count; arg != arg_end ; arg++)
unknown's avatar
unknown committed
343
    (*arg)->split_sum_func2(thd, ref_pointer_array, fields, arg, TRUE);
unknown's avatar
unknown committed
344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364
}


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;
}

365 366 367 368 369 370 371

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


unknown's avatar
unknown committed
372 373 374 375
void Item_func::print(String *str)
{
  str->append(func_name());
  str->append('(');
unknown's avatar
unknown committed
376
  print_args(str, 0);
377 378 379 380
  str->append(')');
}


unknown's avatar
unknown committed
381
void Item_func::print_args(String *str, uint from)
382
{
unknown's avatar
unknown committed
383
  for (uint i=from ; i < arg_count ; i++)
unknown's avatar
unknown committed
384
  {
unknown's avatar
unknown committed
385
    if (i != from)
unknown's avatar
unknown committed
386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405
      str->append(',');
    args[i]->print(str);
  }
}


void Item_func::print_op(String *str)
{
  str->append('(');
  for (uint i=0 ; i < arg_count-1 ; i++)
  {
    args[i]->print(str);
    str->append(' ');
    str->append(func_name());
    str->append(' ');
  }
  args[arg_count-1]->print(str);
  str->append(')');
}

unknown's avatar
unknown committed
406

407
bool Item_func::eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
408 409 410 411 412 413 414 415 416 417 418
{
  /* 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;
  if (arg_count != item_func->arg_count ||
      func_name() != item_func->func_name())
    return 0;
  for (uint i=0; i < arg_count ; i++)
419
    if (!args[i]->eq(item_func->args[i], binary_cmp))
unknown's avatar
unknown committed
420 421 422 423
      return 0;
  return 1;
}

424

unknown's avatar
unknown committed
425
Field *Item_func::tmp_table_field(TABLE *table)
426
{
unknown's avatar
unknown committed
427 428
  Field *field;
  LINT_INIT(field);
429

unknown's avatar
unknown committed
430
  switch (result_type()) {
431 432
  case INT_RESULT:
    if (max_length > 11)
unknown's avatar
unknown committed
433
      field= new Field_longlong(max_length, maybe_null, name, unsigned_flag);
434
    else
unknown's avatar
unknown committed
435
      field= new Field_long(max_length, maybe_null, name, unsigned_flag);
436 437
    break;
  case REAL_RESULT:
unknown's avatar
unknown committed
438
    field= new Field_double(max_length, maybe_null, name, decimals);
439 440
    break;
  case STRING_RESULT:
unknown's avatar
unknown committed
441
    return make_string_field(table);
442
    break;
unknown's avatar
unknown committed
443
  case DECIMAL_RESULT:
unknown's avatar
unknown committed
444 445 446 447
    field= new Field_new_decimal(my_decimal_precision_to_length(decimal_precision(),
                                                                decimals,
                                                                unsigned_flag),
                                 maybe_null, name, decimals, unsigned_flag);
unknown's avatar
unknown committed
448
    break;
449
  case ROW_RESULT:
unknown's avatar
unknown committed
450
  default:
unknown's avatar
unknown committed
451
    // This case should never be chosen
unknown's avatar
unknown committed
452
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
453
    field= 0;
unknown's avatar
unknown committed
454
    break;
455
  }
unknown's avatar
unknown committed
456 457 458
  if (field)
    field->init(table);
  return field;
459 460
}

unknown's avatar
unknown committed
461

462
bool Item_func::is_expensive_processor(byte *arg)
463
{
464
  return is_expensive();
465 466 467
}


unknown's avatar
unknown committed
468 469 470 471 472 473 474
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;
}

475

unknown's avatar
unknown committed
476 477
String *Item_real_func::val_str(String *str)
{
478
  DBUG_ASSERT(fixed == 1);
479
  double nr= val_real();
unknown's avatar
unknown committed
480 481
  if (null_value)
    return 0; /* purecov: inspected */
482
  str->set_real(nr,decimals, &my_charset_bin);
unknown's avatar
unknown committed
483 484 485 486
  return str;
}


487 488 489 490 491 492 493 494 495 496 497
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
498
void Item_func::fix_num_length_and_dec()
unknown's avatar
unknown committed
499
{
500
  uint fl_length= 0;
unknown's avatar
unknown committed
501
  decimals=0;
unknown's avatar
unknown committed
502
  for (uint i=0 ; i < arg_count ; i++)
unknown's avatar
unknown committed
503 504
  {
    set_if_bigger(decimals,args[i]->decimals);
505 506
    set_if_bigger(fl_length, args[i]->max_length);
  }
unknown's avatar
unknown committed
507
  max_length=float_length(decimals);
508 509 510 511
  if (fl_length > max_length)
  {
    decimals= NOT_FIXED_DEC;
    max_length= float_length(NOT_FIXED_DEC);
unknown's avatar
unknown committed
512
  }
unknown's avatar
unknown committed
513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529
}


void Item_func_numhybrid::fix_num_length_and_dec()
{}


/*
  Set max_length/decimals of function if function is fixed point and
  result length/precision depends on argument ones

  SYNOPSIS
    Item_func::count_decimal_length()
*/

void Item_func::count_decimal_length()
{
unknown's avatar
unknown committed
530
  int max_int_part= 0;
unknown's avatar
unknown committed
531
  decimals= 0;
unknown's avatar
unknown committed
532
  unsigned_flag= 1;
unknown's avatar
unknown committed
533
  for (uint i=0 ; i < arg_count ; i++)
unknown's avatar
unknown committed
534
  {
unknown's avatar
unknown committed
535
    set_if_bigger(decimals, args[i]->decimals);
unknown's avatar
unknown committed
536 537
    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
538
  }
unknown's avatar
unknown committed
539 540 541
  int precision= min(max_int_part + decimals, DECIMAL_MAX_PRECISION);
  max_length= my_decimal_precision_to_length(precision, decimals,
                                             unsigned_flag);
unknown's avatar
unknown committed
542 543 544
}


unknown's avatar
unknown committed
545 546 547 548 549 550 551 552
/*
  Set max_length of if it is maximum length of its arguments

  SYNOPSIS
    Item_func::count_only_length()
*/

void Item_func::count_only_length()
unknown's avatar
unknown committed
553
{
unknown's avatar
unknown committed
554
  max_length= 0;
unknown's avatar
unknown committed
555
  unsigned_flag= 0;
unknown's avatar
unknown committed
556
  for (uint i=0 ; i < arg_count ; i++)
unknown's avatar
unknown committed
557
  {
unknown's avatar
unknown committed
558
    set_if_bigger(max_length, args[i]->max_length);
unknown's avatar
unknown committed
559 560
    set_if_bigger(unsigned_flag, args[i]->unsigned_flag);
  }
unknown's avatar
unknown committed
561 562
}

unknown's avatar
unknown committed
563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598

/*
  Set max_length/decimals of function if function is floating point and
  result length/precision depends on argument ones

  SYNOPSIS
    Item_func::count_real_length()
*/

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
599 600 601 602 603 604 605 606 607 608
void Item_func::signal_divide_by_null()
{
  THD *thd= current_thd;
  if (thd->variables.sql_mode & MODE_ERROR_FOR_DIVISION_BY_ZERO)
    push_warning(thd, MYSQL_ERROR::WARN_LEVEL_ERROR, ER_DIVISION_BY_ZERO,
                 ER(ER_DIVISION_BY_ZERO));
  null_value= 1;
}


609
Item *Item_func::get_tmp_table_item(THD *thd)
610
{
611
  if (!with_sum_func && !const_item() && functype() != SUSERVAR_FUNC)
612
    return new Item_field(result_field);
613
  return copy_or_same(thd);
614 615
}

unknown's avatar
unknown committed
616 617
String *Item_int_func::val_str(String *str)
{
618
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
619 620 621
  longlong nr=val_int();
  if (null_value)
    return 0;
622
  str->set_int(nr, unsigned_flag, &my_charset_bin);
unknown's avatar
unknown committed
623 624 625
  return str;
}

unknown's avatar
unknown committed
626

627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651
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;

  /*
    To replicate CONNECTION_ID() properly we should use
    pseudo_thread_id on slave, which contains the value of thread_id
    on master.
  */
  value= ((thd->slave_thread) ?
          thd->variables.pseudo_thread_id :
          thd->thread_id);

  return FALSE;
}


652
/*
653 654
  Check arguments here to determine result's type for a numeric
  function of two arguments.
unknown's avatar
unknown committed
655 656 657

  SYNOPSIS
    Item_num_op::find_num_type()
658
*/
unknown's avatar
unknown committed
659 660 661

void Item_num_op::find_num_type(void)
{
unknown's avatar
unknown committed
662 663 664 665 666 667 668 669
  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)
670
  {
unknown's avatar
unknown committed
671 672 673 674 675 676 677 678 679
    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();
  }
680
  else
681
  {
682
    DBUG_ASSERT(r0 == INT_RESULT && r1 == INT_RESULT);
unknown's avatar
unknown committed
683
    decimals= 0;
unknown's avatar
unknown committed
684
    hybrid_type=INT_RESULT;
unknown's avatar
unknown committed
685
    result_precision();
686
  }
unknown's avatar
unknown committed
687 688 689 690 691 692
  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
693 694
}

unknown's avatar
unknown committed
695 696

/*
697 698 699
  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
700 701 702 703

  SYNOPSIS
    Item_func_num1::find_num_type()
*/
704

unknown's avatar
unknown committed
705 706 707 708
void Item_func_num1::find_num_type()
{
  DBUG_ENTER("Item_func_num1::find_num_type");
  DBUG_PRINT("info", ("name %s", func_name()));
709
  switch (hybrid_type= args[0]->result_type()) {
unknown's avatar
unknown committed
710
  case INT_RESULT:
711
    unsigned_flag= args[0]->unsigned_flag;
unknown's avatar
unknown committed
712 713 714 715 716 717 718 719 720 721
    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);
722
  }
unknown's avatar
unknown committed
723 724 725 726 727 728
  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
729 730
}

unknown's avatar
unknown committed
731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746

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
747
{
748
  DBUG_ASSERT(fixed == 1);
749
  switch (hybrid_type) {
unknown's avatar
unknown committed
750 751 752 753
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value, *val;
    if (!(val= decimal_op(&decimal_value)))
754
      return 0;                                 // null is set
unknown's avatar
unknown committed
755 756 757 758 759 760 761
    my_decimal_round(E_DEC_FATAL_ERROR, val, decimals, FALSE, val);
    my_decimal2string(E_DEC_FATAL_ERROR, val, 0, 0, 0, str);
    break;
  }
  case INT_RESULT:
  {
    longlong nr= int_op();
unknown's avatar
unknown committed
762 763
    if (null_value)
      return 0; /* purecov: inspected */
764
    str->set_int(nr, unsigned_flag, &my_charset_bin);
unknown's avatar
unknown committed
765
    break;
unknown's avatar
unknown committed
766
  }
unknown's avatar
unknown committed
767
  case REAL_RESULT:
unknown's avatar
unknown committed
768
  {
769
    double nr= real_op();
unknown's avatar
unknown committed
770 771
    if (null_value)
      return 0; /* purecov: inspected */
772
    str->set_real(nr,decimals,&my_charset_bin);
unknown's avatar
unknown committed
773 774
    break;
  }
unknown's avatar
unknown committed
775 776
  case STRING_RESULT:
    return str_op(&str_value);
unknown's avatar
unknown committed
777 778
  default:
    DBUG_ASSERT(0);
unknown's avatar
unknown committed
779 780 781 782 783
  }
  return str;
}


unknown's avatar
unknown committed
784 785 786
double Item_func_numhybrid::val_real()
{
  DBUG_ASSERT(fixed == 1);
787
  switch (hybrid_type) {
unknown's avatar
unknown committed
788 789 790 791
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value, *val;
    double result;
792 793
    if (!(val= decimal_op(&decimal_value)))
      return 0.0;                               // null is set
unknown's avatar
unknown committed
794 795 796 797 798 799 800
    my_decimal2double(E_DEC_FATAL_ERROR, val, &result);
    return result;
  }
  case INT_RESULT:
    return (double)int_op();
  case REAL_RESULT:
    return real_op();
unknown's avatar
unknown committed
801 802 803 804 805 806 807 808
  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
809 810 811 812 813 814 815 816 817 818
  default:
    DBUG_ASSERT(0);
  }
  return 0.0;
}


longlong Item_func_numhybrid::val_int()
{
  DBUG_ASSERT(fixed == 1);
819
  switch (hybrid_type) {
unknown's avatar
unknown committed
820 821 822 823
  case DECIMAL_RESULT:
  {
    my_decimal decimal_value, *val;
    if (!(val= decimal_op(&decimal_value)))
824
      return 0;                                 // null is set
unknown's avatar
unknown committed
825 826 827 828 829 830 831
    longlong result;
    my_decimal2int(E_DEC_FATAL_ERROR, val, unsigned_flag, &result);
    return result;
  }
  case INT_RESULT:
    return int_op();
  case REAL_RESULT:
832
    return (longlong) rint(real_op());
unknown's avatar
unknown committed
833 834 835
  case STRING_RESULT:
  {
    int err_not_used;
unknown's avatar
unknown committed
836 837 838 839
    String *res;
    if (!(res= str_op(&str_value)))
      return 0;

840
    char *end= (char*) res->ptr() + res->length();
unknown's avatar
unknown committed
841
    CHARSET_INFO *cs= str_value.charset();
unknown's avatar
unknown committed
842
    return (*(cs->cset->strtoll10))(cs, res->ptr(), &end, &err_not_used);
unknown's avatar
unknown committed
843
  }
unknown's avatar
unknown committed
844 845 846 847 848 849 850 851 852 853 854
  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);
855
  switch (hybrid_type) {
unknown's avatar
unknown committed
856 857 858 859 860 861 862 863 864 865 866
  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:
  {
867
    double result= (double)real_op();
unknown's avatar
unknown committed
868 869 870 871
    double2my_decimal(E_DEC_FATAL_ERROR, result, decimal_value);
    break;
  }
  case STRING_RESULT:
unknown's avatar
unknown committed
872
  {
unknown's avatar
unknown committed
873 874 875 876
    String *res;
    if (!(res= str_op(&str_value)))
      return NULL;

unknown's avatar
unknown committed
877 878 879 880
    str2my_decimal(E_DEC_FATAL_ERROR, (char*) res->ptr(),
                   res->length(), res->charset(), decimal_value);
    break;
  }  
unknown's avatar
unknown committed
881 882 883 884 885 886 887 888
  case ROW_RESULT:
  default:
    DBUG_ASSERT(0);
  }
  return val;
}


889 890
void Item_func_signed::print(String *str)
{
891
  str->append(STRING_WITH_LEN("cast("));
892
  args[0]->print(str);
893
  str->append(STRING_WITH_LEN(" as signed)"));
894 895 896 897

}


898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949
longlong Item_func_signed::val_int_from_str(int *error)
{
  char buff[MAX_FIELD_WIDTH], *end;
  String tmp(buff,sizeof(buff), &my_charset_bin), *res;
  longlong value;

  /*
    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;
  end= (char*) res->ptr()+ res->length();
  value= my_strtoll10(res->ptr(), &end, error);
  if (*error > 0 || end != res->ptr()+ res->length())
    push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_WARN,
                        ER_TRUNCATED_WRONG_VALUE,
                        ER(ER_TRUNCATED_WRONG_VALUE), "INTEGER",
                        res->c_ptr());
  return value;
}


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

  if (args[0]->cast_to_int_type() != STRING_RESULT)
  {
    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;
}


950 951
void Item_func_unsigned::print(String *str)
{
952
  str->append(STRING_WITH_LEN("cast("));
953
  args[0]->print(str);
954
  str->append(STRING_WITH_LEN(" as unsigned)"));
955 956 957 958

}


959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979
longlong Item_func_unsigned::val_int()
{
  longlong value;
  int error;

  if (args[0]->cast_to_int_type() != STRING_RESULT)
  {
    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
980 981 982
String *Item_decimal_typecast::val_str(String *str)
{
  my_decimal tmp_buf, *tmp= val_decimal(&tmp_buf);
983 984
  if (null_value)
    return NULL;
unknown's avatar
unknown committed
985 986 987 988 989 990 991 992 993
  my_decimal2string(E_DEC_FATAL_ERROR, &tmp_buf, 0, 0, 0, str);
  return str;
}


double Item_decimal_typecast::val_real()
{
  my_decimal tmp_buf, *tmp= val_decimal(&tmp_buf);
  double res;
994 995
  if (null_value)
    return 0.0;
unknown's avatar
unknown committed
996 997 998 999 1000 1001 1002 1003 1004
  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;
1005 1006
  if (null_value)
    return 0;
unknown's avatar
unknown committed
1007 1008 1009 1010 1011 1012 1013 1014
  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);
1015
  bool sign;
1016 1017
  if ((null_value= args[0]->null_value))
    return NULL;
unknown's avatar
unknown committed
1018
  my_decimal_round(E_DEC_FATAL_ERROR, tmp, decimals, FALSE, dec);
1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040
  sign= dec->sign();
  if (unsigned_flag)
  {
    if (sign)
    {
      my_decimal_set_zero(dec);
      goto err;
    }
  }
  if (max_length - 2 - decimals < (uint) my_decimal_intg(dec))
  {
    max_my_decimal(dec, max_length - 2, decimals);
    dec->sign(sign);
    goto err;
  }
  return dec;

err:
  push_warning_printf(current_thd, MYSQL_ERROR::WARN_LEVEL_ERROR,
                      ER_WARN_DATA_OUT_OF_RANGE,
                      ER(ER_WARN_DATA_OUT_OF_RANGE),
                      name, 1);
unknown's avatar
unknown committed
1041 1042 1043 1044
  return dec;
}


1045 1046
void Item_decimal_typecast::print(String *str)
{
1047
  str->append(STRING_WITH_LEN("cast("));
1048
  args[0]->print(str);
1049
  str->append(STRING_WITH_LEN(" as decimal)"));
1050 1051 1052
}


unknown's avatar
unknown committed
1053
double Item_func_plus::real_op()
unknown's avatar
unknown committed
1054
{
1055
  double value= args[0]->val_real() + args[1]->val_real();
unknown's avatar
unknown committed
1056 1057 1058 1059 1060
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0.0;
  return value;
}

unknown's avatar
unknown committed
1061 1062

longlong Item_func_plus::int_op()
unknown's avatar
unknown committed
1063
{
unknown's avatar
unknown committed
1064 1065 1066 1067 1068 1069 1070
  longlong value=args[0]->val_int()+args[1]->val_int();
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0;
  return value;
}


1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082
/*
  Calculate plus of two decimail's

  SYNOPSIS
    decimal_op()
    decimal_value	Buffer that can be used to store result

  RETURN
   0	Value was NULL;  In this case null_value is set
   #	Value of operation as a decimal
*/

unknown's avatar
unknown committed
1083 1084
my_decimal *Item_func_plus::decimal_op(my_decimal *decimal_value)
{
1085 1086 1087
  my_decimal value1, *val1;
  my_decimal value2, *val2;
  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1088 1089
  if ((null_value= args[0]->null_value))
    return 0;
1090
  val2= args[1]->val_decimal(&value2);
1091
  if (!(null_value= (args[1]->null_value ||
1092 1093
                     (my_decimal_add(E_DEC_FATAL_ERROR, decimal_value, val1,
                                     val2) > 3))))
1094 1095
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106
}

/*
  Set precision of results for additive operations (+ and -)

  SYNOPSIS
    Item_func_additive_op::result_precision()
*/
void Item_func_additive_op::result_precision()
{
  decimals= max(args[0]->decimals, args[1]->decimals);
unknown's avatar
unknown committed
1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117
  int max_int_part= max(args[0]->decimal_precision() - args[0]->decimals,
                        args[1]->decimal_precision() - args[1]->decimals);
  int precision= min(max_int_part + 1 + decimals, DECIMAL_MAX_PRECISION);

  /* 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;
  max_length= my_decimal_precision_to_length(precision, decimals,
                                             unsigned_flag);
unknown's avatar
unknown committed
1118 1119
}

1120 1121 1122 1123 1124 1125 1126 1127 1128 1129

/*
  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 &&
1130
      (current_thd->variables.sql_mode & MODE_NO_UNSIGNED_SUBTRACTION))
1131 1132 1133 1134
    unsigned_flag=0;
}


unknown's avatar
unknown committed
1135
double Item_func_minus::real_op()
unknown's avatar
unknown committed
1136
{
1137
  double value= args[0]->val_real() - args[1]->val_real();
unknown's avatar
unknown committed
1138 1139 1140 1141 1142
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0.0;
  return value;
}

unknown's avatar
unknown committed
1143 1144

longlong Item_func_minus::int_op()
unknown's avatar
unknown committed
1145
{
unknown's avatar
unknown committed
1146 1147 1148 1149
  longlong value=args[0]->val_int() - args[1]->val_int();
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0;
  return value;
unknown's avatar
unknown committed
1150 1151
}

1152

1153 1154
/* See Item_func_plus::decimal_op for comments */

unknown's avatar
unknown committed
1155 1156
my_decimal *Item_func_minus::decimal_op(my_decimal *decimal_value)
{
1157 1158 1159 1160
  my_decimal value1, *val1;
  my_decimal value2, *val2= 

  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1161 1162
  if ((null_value= args[0]->null_value))
    return 0;
1163
  val2= args[1]->val_decimal(&value2);
1164
  if (!(null_value= (args[1]->null_value ||
1165 1166
                     (my_decimal_sub(E_DEC_FATAL_ERROR, decimal_value, val1,
                                     val2) > 3))))
1167 1168
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
1169 1170
}

1171

unknown's avatar
unknown committed
1172
double Item_func_mul::real_op()
unknown's avatar
unknown committed
1173
{
1174
  DBUG_ASSERT(fixed == 1);
1175
  double value= args[0]->val_real() * args[1]->val_real();
unknown's avatar
unknown committed
1176
  if ((null_value=args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1177
    return 0.0;
unknown's avatar
unknown committed
1178 1179 1180
  return value;
}

unknown's avatar
unknown committed
1181 1182

longlong Item_func_mul::int_op()
unknown's avatar
unknown committed
1183
{
1184
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1185 1186 1187 1188
  longlong value=args[0]->val_int()*args[1]->val_int();
  if ((null_value=args[0]->null_value || args[1]->null_value))
    return 0;
  return value;
unknown's avatar
unknown committed
1189 1190 1191
}


1192 1193
/* See Item_func_plus::decimal_op for comments */

unknown's avatar
unknown committed
1194 1195
my_decimal *Item_func_mul::decimal_op(my_decimal *decimal_value)
{
1196 1197 1198
  my_decimal value1, *val1;
  my_decimal value2, *val2;
  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1199 1200
  if ((null_value= args[0]->null_value))
    return 0;
1201
  val2= args[1]->val_decimal(&value2);
1202
  if (!(null_value= (args[1]->null_value ||
1203 1204
                     (my_decimal_mul(E_DEC_FATAL_ERROR, decimal_value, val1,
                                    val2) > 3))))
1205 1206
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
1207 1208 1209
}


unknown's avatar
unknown committed
1210 1211
void Item_func_mul::result_precision()
{
unknown's avatar
unknown committed
1212 1213 1214 1215 1216 1217 1218 1219 1220
  /* 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);
  int precision= min(args[0]->decimal_precision() + args[1]->decimal_precision(),
                     DECIMAL_MAX_PRECISION);
  max_length= my_decimal_precision_to_length(precision, decimals,unsigned_flag);
unknown's avatar
unknown committed
1221 1222 1223 1224
}


double Item_func_div::real_op()
unknown's avatar
unknown committed
1225
{
1226
  DBUG_ASSERT(fixed == 1);
1227 1228
  double value= args[0]->val_real();
  double val2= args[1]->val_real();
unknown's avatar
unknown committed
1229 1230 1231 1232 1233
  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
1234
    return 0.0;
unknown's avatar
unknown committed
1235
  }
unknown's avatar
unknown committed
1236 1237 1238
  return value/val2;
}

unknown's avatar
unknown committed
1239

unknown's avatar
unknown committed
1240
my_decimal *Item_func_div::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1241
{
1242 1243
  my_decimal value1, *val1;
  my_decimal value2, *val2;
unknown's avatar
unknown committed
1244
  int err;
1245 1246

  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1247 1248
  if ((null_value= args[0]->null_value))
    return 0;
1249
  val2= args[1]->val_decimal(&value2);
unknown's avatar
unknown committed
1250 1251
  if ((null_value= args[1]->null_value))
    return 0;
unknown's avatar
unknown committed
1252 1253 1254 1255 1256 1257
  if ((err= my_decimal_div(E_DEC_FATAL_ERROR & ~E_DEC_DIV_ZERO, decimal_value,
                           val1, val2, prec_increment)) > 3)
  {
    if (err == E_DEC_DIV_ZERO)
      signal_divide_by_null();
    null_value= 1;
unknown's avatar
unknown committed
1258
    return 0;
1259
  }
unknown's avatar
unknown committed
1260
  return decimal_value;
unknown's avatar
unknown committed
1261 1262 1263 1264 1265
}


void Item_func_div::result_precision()
{
unknown's avatar
unknown committed
1266 1267 1268 1269 1270 1271 1272 1273 1274 1275
  uint precision=min(args[0]->decimal_precision() + prec_increment,
                     DECIMAL_MAX_PRECISION);
  /* 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);
  max_length= my_decimal_precision_to_length(precision, decimals,
                                             unsigned_flag);
unknown's avatar
unknown committed
1276 1277
}

unknown's avatar
unknown committed
1278

unknown's avatar
unknown committed
1279 1280
void Item_func_div::fix_length_and_dec()
{
unknown's avatar
unknown committed
1281
  DBUG_ENTER("Item_func_div::fix_length_and_dec");
unknown's avatar
unknown committed
1282
  prec_increment= current_thd->variables.div_precincrement;
unknown's avatar
unknown committed
1283
  Item_num_op::fix_length_and_dec();
1284
  switch(hybrid_type) {
unknown's avatar
unknown committed
1285 1286
  case REAL_RESULT:
  {
unknown's avatar
unknown committed
1287
    decimals=max(args[0]->decimals,args[1]->decimals)+prec_increment;
unknown's avatar
unknown committed
1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306
    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
1307 1308
}

1309 1310 1311 1312

/* Integer division */
longlong Item_func_int_div::val_int()
{
1313
  DBUG_ASSERT(fixed == 1);
1314 1315
  longlong value=args[0]->val_int();
  longlong val2=args[1]->val_int();
1316
  if ((null_value= (args[0]->null_value || args[1]->null_value)))
unknown's avatar
unknown committed
1317 1318 1319 1320
    return 0;
  if (val2 == 0)
  {
    signal_divide_by_null();
1321
    return 0;
unknown's avatar
unknown committed
1322
  }
1323 1324 1325
  return (unsigned_flag ?
	  (ulonglong) value / (ulonglong) val2 :
	  value / val2);
1326 1327 1328 1329 1330 1331 1332
}


void Item_func_int_div::fix_length_and_dec()
{
  max_length=args[0]->max_length - args[0]->decimals;
  maybe_null=1;
unknown's avatar
unknown committed
1333
  unsigned_flag=args[0]->unsigned_flag | args[1]->unsigned_flag;
1334 1335 1336
}


unknown's avatar
unknown committed
1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348
longlong Item_func_mod::int_op()
{
  DBUG_ASSERT(fixed == 1);
  longlong value=  args[0]->val_int();
  longlong val2= args[1]->val_int();
  if ((null_value= args[0]->null_value || args[1]->null_value))
    return 0; /* purecov: inspected */
  if (val2 == 0)
  {
    signal_divide_by_null();
    return 0;
  }
1349 1350 1351 1352

  if (args[0]->unsigned_flag)
    return ((ulonglong) value) % val2;

unknown's avatar
unknown committed
1353 1354 1355 1356
  return value % val2;
}

double Item_func_mod::real_op()
unknown's avatar
unknown committed
1357
{
1358
  DBUG_ASSERT(fixed == 1);
1359 1360
  double value= args[0]->val_real();
  double val2=  args[1]->val_real();
unknown's avatar
unknown committed
1361
  if ((null_value= args[0]->null_value || args[1]->null_value))
unknown's avatar
unknown committed
1362
    return 0.0; /* purecov: inspected */
unknown's avatar
unknown committed
1363 1364 1365 1366 1367
  if (val2 == 0.0)
  {
    signal_divide_by_null();
    return 0.0;
  }
unknown's avatar
unknown committed
1368 1369 1370
  return fmod(value,val2);
}

unknown's avatar
unknown committed
1371 1372

my_decimal *Item_func_mod::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1373
{
1374 1375 1376 1377
  my_decimal value1, *val1;
  my_decimal value2, *val2;

  val1= args[0]->val_decimal(&value1);
unknown's avatar
unknown committed
1378 1379
  if ((null_value= args[0]->null_value))
    return 0;
1380
  val2= args[1]->val_decimal(&value2);
unknown's avatar
unknown committed
1381 1382 1383
  if ((null_value= args[1]->null_value))
    return 0;
  switch (my_decimal_mod(E_DEC_FATAL_ERROR & ~E_DEC_DIV_ZERO, decimal_value,
1384
                         val1, val2)) {
unknown's avatar
unknown committed
1385 1386 1387 1388
  case E_DEC_TRUNCATED:
  case E_DEC_OK:
    return decimal_value;
  case E_DEC_DIV_ZERO:
unknown's avatar
unknown committed
1389
    signal_divide_by_null();
unknown's avatar
unknown committed
1390
  default:
1391
    null_value= 1;
unknown's avatar
unknown committed
1392 1393
    return 0;
  }
unknown's avatar
unknown committed
1394 1395
}

unknown's avatar
unknown committed
1396 1397

void Item_func_mod::result_precision()
unknown's avatar
unknown committed
1398
{
unknown's avatar
unknown committed
1399 1400
  decimals= max(args[0]->decimals, args[1]->decimals);
  max_length= max(args[0]->max_length, args[1]->max_length);
unknown's avatar
unknown committed
1401 1402 1403 1404 1405
}


void Item_func_mod::fix_length_and_dec()
{
1406
  Item_num_op::fix_length_and_dec();
1407
  maybe_null= 1;
unknown's avatar
unknown committed
1408 1409 1410
}


unknown's avatar
unknown committed
1411
double Item_func_neg::real_op()
unknown's avatar
unknown committed
1412
{
1413
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1414
  null_value= args[0]->null_value;
unknown's avatar
unknown committed
1415 1416 1417
  return -value;
}

unknown's avatar
unknown committed
1418

unknown's avatar
unknown committed
1419
longlong Item_func_neg::int_op()
unknown's avatar
unknown committed
1420
{
unknown's avatar
unknown committed
1421 1422
  longlong value= args[0]->val_int();
  null_value= args[0]->null_value;
unknown's avatar
unknown committed
1423 1424 1425
  return -value;
}

unknown's avatar
unknown committed
1426

unknown's avatar
unknown committed
1427
my_decimal *Item_func_neg::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1428
{
unknown's avatar
unknown committed
1429 1430 1431 1432 1433
  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);
1434
    return decimal_value;
unknown's avatar
unknown committed
1435
  }
1436
  return 0;
unknown's avatar
unknown committed
1437 1438
}

1439

unknown's avatar
unknown committed
1440
void Item_func_neg::fix_num_length_and_dec()
unknown's avatar
unknown committed
1441
{
unknown's avatar
unknown committed
1442 1443 1444
  decimals= args[0]->decimals;
  /* 1 add because sign can appear */
  max_length= args[0]->max_length + 1;
unknown's avatar
unknown committed
1445 1446
}

unknown's avatar
unknown committed
1447

1448
void Item_func_neg::fix_length_and_dec()
unknown's avatar
unknown committed
1449
{
1450
  DBUG_ENTER("Item_func_neg::fix_length_and_dec");
unknown's avatar
unknown committed
1451
  Item_func_num1::fix_length_and_dec();
1452 1453 1454 1455

  /*
    If this is in integer context keep the context as integer if possible
    (This is how multiplication and other integer functions works)
1456 1457
    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.
1458
  */
unknown's avatar
unknown committed
1459 1460
  if (hybrid_type == INT_RESULT &&
      args[0]->type() == INT_ITEM &&
unknown's avatar
unknown committed
1461
      ((ulonglong) args[0]->val_int() >= (ulonglong) LONGLONG_MIN))
unknown's avatar
unknown committed
1462 1463
  {
    /*
1464 1465
      Ensure that result is converted to DECIMAL, as longlong can't hold
      the negated number
unknown's avatar
unknown committed
1466
    */
unknown's avatar
unknown committed
1467 1468
    hybrid_type= DECIMAL_RESULT;
    DBUG_PRINT("info", ("Type changed: DECIMAL_RESULT"));
unknown's avatar
unknown committed
1469
  }
unknown's avatar
unknown committed
1470
  unsigned_flag= 0;
unknown's avatar
unknown committed
1471
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
1472 1473
}

unknown's avatar
unknown committed
1474

unknown's avatar
unknown committed
1475
double Item_func_abs::real_op()
unknown's avatar
unknown committed
1476
{
1477
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1478
  null_value= args[0]->null_value;
unknown's avatar
unknown committed
1479 1480 1481
  return fabs(value);
}

unknown's avatar
unknown committed
1482

unknown's avatar
unknown committed
1483
longlong Item_func_abs::int_op()
unknown's avatar
unknown committed
1484
{
unknown's avatar
unknown committed
1485 1486
  longlong value= args[0]->val_int();
  null_value= args[0]->null_value;
unknown's avatar
unknown committed
1487 1488 1489
  return value >= 0 ? value : -value;
}

unknown's avatar
unknown committed
1490

unknown's avatar
unknown committed
1491
my_decimal *Item_func_abs::decimal_op(my_decimal *decimal_value)
unknown's avatar
unknown committed
1492
{
unknown's avatar
unknown committed
1493 1494
  my_decimal val, *value= args[0]->val_decimal(&val);
  if (!(null_value= args[0]->null_value))
unknown's avatar
unknown committed
1495
  {
unknown's avatar
unknown committed
1496 1497 1498
    my_decimal2decimal(value, decimal_value);
    if (decimal_value->sign())
      my_decimal_neg(decimal_value);
1499
    return decimal_value;
unknown's avatar
unknown committed
1500
  }
1501
  return 0;
unknown's avatar
unknown committed
1502 1503 1504 1505 1506 1507
}


void Item_func_abs::fix_length_and_dec()
{
  Item_func_num1::fix_length_and_dec();
unknown's avatar
unknown committed
1508 1509
}

unknown's avatar
unknown committed
1510

1511
/* Gateway to natural LOG function */
1512
double Item_func_ln::val_real()
1513
{
1514
  DBUG_ASSERT(fixed == 1);
1515
  double value= args[0]->val_real();
1516
  if ((null_value= args[0]->null_value))
1517
    return 0.0;
1518
  if (value <= 0.0)
1519 1520
  {
    signal_divide_by_null();
1521
    return 0.0;
1522
  }
1523 1524 1525 1526 1527 1528 1529 1530
  return log(value);
}

/* 
 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.
*/ 
1531
double Item_func_log::val_real()
unknown's avatar
unknown committed
1532
{
1533
  DBUG_ASSERT(fixed == 1);
1534
  double value= args[0]->val_real();
1535
  if ((null_value= args[0]->null_value))
1536
    return 0.0;
1537
  if (value <= 0.0)
1538 1539 1540 1541
  {
    signal_divide_by_null();
    return 0.0;
  }
1542 1543
  if (arg_count == 2)
  {
1544
    double value2= args[1]->val_real();
1545
    if ((null_value= args[1]->null_value))
1546
      return 0.0;
1547
    if (value2 <= 0.0 || value == 1.0)
1548 1549 1550 1551
    {
      signal_divide_by_null();
      return 0.0;
    }
1552 1553
    return log(value2) / log(value);
  }
unknown's avatar
unknown committed
1554 1555 1556
  return log(value);
}

1557
double Item_func_log2::val_real()
1558
{
1559
  DBUG_ASSERT(fixed == 1);
1560
  double value= args[0]->val_real();
1561 1562

  if ((null_value=args[0]->null_value))
1563
    return 0.0;
1564
  if (value <= 0.0)
1565 1566 1567 1568
  {
    signal_divide_by_null();
    return 0.0;
  }
1569
  return log(value) / M_LN2;
1570 1571
}

1572
double Item_func_log10::val_real()
unknown's avatar
unknown committed
1573
{
1574
  DBUG_ASSERT(fixed == 1);
1575
  double value= args[0]->val_real();
1576
  if ((null_value= args[0]->null_value))
1577
    return 0.0;
1578
  if (value <= 0.0)
1579 1580 1581 1582
  {
    signal_divide_by_null();
    return 0.0;
  }
unknown's avatar
unknown committed
1583 1584 1585
  return log10(value);
}

1586
double Item_func_exp::val_real()
unknown's avatar
unknown committed
1587
{
1588
  DBUG_ASSERT(fixed == 1);
1589
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1590 1591 1592 1593 1594
  if ((null_value=args[0]->null_value))
    return 0.0; /* purecov: inspected */
  return exp(value);
}

1595
double Item_func_sqrt::val_real()
unknown's avatar
unknown committed
1596
{
1597
  DBUG_ASSERT(fixed == 1);
1598
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1599 1600 1601 1602 1603
  if ((null_value=(args[0]->null_value || value < 0)))
    return 0.0; /* purecov: inspected */
  return sqrt(value);
}

1604
double Item_func_pow::val_real()
unknown's avatar
unknown committed
1605
{
1606
  DBUG_ASSERT(fixed == 1);
1607 1608
  double value= args[0]->val_real();
  double val2= args[1]->val_real();
unknown's avatar
unknown committed
1609 1610 1611 1612 1613 1614 1615
  if ((null_value=(args[0]->null_value || args[1]->null_value)))
    return 0.0; /* purecov: inspected */
  return pow(value,val2);
}

// Trigonometric functions

1616
double Item_func_acos::val_real()
unknown's avatar
unknown committed
1617
{
1618
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1619
  // the volatile's for BUG #2338 to calm optimizer down (because of gcc's bug)
1620
  volatile double value= args[0]->val_real();
unknown's avatar
unknown committed
1621 1622 1623 1624 1625
  if ((null_value=(args[0]->null_value || (value < -1.0 || value > 1.0))))
    return 0.0;
  return fix_result(acos(value));
}

1626
double Item_func_asin::val_real()
unknown's avatar
unknown committed
1627
{
1628
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1629
  // the volatile's for BUG #2338 to calm optimizer down (because of gcc's bug)
1630
  volatile double value= args[0]->val_real();
unknown's avatar
unknown committed
1631 1632 1633 1634 1635
  if ((null_value=(args[0]->null_value || (value < -1.0 || value > 1.0))))
    return 0.0;
  return fix_result(asin(value));
}

1636
double Item_func_atan::val_real()
unknown's avatar
unknown committed
1637
{
1638
  DBUG_ASSERT(fixed == 1);
1639
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1640 1641 1642 1643
  if ((null_value=args[0]->null_value))
    return 0.0;
  if (arg_count == 2)
  {
1644
    double val2= args[1]->val_real();
unknown's avatar
unknown committed
1645 1646 1647 1648 1649 1650 1651
    if ((null_value=args[1]->null_value))
      return 0.0;
    return fix_result(atan2(value,val2));
  }
  return fix_result(atan(value));
}

1652
double Item_func_cos::val_real()
unknown's avatar
unknown committed
1653
{
1654
  DBUG_ASSERT(fixed == 1);
1655
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1656 1657 1658 1659 1660
  if ((null_value=args[0]->null_value))
    return 0.0;
  return fix_result(cos(value));
}

1661
double Item_func_sin::val_real()
unknown's avatar
unknown committed
1662
{
1663
  DBUG_ASSERT(fixed == 1);
1664
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1665 1666 1667 1668 1669
  if ((null_value=args[0]->null_value))
    return 0.0;
  return fix_result(sin(value));
}

1670
double Item_func_tan::val_real()
unknown's avatar
unknown committed
1671
{
1672
  DBUG_ASSERT(fixed == 1);
1673
  double value= args[0]->val_real();
unknown's avatar
unknown committed
1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684
  if ((null_value=args[0]->null_value))
    return 0.0;
  return fix_result(tan(value));
}


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


longlong Item_func_shift_left::val_int()
{
1685
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699
  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()
{
1700
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1701 1702 1703 1704 1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715
  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()
{
1716
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733
  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
1734
void Item_func_int_val::fix_num_length_and_dec()
unknown's avatar
unknown committed
1735
{
unknown's avatar
unknown committed
1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787
  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()
{
1788 1789 1790 1791 1792 1793 1794 1795 1796
  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;
1797
    if ((dec= Item_func_ceiling::decimal_op(&dec_buf)))
1798 1799 1800 1801 1802 1803
      my_decimal2int(E_DEC_FATAL_ERROR, dec, unsigned_flag, &result);
    else
      result= 0;
    break;
  }
  default:
1804
    result= (longlong)Item_func_ceiling::real_op();
1805 1806
  };
  return result;
unknown's avatar
unknown committed
1807 1808
}

unknown's avatar
unknown committed
1809 1810

double Item_func_ceiling::real_op()
unknown's avatar
unknown committed
1811
{
unknown's avatar
unknown committed
1812 1813 1814 1815
  /*
    the volatile's for BUG #3051 to calm optimizer down (because of gcc's
    bug)
  */
1816
  volatile double value= args[0]->val_real();
unknown's avatar
unknown committed
1817 1818 1819 1820 1821 1822
  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
1823
{
unknown's avatar
unknown committed
1824
  my_decimal val, *value= args[0]->val_decimal(&val);
1825 1826 1827 1828 1829
  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
1830 1831 1832 1833 1834
}


longlong Item_func_floor::int_op()
{
1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853
  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
1854 1855
}

unknown's avatar
unknown committed
1856 1857

double Item_func_floor::real_op()
unknown's avatar
unknown committed
1858
{
unknown's avatar
unknown committed
1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871
  /*
    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);
1872 1873 1874 1875 1876
  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
1877 1878 1879
}


unknown's avatar
unknown committed
1880
void Item_func_round::fix_length_and_dec()
unknown's avatar
unknown committed
1881
{
unknown's avatar
unknown committed
1882 1883
  unsigned_flag= args[0]->unsigned_flag;
  if (!args[1]->const_item())
unknown's avatar
unknown committed
1884
  {
unknown's avatar
unknown committed
1885 1886 1887 1888 1889 1890
    max_length= args[0]->max_length;
    decimals= args[0]->decimals;
    hybrid_type= REAL_RESULT;
    return;
  }
  
unknown's avatar
unknown committed
1891
  int decimals_to_set= max((int)args[1]->val_int(), 0);
unknown's avatar
unknown committed
1892 1893 1894 1895 1896 1897 1898 1899
  if (args[0]->decimals == NOT_FIXED_DEC)
  {
    max_length= args[0]->max_length;
    decimals= min(decimals_to_set, NOT_FIXED_DEC);
    hybrid_type= REAL_RESULT;
    return;
  }
  
unknown's avatar
unknown committed
1900
  switch (args[0]->result_type()) {
unknown's avatar
unknown committed
1901 1902 1903 1904 1905 1906 1907
  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:
unknown's avatar
unknown committed
1908
    if (!decimals_to_set &&
1909
        (truncate || (args[0]->decimal_precision() < DECIMAL_LONGLONG_DIGITS)))
unknown's avatar
unknown committed
1910
    {
unknown's avatar
unknown committed
1911 1912
      int length_can_increase= test(!truncate && (args[1]->val_int() < 0));
      max_length= args[0]->max_length + length_can_increase;
unknown's avatar
unknown committed
1913 1914 1915 1916 1917
      /* Here we can keep INT_RESULT */
      hybrid_type= INT_RESULT;
      decimals= 0;
      break;
    }
unknown's avatar
unknown committed
1918
    /* fall through */
unknown's avatar
unknown committed
1919 1920 1921 1922 1923
  case DECIMAL_RESULT:
  {
    hybrid_type= DECIMAL_RESULT;
    int decimals_delta= args[0]->decimals - decimals_to_set;
    int precision= args[0]->decimal_precision();
1924 1925 1926 1927
    int length_increase= ((decimals_delta <= 0) || truncate) ? 0:1;

    precision-= decimals_delta - length_increase;
    decimals= decimals_to_set;
unknown's avatar
unknown committed
1928
    max_length= my_decimal_precision_to_length(precision, decimals,
1929
                                               unsigned_flag);
unknown's avatar
unknown committed
1930 1931 1932 1933
    break;
  }
  default:
    DBUG_ASSERT(0); /* This result type isn't handled */
unknown's avatar
unknown committed
1934 1935 1936
  }
}

1937
double my_double_round(double value, int dec, bool truncate)
unknown's avatar
unknown committed
1938
{
1939
  double tmp;
1940
  uint abs_dec= abs(dec);
1941 1942 1943 1944 1945
  /*
    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
1946

1947 1948
  tmp=(abs_dec < array_elements(log_10) ?
       log_10[abs_dec] : pow(10.0,(double) abs_dec));
unknown's avatar
unknown committed
1949 1950

  if (truncate)
unknown's avatar
unknown committed
1951 1952
  {
    if (value >= 0)
1953
      tmp2= dec < 0 ? floor(value/tmp)*tmp : floor(value*tmp)/tmp;
unknown's avatar
unknown committed
1954
    else
1955
      tmp2= dec < 0 ? ceil(value/tmp)*tmp : ceil(value*tmp)/tmp;
unknown's avatar
unknown committed
1956
  }
1957 1958 1959
  else
    tmp2=dec < 0 ? rint(value/tmp)*tmp : rint(value*tmp)/tmp;
  return tmp2;
unknown's avatar
unknown committed
1960 1961 1962
}


1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974
double Item_func_round::real_op()
{
  double value= args[0]->val_real();
  int dec= (int) args[1]->val_int();

  if (!(null_value= args[0]->null_value || args[1]->null_value))
    return my_double_round(value, dec, truncate);

  return 0.0;
}


unknown's avatar
unknown committed
1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986
longlong Item_func_round::int_op()
{
  longlong value= args[0]->val_int();
  int dec=(int) args[1]->val_int();
  decimals= 0;
  uint abs_dec;
  if ((null_value= args[0]->null_value || args[1]->null_value))
    return 0;
  if (dec >= 0)
    return value; // integer have not digits after point

  abs_dec= -dec;
unknown's avatar
unknown committed
1987 1988 1989 1990 1991 1992 1993
  longlong tmp;
  
  if(abs_dec >= array_elements(log_10_int))
    return 0;
  
  tmp= log_10_int[abs_dec];
  
unknown's avatar
unknown committed
1994 1995 1996
  if (truncate)
  {
    if (unsigned_flag)
unknown's avatar
unknown committed
1997
      value= (ulonglong(value)/tmp)*tmp;
unknown's avatar
unknown committed
1998
    else
unknown's avatar
unknown committed
1999
      value= (value/tmp)*tmp;
unknown's avatar
unknown committed
2000 2001
  }
  else
unknown's avatar
unknown committed
2002 2003 2004 2005 2006 2007 2008 2009 2010
  {
    if (unsigned_flag)
      value= ((ulonglong(value)+(tmp>>1))/tmp)*tmp;
    else if ( value >= 0)
      value= ((value+(tmp>>1))/tmp)*tmp;
    else
      value= ((value-(tmp>>1))/tmp)*tmp;
  }
  return value;
unknown's avatar
unknown committed
2011 2012 2013 2014 2015 2016 2017 2018
}


my_decimal *Item_func_round::decimal_op(my_decimal *decimal_value)
{
  my_decimal val, *value= args[0]->val_decimal(&val);
  int dec=(int) args[1]->val_int();
  if (dec > 0)
unknown's avatar
unknown committed
2019 2020 2021
  {
    decimals= min(dec, DECIMAL_MAX_SCALE); // to get correct output
  }
2022 2023 2024 2025 2026
  if (!(null_value= (args[0]->null_value || args[1]->null_value ||
                     my_decimal_round(E_DEC_FATAL_ERROR, value, dec, truncate,
                                      decimal_value) > 1)))
    return decimal_value;
  return 0;
unknown's avatar
unknown committed
2027 2028 2029
}


2030
bool Item_func_rand::fix_fields(THD *thd,Item **ref)
unknown's avatar
unknown committed
2031
{
2032
  if (Item_real_func::fix_fields(thd, ref))
2033
    return TRUE;
2034
  used_tables_cache|= RAND_TABLE_BIT;
unknown's avatar
unknown committed
2035 2036
  if (arg_count)
  {					// Only use argument once in query
2037 2038 2039 2040 2041
    if (!args[0]->const_during_execution())
    {
      my_error(ER_WRONG_ARGUMENTS, MYF(0), "RAND");
      return TRUE;
    }
2042
    /*
unknown's avatar
Rename:  
unknown committed
2043
      Allocate rand structure once: we must use thd->stmt_arena
2044 2045
      to create rand in proper mem_root if it's a prepared statement or
      stored procedure.
2046 2047 2048

      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.
2049 2050
    */
    if (!rand && !(rand= (struct rand_struct*)
unknown's avatar
Rename:  
unknown committed
2051
                   thd->stmt_arena->alloc(sizeof(*rand))))
2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066
      return TRUE;
    /*
      PARAM_ITEM is returned if we're in statement prepare and consequently
      no placeholder value is set yet.
    */
    if (args[0]->type() != PARAM_ITEM)
    {
      /*
        TODO: do not do reinit 'rand' for every execute of PS/SP if
        args[0] is a constant.
      */
      uint32 tmp= (uint32) args[0]->val_int();
      randominit(rand, (uint32) (tmp*0x10001L+55555555L),
                 (uint32) (tmp*0x10000001L));
    }
unknown's avatar
unknown committed
2067
  }
2068
  else
unknown's avatar
unknown committed
2069
  {
2070 2071 2072 2073 2074
    /*
      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
    */
2075 2076 2077 2078 2079 2080
    if (!thd->rand_used)
    {
      thd->rand_used= 1;
      thd->rand_saved_seed1= thd->rand.seed1;
      thd->rand_saved_seed2= thd->rand.seed2;
    }
2081
    rand= &thd->rand;
unknown's avatar
unknown committed
2082
  }
2083
  return FALSE;
2084 2085
}

unknown's avatar
unknown committed
2086 2087 2088 2089 2090 2091
void Item_func_rand::update_used_tables()
{
  Item_real_func::update_used_tables();
  used_tables_cache|= RAND_TABLE_BIT;
}

2092

2093
double Item_func_rand::val_real()
2094
{
2095
  DBUG_ASSERT(fixed == 1);
2096
  return my_rnd(rand);
unknown's avatar
unknown committed
2097 2098 2099 2100
}

longlong Item_func_sign::val_int()
{
2101
  DBUG_ASSERT(fixed == 1);
2102
  double value= args[0]->val_real();
unknown's avatar
unknown committed
2103 2104 2105 2106 2107
  null_value=args[0]->null_value;
  return value < 0.0 ? -1 : (value > 0 ? 1 : 0);
}


2108
double Item_func_units::val_real()
unknown's avatar
unknown committed
2109
{
2110
  DBUG_ASSERT(fixed == 1);
2111
  double value= args[0]->val_real();
unknown's avatar
unknown committed
2112 2113 2114 2115 2116 2117 2118 2119
  if ((null_value=args[0]->null_value))
    return 0;
  return value*mul+add;
}


void Item_func_min_max::fix_length_and_dec()
{
unknown's avatar
unknown committed
2120
  int max_int_part=0;
unknown's avatar
unknown committed
2121 2122
  decimals=0;
  max_length=0;
unknown's avatar
unknown committed
2123
  maybe_null=0;
unknown's avatar
unknown committed
2124
  cmp_type=args[0]->result_type();
2125

unknown's avatar
unknown committed
2126 2127
  for (uint i=0 ; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2128 2129
    set_if_bigger(max_length, args[i]->max_length);
    set_if_bigger(decimals, args[i]->decimals);
unknown's avatar
unknown committed
2130
    set_if_bigger(max_int_part, args[i]->decimal_int_part());
unknown's avatar
unknown committed
2131 2132
    if (args[i]->maybe_null)
      maybe_null=1;
unknown's avatar
unknown committed
2133 2134
    cmp_type=item_cmp_type(cmp_type,args[i]->result_type());
  }
unknown's avatar
unknown committed
2135
  if (cmp_type == STRING_RESULT)
2136
    agg_arg_charsets(collation, args, arg_count, MY_COLL_CMP_CONV, 1);
unknown's avatar
unknown committed
2137 2138 2139
  else if ((cmp_type == DECIMAL_RESULT) || (cmp_type == INT_RESULT))
    max_length= my_decimal_precision_to_length(max_int_part+decimals, decimals,
                                            unsigned_flag);
unknown's avatar
unknown committed
2140 2141 2142 2143 2144
}


String *Item_func_min_max::val_str(String *str)
{
2145
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2146 2147 2148 2149 2150 2151
  switch (cmp_type) {
  case INT_RESULT:
  {
    longlong nr=val_int();
    if (null_value)
      return 0;
2152
    str->set_int(nr, unsigned_flag, &my_charset_bin);
unknown's avatar
unknown committed
2153 2154
    return str;
  }
unknown's avatar
unknown committed
2155 2156 2157 2158 2159 2160 2161 2162
  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
2163 2164
  case REAL_RESULT:
  {
2165
    double nr= val_real();
unknown's avatar
unknown committed
2166 2167
    if (null_value)
      return 0; /* purecov: inspected */
2168
    str->set_real(nr,decimals,&my_charset_bin);
unknown's avatar
unknown committed
2169 2170 2171 2172 2173 2174 2175 2176
    return str;
  }
  case STRING_RESULT:
  {
    String *res;
    LINT_INIT(res);
    for (uint i=0; i < arg_count ; i++)
    {
unknown's avatar
unknown committed
2177
      if (i == 0)
unknown's avatar
unknown committed
2178 2179 2180 2181 2182 2183 2184
	res=args[i]->val_str(str);
      else
      {
	String *res2;
	res2= args[i]->val_str(res == str ? &tmp_value : str);
	if (res2)
	{
2185
	  int cmp= sortcmp(res,res2,collation.collation);
unknown's avatar
unknown committed
2186 2187 2188 2189
	  if ((cmp_sign < 0 ? cmp : -cmp) < 0)
	    res=res2;
	}
      }
unknown's avatar
unknown committed
2190
      if ((null_value= args[i]->null_value))
2191
        return 0;
unknown's avatar
unknown committed
2192
    }
2193
    res->set_charset(collation.collation);
unknown's avatar
unknown committed
2194 2195
    return res;
  }
2196
  case ROW_RESULT:
unknown's avatar
unknown committed
2197
  default:
unknown's avatar
unknown committed
2198
    // This case should never be chosen
unknown's avatar
unknown committed
2199 2200
    DBUG_ASSERT(0);
    return 0;
unknown's avatar
unknown committed
2201 2202 2203 2204 2205
  }
  return 0;					// Keep compiler happy
}


2206
double Item_func_min_max::val_real()
unknown's avatar
unknown committed
2207
{
2208
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2209 2210 2211
  double value=0.0;
  for (uint i=0; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2212
    if (i == 0)
2213
      value= args[i]->val_real();
unknown's avatar
unknown committed
2214 2215
    else
    {
2216
      double tmp= args[i]->val_real();
unknown's avatar
unknown committed
2217 2218 2219
      if (!args[i]->null_value && (tmp < value ? cmp_sign : -cmp_sign) > 0)
	value=tmp;
    }
unknown's avatar
unknown committed
2220 2221
    if ((null_value= args[i]->null_value))
      break;
unknown's avatar
unknown committed
2222 2223 2224 2225 2226 2227 2228
  }
  return value;
}


longlong Item_func_min_max::val_int()
{
2229
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2230 2231 2232
  longlong value=0;
  for (uint i=0; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2233
    if (i == 0)
2234
      value=args[i]->val_int();
unknown's avatar
unknown committed
2235 2236
    else
    {
2237 2238 2239
      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
2240
    }
2241 2242
    if ((null_value= args[i]->null_value))
      break;
unknown's avatar
unknown committed
2243 2244 2245 2246
  }
  return value;
}

unknown's avatar
unknown committed
2247 2248 2249 2250

my_decimal *Item_func_min_max::val_decimal(my_decimal *dec)
{
  DBUG_ASSERT(fixed == 1);
2251 2252 2253
  my_decimal tmp_buf, *tmp, *res;
  LINT_INIT(res);

unknown's avatar
unknown committed
2254 2255
  for (uint i=0; i < arg_count ; i++)
  {
unknown's avatar
unknown committed
2256
    if (i == 0)
unknown's avatar
unknown committed
2257 2258 2259
      res= args[i]->val_decimal(dec);
    else
    {
2260 2261
      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
2262 2263 2264
      {
        if (tmp == &tmp_buf)
        {
2265
          /* Move value out of tmp_buf as this will be reused on next loop */
unknown's avatar
unknown committed
2266 2267 2268 2269 2270 2271 2272
          my_decimal2decimal(tmp, dec);
          res= dec;
        }
        else
          res= tmp;
      }
    }
unknown's avatar
unknown committed
2273
    if ((null_value= args[i]->null_value))
2274 2275
    {
      res= 0;
unknown's avatar
unknown committed
2276
      break;
2277
    }
unknown's avatar
unknown committed
2278 2279 2280 2281 2282
  }
  return res;
}


unknown's avatar
unknown committed
2283 2284
longlong Item_func_length::val_int()
{
2285
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2286 2287 2288 2289 2290 2291 2292 2293 2294 2295
  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
2296

unknown's avatar
unknown committed
2297 2298
longlong Item_func_char_length::val_int()
{
2299
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2300 2301 2302 2303 2304 2305 2306
  String *res=args[0]->val_str(&value);
  if (!res)
  {
    null_value=1;
    return 0; /* purecov: inspected */
  }
  null_value=0;
2307
  return (longlong) res->numchars();
unknown's avatar
unknown committed
2308 2309
}

unknown's avatar
unknown committed
2310

unknown's avatar
unknown committed
2311 2312
longlong Item_func_coercibility::val_int()
{
2313
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2314
  null_value= 0;
2315
  return (longlong) args[0]->collation.derivation;
unknown's avatar
unknown committed
2316
}
unknown's avatar
unknown committed
2317

unknown's avatar
unknown committed
2318

2319 2320 2321
void Item_func_locate::fix_length_and_dec()
{
  maybe_null=0; max_length=11;
2322
  agg_arg_charsets(cmp_collation, args, 2, MY_COLL_CMP_CONV, 1);
2323 2324
}

unknown's avatar
unknown committed
2325

unknown's avatar
unknown committed
2326 2327
longlong Item_func_locate::val_int()
{
2328
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2329 2330 2331 2332 2333 2334 2335 2336
  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;
2337 2338 2339
  /* must be longlong to avoid truncation */
  longlong start=  0; 
  longlong start0= 0;
2340
  my_match_t match;
2341

unknown's avatar
unknown committed
2342 2343
  if (arg_count == 3)
  {
2344 2345 2346 2347 2348 2349 2350 2351 2352
    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 */
    start= a->charpos(start);

    if (start + b->length() > a->length())
unknown's avatar
unknown committed
2353 2354
      return 0;
  }
2355

unknown's avatar
unknown committed
2356
  if (!b->length())				// Found empty string at start
2357
    return start + 1;
2358
  
2359
  if (!cmp_collation.collation->coll->instr(cmp_collation.collation,
2360
                                            a->ptr()+start, a->length()-start,
2361 2362 2363 2364
                                            b->ptr(), b->length(),
                                            &match, 1))
    return 0;
  return (longlong) match.mblen + start0 + 1;
unknown's avatar
unknown committed
2365 2366 2367
}


2368 2369
void Item_func_locate::print(String *str)
{
2370
  str->append(STRING_WITH_LEN("locate("));
2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382
  args[1]->print(str);
  str->append(',');
  args[0]->print(str);
  if (arg_count == 3)
  {
    str->append(',');
    args[2]->print(str);
  }
  str->append(')');
}


unknown's avatar
unknown committed
2383 2384
longlong Item_func_field::val_int()
{
2385
  DBUG_ASSERT(fixed == 1);
2386

2387 2388 2389
  if (cmp_type == STRING_RESULT)
  {
    String *field;
2390 2391
    if (!(field= args[0]->val_str(&value)))
      return 0;
2392
    for (uint i=1 ; i < arg_count ; i++)
2393 2394
    {
      String *tmp_value=args[i]->val_str(&tmp);
unknown's avatar
Fix:  
unknown committed
2395
      if (tmp_value && !sortcmp(field,tmp_value,cmp_collation.collation))
2396
        return (longlong) (i);
2397 2398 2399 2400
    }
  }
  else if (cmp_type == INT_RESULT)
  {
2401
    longlong val= args[0]->val_int();
unknown's avatar
cleanup  
unknown committed
2402 2403
    if (args[0]->null_value)
      return 0;
2404
    for (uint i=1; i < arg_count ; i++)
2405
    {
2406
      if (val == args[i]->val_int() && !args[i]->null_value)
2407
        return (longlong) (i);
2408 2409
    }
  }
unknown's avatar
unknown committed
2410 2411 2412 2413
  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
2414 2415
    if (args[0]->null_value)
      return 0;
unknown's avatar
unknown committed
2416 2417 2418
    for (uint i=1; i < arg_count; i++)
    {
      dec_arg= args[i]->val_decimal(&dec_arg_buf);
unknown's avatar
unknown committed
2419
      if (!args[i]->null_value && !my_decimal_cmp(dec_arg, dec))
unknown's avatar
unknown committed
2420 2421 2422
        return (longlong) (i);
    }
  }
2423
  else
unknown's avatar
unknown committed
2424
  {
2425
    double val= args[0]->val_real();
unknown's avatar
cleanup  
unknown committed
2426 2427
    if (args[0]->null_value)
      return 0;
2428
    for (uint i=1; i < arg_count ; i++)
2429
    {
unknown's avatar
unknown committed
2430
      if (val == args[i]->val_real() && !args[i]->null_value)
2431
        return (longlong) (i);
2432
    }
unknown's avatar
unknown committed
2433 2434 2435 2436
  }
  return 0;
}

unknown's avatar
unknown committed
2437

2438 2439 2440
void Item_func_field::fix_length_and_dec()
{
  maybe_null=0; max_length=3;
2441 2442
  cmp_type= args[0]->result_type();
  for (uint i=1; i < arg_count ; i++)
2443 2444
    cmp_type= item_cmp_type(cmp_type, args[i]->result_type());
  if (cmp_type == STRING_RESULT)
2445
    agg_arg_charsets(cmp_collation, args, arg_count, MY_COLL_CMP_CONV, 1);
2446
}
unknown's avatar
unknown committed
2447

2448

unknown's avatar
unknown committed
2449 2450
longlong Item_func_ascii::val_int()
{
2451
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463
  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()
{
2464
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2465 2466 2467 2468 2469 2470 2471 2472 2473
  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
2474
  if (use_mb(res->charset()))
unknown's avatar
unknown committed
2475 2476
  {
    register const char *str=res->ptr();
2477
    register uint32 n=0, l=my_ismbchar(res->charset(),str,str+res->length());
unknown's avatar
unknown committed
2478 2479
    if (!l)
      return (longlong)((uchar) *str);
unknown's avatar
unknown committed
2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503
    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;
    if (field->real_type() == FIELD_TYPE_SET)
    {
      String *find=args[0]->val_str(&value);
      if (find)
      {
2504 2505
	enum_value= find_type(((Field_enum*) field)->typelib,find->ptr(),
			      find->length(), 0);
unknown's avatar
unknown committed
2506 2507 2508 2509 2510 2511
	enum_bit=0;
	if (enum_value)
	  enum_bit=LL(1) << (enum_value-1);
      }
    }
  }
2512
  agg_arg_charsets(cmp_collation, args, 2, MY_COLL_CMP_CONV, 1);
unknown's avatar
unknown committed
2513 2514 2515 2516 2517 2518
}

static const char separator=',';

longlong Item_func_find_in_set::val_int()
{
2519
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542
  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)
  {
2543 2544 2545 2546 2547 2548 2549 2550 2551
    my_wc_t wc;
    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
2552
    {
2553 2554 2555
      int symbol_len;
      if ((symbol_len= cs->cset->mb_wc(cs, &wc, (uchar*) str_end, 
                                       (uchar*) real_end)) > 0)
unknown's avatar
unknown committed
2556
      {
2557 2558
        const char *substr_end= str_end + symbol_len;
        bool is_last_item= (substr_end == real_end);
2559 2560
        bool is_separator= (wc == (my_wc_t) separator);
        if (is_separator || is_last_item)
2561 2562
        {
          position++;
2563
          if (is_last_item && !is_separator)
2564 2565 2566 2567 2568 2569 2570 2571 2572
            str_end= substr_end;
          if (!my_strnncoll(cs, (const uchar *) str_begin,
                            str_end - str_begin,
                            find_str, find_str_len))
            return (longlong) position;
          else
            str_begin= substr_end;
        }
        str_end= substr_end;
unknown's avatar
unknown committed
2573
      }
unknown's avatar
unknown committed
2574 2575
      else if (str_end - str_begin == 0 &&
               find_str_len == 0 &&
2576 2577 2578
               wc == (my_wc_t) separator)
        return (longlong) ++position;
      else
unknown's avatar
unknown committed
2579
        return LL(0);
2580
    }
unknown's avatar
unknown committed
2581 2582 2583 2584 2585 2586
  }
  return 0;
}

longlong Item_func_bit_count::val_int()
{
2587
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2588
  ulonglong value= (ulonglong) args[0]->val_int();
2589
  if ((null_value= args[0]->null_value))
unknown's avatar
unknown committed
2590
    return 0; /* purecov: inspected */
unknown's avatar
unknown committed
2591
  return (longlong) my_count_bits(value);
unknown's avatar
unknown committed
2592 2593 2594 2595 2596 2597
}


/****************************************************************************
** Functions to handle dynamic loadable functions
** Original source by: Alexis Mikhailov <root@medinf.chuvashia.su>
2598
** Rewritten by monty.
unknown's avatar
unknown committed
2599 2600 2601 2602
****************************************************************************/

#ifdef HAVE_DLOPEN

2603
void udf_handler::cleanup()
unknown's avatar
unknown committed
2604
{
2605
  if (!not_original)
unknown's avatar
unknown committed
2606
  {
2607
    if (initialized)
unknown's avatar
unknown committed
2608
    {
2609 2610
      if (u_d->func_deinit != NULL)
      {
2611
        Udf_func_deinit deinit= u_d->func_deinit;
2612 2613 2614
        (*deinit)(&initid);
      }
      free_udf(u_d);
2615
      initialized= FALSE;
unknown's avatar
unknown committed
2616
    }
2617 2618
    if (buffers)				// Because of bug in ecc
      delete [] buffers;
2619
    buffers= 0;
unknown's avatar
unknown committed
2620 2621 2622 2623 2624
  }
}


bool
2625
udf_handler::fix_fields(THD *thd, Item_result_field *func,
unknown's avatar
unknown committed
2626 2627
			uint arg_count, Item **arguments)
{
2628 2629 2630
#ifndef EMBEDDED_LIBRARY			// Avoid compiler warning
  char buff[STACK_BUFF_ALLOC];			// Max argument in function
#endif
unknown's avatar
unknown committed
2631 2632
  DBUG_ENTER("Item_udf_func::fix_fields");

2633
  if (check_stack_overrun(thd, STACK_MIN_SIZE, buff))
unknown's avatar
unknown committed
2634
    DBUG_RETURN(TRUE);				// Fatal error flag is set!
unknown's avatar
unknown committed
2635

2636
  udf_func *tmp_udf=find_udf(u_d->name.str,(uint) u_d->name.length,1);
unknown's avatar
unknown committed
2637 2638 2639

  if (!tmp_udf)
  {
2640
    my_error(ER_CANT_FIND_UDF, MYF(0), u_d->name.str, errno);
unknown's avatar
unknown committed
2641
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
2642 2643 2644 2645 2646
  }
  u_d=tmp_udf;
  args=arguments;

  /* Fix all arguments */
2647
  func->maybe_null=0;
unknown's avatar
unknown committed
2648 2649 2650 2651 2652 2653 2654 2655 2656 2657
  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
2658
      DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
2659 2660 2661 2662 2663 2664 2665
    }
    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
2666
      if (!(*arg)->fixed &&
2667
          (*arg)->fix_fields(thd, arg))
unknown's avatar
unknown committed
2668
	DBUG_RETURN(1);
2669
      // we can't assign 'item' before, because fix_fields() can change arg
unknown's avatar
unknown committed
2670
      Item *item= *arg;
2671
      if (item->check_cols(1))
unknown's avatar
unknown committed
2672
	DBUG_RETURN(TRUE);
2673 2674 2675 2676 2677 2678 2679 2680 2681
      /*
	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
2682
        the particular user defined function.
2683
      */
2684 2685
      if (item->collation.collation->state & MY_CS_BINSORT)
	func->collation.set(&my_charset_bin);
unknown's avatar
unknown committed
2686
      if (item->maybe_null)
unknown's avatar
unknown committed
2687
	func->maybe_null=1;
unknown's avatar
unknown committed
2688 2689 2690 2691
      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
2692
    }
unknown's avatar
unknown committed
2693
    //TODO: why all following memory is not allocated with 1 call of sql_alloc?
unknown's avatar
unknown committed
2694 2695
    if (!(buffers=new String[arg_count]) ||
	!(f_args.args= (char**) sql_alloc(arg_count * sizeof(char *))) ||
2696 2697 2698 2699 2700 2701 2702
	!(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
2703 2704
    {
      free_udf(u_d);
unknown's avatar
unknown committed
2705
      DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
2706 2707 2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719
    }
  }
  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)
  {
    char *to=num_buffer;
    for (uint i=0; i < arg_count; i++)
    {
2720 2721 2722 2723 2724 2725
      /*
       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. */

2726 2727 2728 2729
      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
2730

2731
      if (arguments[i]->const_item())
unknown's avatar
unknown committed
2732
      {
2733 2734 2735 2736 2737 2738 2739 2740 2741 2742 2743 2744 2745 2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758 2759 2760
        if (arguments[i]->null_value)
          continue;

        switch (arguments[i]->result_type()) 
        {
        case STRING_RESULT:
        case DECIMAL_RESULT:
        {
          String *res= arguments[i]->val_str(&buffers[i]);
          f_args.args[i]= (char*) res->ptr();
          break;
        }
        case INT_RESULT:
          *((longlong*) to)= arguments[i]->val_int();
          f_args.args[i]= to;
          to+= ALIGN_SIZE(sizeof(longlong));
          break;
        case REAL_RESULT:
          *((double*) to)= arguments[i]->val_real();
          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
2761 2762
      }
    }
2763
    thd->net.last_error[0]=0;
2764
    Udf_func_init init= u_d->func_init;
unknown's avatar
unknown committed
2765 2766
    if ((error=(uchar) init(&initid, &f_args, thd->net.last_error)))
    {
2767 2768
      my_error(ER_CANT_INITIALIZE_UDF, MYF(0),
               u_d->name.str, thd->net.last_error);
unknown's avatar
unknown committed
2769
      free_udf(u_d);
unknown's avatar
unknown committed
2770
      DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
2771 2772 2773 2774
    }
    func->max_length=min(initid.max_length,MAX_BLOB_WIDTH);
    func->maybe_null=initid.maybe_null;
    const_item_cache=initid.const_item;
2775
    func->decimals=min(initid.decimals,NOT_FIXED_DEC);
unknown's avatar
unknown committed
2776 2777 2778 2779
  }
  initialized=1;
  if (error)
  {
2780 2781
    my_error(ER_CANT_INITIALIZE_UDF, MYF(0),
             u_d->name.str, ER(ER_UNKNOWN_ERROR));
unknown's avatar
unknown committed
2782
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
2783
  }
unknown's avatar
unknown committed
2784
  DBUG_RETURN(FALSE);
unknown's avatar
unknown committed
2785 2786 2787 2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798
}


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
2799
    case DECIMAL_RESULT:
unknown's avatar
unknown committed
2800 2801 2802 2803 2804 2805 2806 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817
      {
	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:
2818
      *((double*) to)= args[i]->val_real();
unknown's avatar
unknown committed
2819 2820 2821 2822 2823 2824
      if (!args[i]->null_value)
      {
	f_args.args[i]=to;
	to+= ALIGN_SIZE(sizeof(double));
      }
      break;
2825
    case ROW_RESULT:
unknown's avatar
unknown committed
2826
    default:
unknown's avatar
unknown committed
2827
      // This case should never be chosen
unknown's avatar
unknown committed
2828
      DBUG_ASSERT(0);
2829
      break;
unknown's avatar
unknown committed
2830 2831 2832 2833 2834 2835 2836 2837 2838
    }
  }
  return 0;
}

/* This returns (String*) 0 in case of NULL values */

String *udf_handler::val_str(String *str,String *save_str)
{
2839
  uchar is_null_tmp=0;
unknown's avatar
unknown committed
2840
  ulong res_length;
2841
  DBUG_ENTER("udf_handler::val_str");
unknown's avatar
unknown committed
2842 2843

  if (get_arguments())
2844
    DBUG_RETURN(0);
unknown's avatar
unknown committed
2845 2846 2847 2848 2849 2850 2851 2852 2853
  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;
2854
      DBUG_RETURN(0);
unknown's avatar
unknown committed
2855 2856
    }
  }
2857 2858
  char *res=func(&initid, &f_args, (char*) str->ptr(), &res_length,
		 &is_null_tmp, &error);
2859
  DBUG_PRINT("info", ("udf func returned, res_length: %lu", res_length));
2860
  if (is_null_tmp || !res || error)		// The !res is for safety
unknown's avatar
unknown committed
2861
  {
2862 2863
    DBUG_PRINT("info", ("Null or error"));
    DBUG_RETURN(0);
unknown's avatar
unknown committed
2864 2865 2866 2867
  }
  if (res == str->ptr())
  {
    str->length(res_length);
2868 2869
    DBUG_PRINT("exit", ("str: %s", str->ptr()));
    DBUG_RETURN(str);
unknown's avatar
unknown committed
2870
  }
2871
  save_str->set(res, res_length, str->charset());
2872 2873
  DBUG_PRINT("exit", ("save_str: %s", save_str->ptr()));
  DBUG_RETURN(save_str);
unknown's avatar
unknown committed
2874 2875 2876
}


2877 2878 2879 2880
/*
  For the moment, UDF functions are returning DECIMAL values as strings
*/

unknown's avatar
unknown committed
2881 2882 2883 2884 2885 2886 2887 2888 2889 2890 2891 2892 2893 2894 2895 2896 2897 2898 2899 2900
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;
  }
2901 2902
  end= res+ res_length;
  str2my_decimal(E_DEC_FATAL_ERROR, res, dec_buf, &end);
unknown's avatar
unknown committed
2903 2904 2905
  return dec_buf;
}

unknown's avatar
unknown committed
2906

2907 2908 2909 2910 2911 2912
void Item_udf_func::cleanup()
{
  udf.cleanup();
  Item_func::cleanup();
}

unknown's avatar
unknown committed
2913

2914
double Item_func_udf_float::val_real()
unknown's avatar
unknown committed
2915
{
2916
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2917 2918 2919 2920 2921 2922 2923 2924 2925
  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)
{
2926
  DBUG_ASSERT(fixed == 1);
2927
  double nr= val_real();
unknown's avatar
unknown committed
2928 2929
  if (null_value)
    return 0;					/* purecov: inspected */
2930
  str->set_real(nr,decimals,&my_charset_bin);
unknown's avatar
unknown committed
2931 2932 2933 2934 2935 2936
  return str;
}


longlong Item_func_udf_int::val_int()
{
2937
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2938 2939 2940 2941 2942 2943 2944
  DBUG_ENTER("Item_func_udf_int::val_int");
  DBUG_RETURN(udf.val_int(&null_value));
}


String *Item_func_udf_int::val_str(String *str)
{
2945
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
2946 2947 2948
  longlong nr=val_int();
  if (null_value)
    return 0;
2949
  str->set_int(nr, unsigned_flag, &my_charset_bin);
unknown's avatar
unknown committed
2950 2951 2952
  return str;
}

unknown's avatar
unknown committed
2953 2954 2955 2956

longlong Item_func_udf_decimal::val_int()
{
  my_decimal dec_buf, *dec= udf.val_decimal(&null_value, &dec_buf);
2957
  longlong result;
unknown's avatar
unknown committed
2958 2959 2960 2961 2962 2963 2964 2965 2966 2967
  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);
2968
  double result;
unknown's avatar
unknown committed
2969 2970 2971 2972 2973 2974 2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993 2994 2995 2996 2997 2998 2999 3000 3001 3002 3003 3004 3005
  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
3006 3007 3008 3009 3010 3011 3012 3013 3014 3015 3016 3017 3018
/* 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)
{
3019
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3020 3021 3022 3023 3024
  String *res=udf.val_str(str,&str_value);
  null_value = !res;
  return res;
}

3025 3026

/*
3027 3028
   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.)
3029 3030 3031 3032
 */

udf_handler::~udf_handler()
{
3033 3034
  /* Everything should be properly cleaned up by this moment. */
  DBUG_ASSERT(not_original || !(initialized || buffers));
3035 3036
}

unknown's avatar
unknown committed
3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047
#else
bool udf_handler::get_arguments() { return 0; }
#endif /* HAVE_DLOPEN */

/*
** User level locks
*/

pthread_mutex_t LOCK_user_locks;
static HASH hash_user_locks;

3048
class User_level_lock
unknown's avatar
unknown committed
3049 3050 3051 3052 3053 3054 3055 3056 3057
{
  char *key;
  uint key_length;

public:
  int count;
  bool locked;
  pthread_cond_t cond;
  pthread_t thread;
unknown's avatar
SCRUM  
unknown committed
3058
  ulong thread_id;
unknown's avatar
unknown committed
3059

3060
  User_level_lock(const char *key_arg,uint length, ulong id) 
unknown's avatar
SCRUM  
unknown committed
3061
    :key_length(length),count(1),locked(1), thread_id(id)
unknown's avatar
unknown committed
3062 3063 3064 3065 3066
  {
    key=(char*) my_memdup((byte*) key_arg,length,MYF(0));
    pthread_cond_init(&cond,NULL);
    if (key)
    {
unknown's avatar
SCRUM  
unknown committed
3067
      if (my_hash_insert(&hash_user_locks,(byte*) this))
unknown's avatar
unknown committed
3068 3069 3070 3071 3072 3073
      {
	my_free((gptr) key,MYF(0));
	key=0;
      }
    }
  }
3074
  ~User_level_lock()
unknown's avatar
unknown committed
3075 3076 3077 3078 3079 3080 3081 3082 3083
  {
    if (key)
    {
      hash_delete(&hash_user_locks,(byte*) this);
      my_free((gptr) key,MYF(0));
    }
    pthread_cond_destroy(&cond);
  }
  inline bool initialized() { return key != 0; }
3084 3085 3086
  friend void item_user_lock_release(User_level_lock *ull);
  friend char *ull_get_key(const User_level_lock *ull, uint *length,
                           my_bool not_used);
unknown's avatar
unknown committed
3087 3088
};

3089
char *ull_get_key(const User_level_lock *ull, uint *length,
unknown's avatar
unknown committed
3090 3091 3092 3093 3094 3095
		  my_bool not_used __attribute__((unused)))
{
  *length=(uint) ull->key_length;
  return (char*) ull->key;
}

3096 3097 3098

static bool item_user_lock_inited= 0;

unknown's avatar
unknown committed
3099 3100
void item_user_lock_init(void)
{
3101
  pthread_mutex_init(&LOCK_user_locks,MY_MUTEX_INIT_SLOW);
unknown's avatar
unknown committed
3102 3103
  hash_init(&hash_user_locks,system_charset_info,
	    16,0,0,(hash_get_key) ull_get_key,NULL,0);
3104
  item_user_lock_inited= 1;
unknown's avatar
unknown committed
3105 3106 3107 3108
}

void item_user_lock_free(void)
{
3109 3110 3111 3112 3113 3114
  if (item_user_lock_inited)
  {
    item_user_lock_inited= 0;
    hash_free(&hash_user_locks);
    pthread_mutex_destroy(&LOCK_user_locks);
  }
unknown's avatar
unknown committed
3115 3116
}

3117
void item_user_lock_release(User_level_lock *ull)
unknown's avatar
unknown committed
3118 3119
{
  ull->locked=0;
3120
  ull->thread_id= 0;
unknown's avatar
unknown committed
3121 3122 3123 3124 3125 3126
  if (--ull->count)
    pthread_cond_signal(&ull->cond);
  else
    delete ull;
}

unknown's avatar
unknown committed
3127 3128 3129 3130 3131 3132 3133
/*
   Wait until we are at or past the given position in the master binlog
   on the slave
 */

longlong Item_master_pos_wait::val_int()
{
3134
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3135 3136
  THD* thd = current_thd;
  String *log_name = args[0]->val_str(&value);
3137
  int event_count= 0;
unknown's avatar
unknown committed
3138

unknown's avatar
unknown committed
3139 3140 3141 3142 3143 3144
  null_value=0;
  if (thd->slave_thread || !log_name || !log_name->length())
  {
    null_value = 1;
    return 0;
  }
unknown's avatar
unknown committed
3145
  longlong pos = (ulong)args[1]->val_int();
3146
  longlong timeout = (arg_count==3) ? args[2]->val_int() : 0 ;
unknown's avatar
SCRUM  
unknown committed
3147
#ifdef HAVE_REPLICATION
3148
  if ((event_count = active_mi->rli.wait_for_pos(thd, log_name, pos, timeout)) == -2)
unknown's avatar
unknown committed
3149 3150 3151 3152
  {
    null_value = 1;
    event_count=0;
  }
3153
#endif
unknown's avatar
unknown committed
3154 3155 3156
  return event_count;
}

3157 3158 3159 3160
#ifdef EXTRA_DEBUG
void debug_sync_point(const char* lock_name, uint lock_timeout)
{
  THD* thd=current_thd;
3161
  User_level_lock* ull;
3162
  struct timespec abstime;
3163
  int lock_name_len;
3164 3165 3166 3167 3168 3169 3170 3171 3172
  lock_name_len=strlen(lock_name);
  pthread_mutex_lock(&LOCK_user_locks);

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

3173 3174 3175 3176 3177
  /*
    If the lock has not been aquired by some client, we do not want to
    create an entry for it, since we immediately release the lock. In
    this case, we will not be waiting, but rather, just waste CPU and
    memory on the whole deal
3178
  */
3179
  if (!(ull= ((User_level_lock*) hash_search(&hash_user_locks, lock_name,
3180 3181 3182 3183 3184 3185 3186
				 lock_name_len))))
  {
    pthread_mutex_unlock(&LOCK_user_locks);
    return;
  }
  ull->count++;

3187 3188 3189 3190
  /*
    Structure is now initialized.  Try to get the lock.
    Set up control struct to allow others to abort locks
  */
3191 3192 3193 3194
  thd->proc_info="User lock";
  thd->mysys_var->current_mutex= &LOCK_user_locks;
  thd->mysys_var->current_cond=  &ull->cond;

3195
  set_timespec(abstime,lock_timeout);
unknown's avatar
unknown committed
3196 3197 3198 3199 3200 3201 3202
  while (ull->locked && !thd->killed)
  {
    int error= pthread_cond_timedwait(&ull->cond, &LOCK_user_locks, &abstime);
    if (error == ETIMEDOUT || error == ETIME)
      break;
  }

3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216 3217 3218 3219 3220 3221 3222 3223 3224 3225 3226 3227 3228 3229 3230
  if (ull->locked)
  {
    if (!--ull->count)
      delete ull;				// Should never happen
  }
  else
  {
    ull->locked=1;
    ull->thread=thd->real_id;
    thd->ull=ull;
  }
  pthread_mutex_unlock(&LOCK_user_locks);
  pthread_mutex_lock(&thd->mysys_var->mutex);
  thd->proc_info=0;
  thd->mysys_var->current_mutex= 0;
  thd->mysys_var->current_cond=  0;
  pthread_mutex_unlock(&thd->mysys_var->mutex);
  pthread_mutex_lock(&LOCK_user_locks);
  if (thd->ull)
  {
    item_user_lock_release(thd->ull);
    thd->ull=0;
  }
  pthread_mutex_unlock(&LOCK_user_locks);
}

#endif

unknown's avatar
unknown committed
3231 3232 3233 3234 3235 3236 3237 3238 3239
/*
  Get a user level lock. If the thread has an old lock this is first released.
  Returns 1:  Got lock
  Returns 0:  Timeout
  Returns NULL: Error
*/

longlong Item_func_get_lock::val_int()
{
3240
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3241 3242 3243 3244
  String *res=args[0]->val_str(&value);
  longlong timeout=args[1]->val_int();
  struct timespec abstime;
  THD *thd=current_thd;
3245
  User_level_lock *ull;
unknown's avatar
unknown committed
3246
  int error;
unknown's avatar
unknown committed
3247

3248 3249 3250 3251 3252 3253 3254 3255 3256 3257
  /*
    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)
    return 1;

unknown's avatar
unknown committed
3258 3259 3260 3261 3262 3263 3264 3265 3266 3267 3268 3269 3270 3271 3272 3273
  pthread_mutex_lock(&LOCK_user_locks);

  if (!res || !res->length())
  {
    pthread_mutex_unlock(&LOCK_user_locks);
    null_value=1;
    return 0;
  }
  null_value=0;

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

3274 3275 3276
  if (!(ull= ((User_level_lock *) hash_search(&hash_user_locks,
                                              (byte*) res->ptr(),
                                              res->length()))))
unknown's avatar
unknown committed
3277
  {
3278
    ull=new User_level_lock(res->ptr(),res->length(), thd->thread_id);
unknown's avatar
unknown committed
3279 3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290 3291 3292
    if (!ull || !ull->initialized())
    {
      delete ull;
      pthread_mutex_unlock(&LOCK_user_locks);
      null_value=1;				// Probably out of memory
      return 0;
    }
    ull->thread=thd->real_id;
    thd->ull=ull;
    pthread_mutex_unlock(&LOCK_user_locks);
    return 1;					// Got new lock
  }
  ull->count++;

3293 3294 3295 3296
  /*
    Structure is now initialized.  Try to get the lock.
    Set up control struct to allow others to abort locks.
  */
unknown's avatar
unknown committed
3297 3298 3299 3300
  thd->proc_info="User lock";
  thd->mysys_var->current_mutex= &LOCK_user_locks;
  thd->mysys_var->current_cond=  &ull->cond;

3301
  set_timespec(abstime,timeout);
unknown's avatar
unknown committed
3302 3303 3304 3305 3306 3307 3308 3309 3310
  error= 0;
  while (ull->locked && !thd->killed)
  {
    error= pthread_cond_timedwait(&ull->cond,&LOCK_user_locks,&abstime);
    if (error == ETIMEDOUT || error == ETIME)
      break;
    error= 0;
  }

unknown's avatar
unknown committed
3311 3312 3313
  if (ull->locked)
  {
    if (!--ull->count)
unknown's avatar
unknown committed
3314 3315
    {
      DBUG_ASSERT(0);
unknown's avatar
unknown committed
3316
      delete ull;				// Should never happen
unknown's avatar
unknown committed
3317 3318
    }
    if (!error)                                 // Killed (thd->killed != 0)
unknown's avatar
unknown committed
3319 3320 3321 3322 3323
    {
      error=1;
      null_value=1;				// Return NULL
    }
  }
unknown's avatar
unknown committed
3324
  else                                          // We got the lock
unknown's avatar
unknown committed
3325 3326 3327
  {
    ull->locked=1;
    ull->thread=thd->real_id;
3328
    ull->thread_id= thd->thread_id;
unknown's avatar
unknown committed
3329 3330 3331 3332 3333 3334 3335 3336 3337 3338 3339 3340 3341 3342 3343 3344
    thd->ull=ull;
    error=0;
  }
  pthread_mutex_unlock(&LOCK_user_locks);

  pthread_mutex_lock(&thd->mysys_var->mutex);
  thd->proc_info=0;
  thd->mysys_var->current_mutex= 0;
  thd->mysys_var->current_cond=  0;
  pthread_mutex_unlock(&thd->mysys_var->mutex);

  return !error ? 1 : 0;
}


/*
3345 3346 3347 3348 3349
  Release a user level lock.
  Return:
    1 if lock released
    0 if lock wasn't held
    (SQL) NULL if no such lock
unknown's avatar
unknown committed
3350 3351 3352 3353
*/

longlong Item_func_release_lock::val_int()
{
3354
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3355
  String *res=args[0]->val_str(&value);
3356
  User_level_lock *ull;
unknown's avatar
unknown committed
3357 3358 3359 3360 3361 3362 3363 3364 3365 3366
  longlong result;
  if (!res || !res->length())
  {
    null_value=1;
    return 0;
  }
  null_value=0;

  result=0;
  pthread_mutex_lock(&LOCK_user_locks);
3367 3368 3369
  if (!(ull= ((User_level_lock*) hash_search(&hash_user_locks,
                                             (const byte*) res->ptr(),
                                             res->length()))))
unknown's avatar
unknown committed
3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382 3383 3384 3385 3386
  {
    null_value=1;
  }
  else
  {
    if (ull->locked && pthread_equal(pthread_self(),ull->thread))
    {
      result=1;					// Release is ok
      item_user_lock_release(ull);
      current_thd->ull=0;
    }
  }
  pthread_mutex_unlock(&LOCK_user_locks);
  return result;
}


3387
longlong Item_func_last_insert_id::val_int()
unknown's avatar
unknown committed
3388
{
unknown's avatar
unknown committed
3389
  THD *thd= current_thd;
3390
  DBUG_ASSERT(fixed == 1);
3391 3392
  if (arg_count)
  {
unknown's avatar
unknown committed
3393 3394
    longlong value= args[0]->val_int();
    null_value= args[0]->null_value;
3395 3396 3397 3398 3399 3400 3401 3402 3403 3404
    /*
      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;
3405
  }
unknown's avatar
unknown committed
3406
  thd->lex->uncacheable(UNCACHEABLE_SIDEEFFECT);
3407
  return thd->read_first_successful_insert_id_in_prev_stmt();
unknown's avatar
unknown committed
3408 3409 3410 3411 3412 3413
}

/* This function is just used to test speed of different functions */

longlong Item_func_benchmark::val_int()
{
3414
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
3415
  char buff[MAX_FIELD_WIDTH];
unknown's avatar
unknown committed
3416
  String tmp(buff,sizeof(buff), &my_charset_bin);
unknown's avatar
unknown committed
3417 3418 3419 3420 3421 3422
  THD *thd=current_thd;

  for (ulong loop=0 ; loop < loop_count && !thd->killed; loop++)
  {
    switch (args[0]->result_type()) {
    case REAL_RESULT:
3423
      (void) args[0]->val_real();
unknown's avatar
unknown committed
3424 3425 3426 3427 3428 3429 3430
      break;
    case INT_RESULT:
      (void) args[0]->val_int();
      break;
    case STRING_RESULT:
      (void) args[0]->val_str(&tmp);
      break;
3431
    case ROW_RESULT:
unknown's avatar
unknown committed
3432
    default:
unknown's avatar
unknown committed
3433
      // This case should never be chosen
unknown's avatar
unknown committed
3434 3435
      DBUG_ASSERT(0);
      return 0;
unknown's avatar
unknown committed
3436 3437 3438 3439 3440
    }
  }
  return 0;
}

3441

3442 3443
void Item_func_benchmark::print(String *str)
{
3444
  str->append(STRING_WITH_LEN("benchmark("));
3445
  char buffer[20];
unknown's avatar
unknown committed
3446 3447 3448
  // my_charset_bin is good enough for numbers
  String st(buffer, sizeof(buffer), &my_charset_bin);
  st.set((ulonglong)loop_count, &my_charset_bin);
3449 3450 3451 3452 3453 3454
  str->append(st);
  str->append(',');
  args[0]->print(str);
  str->append(')');
}

unknown's avatar
unknown committed
3455

3456 3457 3458 3459
/* This function is just used to create tests with time gaps */

longlong Item_func_sleep::val_int()
{
3460 3461 3462
  THD *thd= current_thd;
  struct timespec abstime;
  pthread_cond_t cond;
3463
  int error;
3464

3465
  DBUG_ASSERT(fixed == 1);
3466

3467
  double time= args[0]->val_real();
3468 3469 3470 3471 3472 3473 3474 3475
  set_timespec_nsec(abstime, (ulonglong)(time * ULL(1000000000)));

  pthread_cond_init(&cond, NULL);
  pthread_mutex_lock(&LOCK_user_locks);

  thd->mysys_var->current_mutex= &LOCK_user_locks;
  thd->mysys_var->current_cond=  &cond;

unknown's avatar
unknown committed
3476 3477 3478 3479 3480 3481 3482 3483
  error= 0;
  while (!thd->killed)
  {
    error= pthread_cond_timedwait(&cond, &LOCK_user_locks, &abstime);
    if (error == ETIMEDOUT || error == ETIME)
      break;
    error= 0;
  }
3484 3485 3486 3487 3488 3489 3490 3491 3492

  pthread_mutex_lock(&thd->mysys_var->mutex);
  thd->mysys_var->current_mutex= 0;
  thd->mysys_var->current_cond=  0;
  pthread_mutex_unlock(&thd->mysys_var->mutex);

  pthread_mutex_unlock(&LOCK_user_locks);
  pthread_cond_destroy(&cond);

unknown's avatar
unknown committed
3493
  return test(!error); 		// Return 1 killed
3494 3495 3496
}


unknown's avatar
unknown committed
3497 3498 3499 3500 3501 3502 3503 3504 3505 3506 3507 3508 3509 3510 3511 3512 3513 3514 3515 3516 3517
#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;

  if (!(entry = (user_var_entry*) hash_search(hash, (byte*) name.str,
					      name.length)) &&
      create_if_not_exists)
  {
    uint size=ALIGN_SIZE(sizeof(user_var_entry))+name.length+1+extra_size;
    if (!hash_inited(hash))
      return 0;
    if (!(entry = (user_var_entry*) my_malloc(size,MYF(MY_WME))))
      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;
3518
    entry->update_query_id=0;
3519
    entry->collation.set(NULL, DERIVATION_IMPLICIT);
unknown's avatar
unknown committed
3520
    entry->unsigned_flag= 0;
3521 3522 3523 3524 3525 3526 3527 3528 3529 3530
    /*
      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
3531
    entry->used_query_id=current_thd->query_id;
unknown's avatar
unknown committed
3532 3533
    entry->type=STRING_RESULT;
    memcpy(entry->name.str, name.str, name.length+1);
unknown's avatar
SCRUM  
unknown committed
3534
    if (my_hash_insert(hash,(byte*) entry))
unknown's avatar
unknown committed
3535 3536 3537 3538 3539 3540 3541 3542
    {
      my_free((char*) entry,MYF(0));
      return 0;
    }
  }
  return entry;
}

3543
/*
3544 3545
  When a user variable is updated (in a SET command or a query like
  SELECT @a:= ).
3546
*/
3547

3548
bool Item_func_set_user_var::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
3549
{
3550
  DBUG_ASSERT(fixed == 0);
3551
  /* fix_fields will call Item_func_set_user_var::fix_length_and_dec */
3552
  if (Item_func::fix_fields(thd, ref) ||
unknown's avatar
unknown committed
3553
      !(entry= get_variable(&thd->user_vars, name, 1)))
unknown's avatar
unknown committed
3554
    return TRUE;
3555 3556 3557 3558 3559
  /* 
     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).
  */
3560
  entry->update_query_id= thd->query_id;
3561 3562 3563 3564 3565 3566 3567 3568 3569 3570 3571 3572 3573 3574 3575
  /*
    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.
  */
3576 3577
  null_item= (args[0]->type() == NULL_ITEM);
  if (!entry->collation.collation || !null_item)
3578 3579
    entry->collation.set(args[0]->collation.collation, DERIVATION_IMPLICIT);
  collation.set(entry->collation.collation, DERIVATION_IMPLICIT);
3580
  cached_result_type= args[0]->result_type();
unknown's avatar
unknown committed
3581
  return FALSE;
unknown's avatar
unknown committed
3582 3583 3584 3585 3586 3587 3588 3589 3590
}


void
Item_func_set_user_var::fix_length_and_dec()
{
  maybe_null=args[0]->maybe_null;
  max_length=args[0]->max_length;
  decimals=args[0]->decimals;
3591
  collation.set(args[0]->collation.collation, DERIVATION_IMPLICIT);
unknown's avatar
unknown committed
3592 3593
}

3594

unknown's avatar
unknown committed
3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606
/*
  Set value to user variable.

  SYNOPSYS
    update_hash()
    entry    - pointer to structure representing variable
    set_null - should we set NULL value ?
    ptr      - pointer to buffer with new value
    length   - length of new value
    type     - type of new value
    cs       - charset info for new value
    dv       - derivation for new value
3607
    unsigned_arg - indiates if a value of type INT_RESULT is unsigned
unknown's avatar
unknown committed
3608 3609 3610 3611 3612 3613 3614

  RETURN VALUE
    False - success, True - failure
*/

static bool
update_hash(user_var_entry *entry, bool set_null, void *ptr, uint length,
3615 3616
            Item_result type, CHARSET_INFO *cs, Derivation dv,
            bool unsigned_arg)
unknown's avatar
unknown committed
3617
{
unknown's avatar
unknown committed
3618
  if (set_null)
unknown's avatar
unknown committed
3619 3620 3621 3622
  {
    char *pos= (char*) entry+ ALIGN_SIZE(sizeof(user_var_entry));
    if (entry->value && entry->value != pos)
      my_free(entry->value,MYF(0));
3623 3624
    entry->value= 0;
    entry->length= 0;
unknown's avatar
unknown committed
3625 3626 3627
  }
  else
  {
3628 3629
    if (type == STRING_RESULT)
      length++;					// Store strings with end \0
unknown's avatar
unknown committed
3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650
    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)
	  my_free(entry->value,MYF(0));
	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;
	if (!(entry->value=(char*) my_realloc(entry->value, length,
					      MYF(MY_ALLOW_ZERO_PTR))))
unknown's avatar
unknown committed
3651
	  return 1;
unknown's avatar
unknown committed
3652 3653
      }
    }
3654 3655 3656 3657 3658
    if (type == STRING_RESULT)
    {
      length--;					// Fix length change above
      entry->value[length]= 0;			// Store end \0
    }
unknown's avatar
unknown committed
3659
    memcpy(entry->value,ptr,length);
unknown's avatar
unknown committed
3660 3661
    if (type == DECIMAL_RESULT)
      ((my_decimal*)entry->value)->fix_buffer_pointer();
unknown's avatar
unknown committed
3662
    entry->length= length;
3663
    entry->collation.set(cs, dv);
unknown's avatar
unknown committed
3664
    entry->unsigned_flag= unsigned_arg;
unknown's avatar
unknown committed
3665
  }
3666
  entry->type=type;
3667
  return 0;
unknown's avatar
unknown committed
3668
}
unknown's avatar
unknown committed
3669

unknown's avatar
unknown committed
3670 3671 3672

bool
Item_func_set_user_var::update_hash(void *ptr, uint length, Item_result type,
3673 3674
                                    CHARSET_INFO *cs, Derivation dv,
                                    bool unsigned_arg)
unknown's avatar
unknown committed
3675
{
3676 3677 3678 3679 3680 3681
  /*
    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)
    type= entry->type;                          // Don't change type of item
unknown's avatar
unknown committed
3682
  if (::update_hash(entry, (null_value= args[0]->null_value),
3683
                    ptr, length, type, cs, dv, unsigned_arg))
unknown's avatar
unknown committed
3684 3685 3686 3687 3688 3689
  {
    current_thd->fatal_error();     // Probably end of memory
    null_value= 1;
    return 1;
  }
  return 0;
unknown's avatar
unknown committed
3690 3691 3692
}


3693 3694
/* Get the value of a variable as a double */

unknown's avatar
unknown committed
3695
double user_var_entry::val_real(my_bool *null_value)
unknown's avatar
unknown committed
3696
{
3697 3698 3699 3700 3701 3702 3703 3704
  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
3705 3706 3707 3708 3709 3710
  case DECIMAL_RESULT:
  {
    double result;
    my_decimal2double(E_DEC_FATAL_ERROR, (my_decimal *)value, &result);
    return result;
  }
3711
  case STRING_RESULT:
unknown's avatar
unknown committed
3712
    return my_atof(value);                      // This is null terminated
3713 3714 3715
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
unknown's avatar
unknown committed
3716
  }
3717
  return 0.0;					// Impossible
unknown's avatar
unknown committed
3718 3719 3720
}


3721 3722 3723
/* Get the value of a variable as an integer */

longlong user_var_entry::val_int(my_bool *null_value)
unknown's avatar
unknown committed
3724
{
3725 3726 3727 3728 3729 3730 3731 3732
  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
3733 3734 3735
  case DECIMAL_RESULT:
  {
    longlong result;
3736
    my_decimal2int(E_DEC_FATAL_ERROR, (my_decimal *)value, 0, &result);
unknown's avatar
unknown committed
3737 3738
    return result;
  }
unknown's avatar
unknown committed
3739
  case STRING_RESULT:
unknown's avatar
unknown committed
3740 3741 3742 3743
  {
    int error;
    return my_strtoll10(value, (char**) 0, &error);// String is null terminated
  }
3744 3745 3746
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
unknown's avatar
unknown committed
3747
  }
3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761
  return LL(0);					// Impossible
}


/* Get the value of a variable as a string */

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:
3762
    str->set_real(*(double*) value, decimals, &my_charset_bin);
3763 3764
    break;
  case INT_RESULT:
3765 3766 3767 3768
    if (!unsigned_flag)
      str->set(*(longlong*) value, &my_charset_bin);
    else
      str->set(*(ulonglong*) value, &my_charset_bin);
3769
    break;
unknown's avatar
unknown committed
3770 3771 3772
  case DECIMAL_RESULT:
    my_decimal2string(E_DEC_FATAL_ERROR, (my_decimal *)value, 0, 0, 0, str);
    break;
3773
  case STRING_RESULT:
unknown's avatar
unknown committed
3774
    if (str->copy(value, length, collation.collation))
3775
      str= 0;					// EOM error
3776 3777 3778
  case ROW_RESULT:
    DBUG_ASSERT(1);				// Impossible
    break;
unknown's avatar
unknown committed
3779
  }
3780
  return(str);
unknown's avatar
unknown committed
3781 3782
}

unknown's avatar
unknown committed
3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808 3809
/* Get the value of a variable as a decimal */

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);
}

3810 3811
/*
  This functions is invoked on SET @variable or @variable:= expression.
unknown's avatar
unknown committed
3812
  Evaluate (and check expression), store results.
3813 3814 3815 3816 3817

  SYNOPSYS
    Item_func_set_user_var::check()

  NOTES
unknown's avatar
unknown committed
3818 3819
    For now it always return OK. All problem with value evaluating
    will be caught by thd->net.report_error check in sql_set_variables().
3820 3821

  RETURN
unknown's avatar
unknown committed
3822
    FALSE OK.
3823 3824 3825
*/

bool
3826
Item_func_set_user_var::check(bool use_result_field)
3827 3828
{
  DBUG_ENTER("Item_func_set_user_var::check");
3829 3830
  if (use_result_field)
    DBUG_ASSERT(result_field);
3831 3832 3833 3834

  switch (cached_result_type) {
  case REAL_RESULT:
  {
3835 3836
    save_result.vreal= use_result_field ? result_field->val_real() :
                        args[0]->val_real();
3837 3838 3839 3840
    break;
  }
  case INT_RESULT:
  {
3841 3842 3843 3844
    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;
3845 3846 3847 3848
    break;
  }
  case STRING_RESULT:
  {
3849 3850
    save_result.vstr= use_result_field ? result_field->val_str(&value) :
                       args[0]->val_str(&value);
3851 3852
    break;
  }
unknown's avatar
unknown committed
3853 3854
  case DECIMAL_RESULT:
  {
3855 3856 3857
    save_result.vdec= use_result_field ?
                       result_field->val_decimal(&decimal_buff) :
                       args[0]->val_decimal(&decimal_buff);
unknown's avatar
unknown committed
3858 3859
    break;
  }
3860 3861
  case ROW_RESULT:
  default:
unknown's avatar
unknown committed
3862
    // This case should never be chosen
3863 3864 3865
    DBUG_ASSERT(0);
    break;
  }
unknown's avatar
unknown committed
3866
  DBUG_RETURN(FALSE);
3867 3868
}

3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880

/*
  This functions is invoked on SET @variable or @variable:= expression.

  SYNOPSIS
    Item_func_set_user_var::update()

  NOTES
    We have to store the expression as such in the variable, independent of
    the value method used by the user

  RETURN
unknown's avatar
unknown committed
3881
    0	OK
3882 3883 3884 3885
    1	EOM Error

*/

unknown's avatar
unknown committed
3886 3887 3888
bool
Item_func_set_user_var::update()
{
3889 3890 3891 3892
  bool res;
  DBUG_ENTER("Item_func_set_user_var::update");
  LINT_INIT(res);

unknown's avatar
unknown committed
3893 3894
  switch (cached_result_type) {
  case REAL_RESULT:
unknown's avatar
unknown committed
3895
  {
3896
    res= update_hash((void*) &save_result.vreal,sizeof(save_result.vreal),
unknown's avatar
unknown committed
3897
		     REAL_RESULT, &my_charset_bin, DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
3898
    break;
unknown's avatar
unknown committed
3899
  }
unknown's avatar
unknown committed
3900
  case INT_RESULT:
3901
  {
3902
    res= update_hash((void*) &save_result.vint, sizeof(save_result.vint),
3903
                     INT_RESULT, &my_charset_bin, DERIVATION_IMPLICIT,
3904
                     unsigned_flag);
unknown's avatar
unknown committed
3905
    break;
unknown's avatar
unknown committed
3906
  }
unknown's avatar
unknown committed
3907
  case STRING_RESULT:
unknown's avatar
unknown committed
3908
  {
3909
    if (!save_result.vstr)					// Null value
unknown's avatar
unknown committed
3910
      res= update_hash((void*) 0, 0, STRING_RESULT, &my_charset_bin,
unknown's avatar
unknown committed
3911
		       DERIVATION_IMPLICIT, 0);
3912
    else
3913 3914 3915
      res= update_hash((void*) save_result.vstr->ptr(),
		       save_result.vstr->length(), STRING_RESULT,
		       save_result.vstr->charset(),
unknown's avatar
unknown committed
3916
		       DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
3917 3918
    break;
  }
unknown's avatar
unknown committed
3919 3920 3921 3922
  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
3923
                       DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
3924 3925 3926
    else
      res= update_hash((void*) save_result.vdec,
                       sizeof(my_decimal), DECIMAL_RESULT,
unknown's avatar
unknown committed
3927
                       &my_charset_bin, DERIVATION_IMPLICIT, 0);
unknown's avatar
unknown committed
3928 3929
    break;
  }
3930
  case ROW_RESULT:
unknown's avatar
unknown committed
3931
  default:
unknown's avatar
unknown committed
3932
    // This case should never be chosen
unknown's avatar
unknown committed
3933 3934 3935
    DBUG_ASSERT(0);
    break;
  }
3936
  DBUG_RETURN(res);
unknown's avatar
unknown committed
3937 3938 3939
}


3940
double Item_func_set_user_var::val_real()
unknown's avatar
unknown committed
3941
{
3942
  DBUG_ASSERT(fixed == 1);
3943
  check(0);
3944
  update();					// Store expression
unknown's avatar
unknown committed
3945
  return entry->val_real(&null_value);
unknown's avatar
unknown committed
3946 3947
}

3948
longlong Item_func_set_user_var::val_int()
unknown's avatar
unknown committed
3949
{
3950
  DBUG_ASSERT(fixed == 1);
3951
  check(0);
3952 3953
  update();					// Store expression
  return entry->val_int(&null_value);
unknown's avatar
unknown committed
3954 3955
}

3956
String *Item_func_set_user_var::val_str(String *str)
unknown's avatar
unknown committed
3957
{
3958
  DBUG_ASSERT(fixed == 1);
3959
  check(0);
3960 3961
  update();					// Store expression
  return entry->val_str(&null_value, str, decimals);
unknown's avatar
unknown committed
3962 3963 3964
}


unknown's avatar
unknown committed
3965 3966 3967
my_decimal *Item_func_set_user_var::val_decimal(my_decimal *val)
{
  DBUG_ASSERT(fixed == 1);
3968
  check(0);
unknown's avatar
unknown committed
3969 3970 3971 3972 3973
  update();					// Store expression
  return entry->val_decimal(&null_value, val);
}


unknown's avatar
unknown committed
3974 3975
void Item_func_set_user_var::print(String *str)
{
3976
  str->append(STRING_WITH_LEN("(@"));
3977
  str->append(name.str, name.length);
3978
  str->append(STRING_WITH_LEN(":="));
unknown's avatar
unknown committed
3979 3980 3981 3982 3983
  args[0]->print(str);
  str->append(')');
}


3984 3985
void Item_func_set_user_var::print_as_stmt(String *str)
{
3986
  str->append(STRING_WITH_LEN("set @"));
3987
  str->append(name.str, name.length);
3988
  str->append(STRING_WITH_LEN(":="));
3989 3990 3991 3992
  args[0]->print(str);
  str->append(')');
}

3993 3994 3995 3996 3997 3998 3999 4000 4001 4002
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);
}
4003

unknown's avatar
unknown committed
4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015
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);
}
4016

unknown's avatar
unknown committed
4017 4018 4019
String *
Item_func_get_user_var::val_str(String *str)
{
4020
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
4021
  DBUG_ENTER("Item_func_get_user_var::val_str");
4022
  if (!var_entry)
4023
    DBUG_RETURN((String*) 0);			// No such variable
4024
  DBUG_RETURN(var_entry->val_str(&null_value, str, decimals));
unknown's avatar
unknown committed
4025 4026 4027
}


4028
double Item_func_get_user_var::val_real()
unknown's avatar
unknown committed
4029
{
4030
  DBUG_ASSERT(fixed == 1);
4031 4032
  if (!var_entry)
    return 0.0;					// No such variable
unknown's avatar
unknown committed
4033 4034 4035 4036 4037 4038 4039 4040 4041 4042
  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
4043 4044 4045 4046 4047
}


longlong Item_func_get_user_var::val_int()
{
4048
  DBUG_ASSERT(fixed == 1);
4049 4050 4051
  if (!var_entry)
    return LL(0);				// No such variable
  return (var_entry->val_int(&null_value));
unknown's avatar
unknown committed
4052 4053 4054
}


4055
/*
4056 4057 4058 4059 4060 4061 4062 4063 4064 4065
  Get variable by name and, if necessary, put the record of variable 
  use into the binary log.
  
  SYNOPSIS
    get_var_with_binlog()
      thd        Current thread
      name       Variable name 
      out_entry  [out] variable structure or NULL. The pointer is set 
                 regardless of whether function succeeded or not.

4066 4067 4068 4069
  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).
4070

4071
  RETURN
4072
    0  OK
unknown's avatar
unknown committed
4073
    1  Failed to put appropriate record into binary log
4074

4075 4076
*/

4077 4078
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
4079
{
4080
  BINLOG_USER_VAR_EVENT *user_var_event;
4081 4082
  user_var_entry *var_entry;
  var_entry= get_variable(&thd->user_vars, name, 0);
4083 4084

  if (!(opt_bin_log && is_update_query(sql_command)))
4085 4086 4087 4088
  {
    *out_entry= var_entry;
    return 0;
  }
4089 4090

  if (!var_entry)
unknown's avatar
unknown committed
4091
  {
4092
    /*
4093 4094 4095 4096
      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
4097 4098
      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;'.
4099 4100 4101
      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();
4102 4103
      this would save memory and time; but calling sql_set_variables() makes
      one unique place to maintain (sql_set_variables()). 
4104 4105 4106

      Manipulation with lex is necessary since free_underlaid_joins
      is going to release memory belonging to the main query.
4107 4108 4109
    */

    List<set_var_base> tmp_var_list;
4110 4111 4112
    LEX *sav_lex= thd->lex, lex_tmp;
    thd->lex= &lex_tmp;
    lex_start(thd, NULL, 0);
4113 4114
    tmp_var_list.push_back(new set_var_user(new Item_func_set_user_var(name,
                                                                       new Item_null())));
4115 4116
    /* Create the variable */
    if (sql_set_variables(thd, &tmp_var_list))
4117 4118
    {
      thd->lex= sav_lex;
4119
      goto err;
4120 4121
    }
    thd->lex= sav_lex;
4122 4123 4124
    if (!(var_entry= get_variable(&thd->user_vars, name, 0)))
      goto err;
  }
4125 4126
  else if (var_entry->used_query_id == thd->query_id ||
           mysql_bin_log.is_query_in_union(thd, var_entry->used_query_id))
4127 4128 4129 4130 4131 4132 4133 4134 4135
  {
    /* 
       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;
  }
4136 4137 4138 4139

  uint size;
  /*
    First we need to store value of var_entry, when the next situation
unknown's avatar
unknown committed
4140
    appears:
4141 4142
    > set @a:=1;
    > insert into t1 values (@a), (@a:=@a+1), (@a:=@a+1);
4143 4144 4145 4146 4147 4148
    We have to write to binlog value @a= 1.
    
    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.
4149
  */
4150 4151 4152
  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)))
4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164
    goto err;
  
  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;
  if (!var_entry->value)
  {
    /* NULL value*/
    user_var_event->length= 0;
    user_var_event->value= 0;
unknown's avatar
unknown committed
4165
  }
4166 4167 4168 4169 4170 4171 4172 4173 4174 4175
  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;
  if (insert_dynamic(&thd->user_var_events, (gptr) &user_var_event))
    goto err;
4176 4177 4178
  
  *out_entry= var_entry;
  return 0;
4179

unknown's avatar
unknown committed
4180
err:
4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192
  *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;
4193

4194
  error= get_var_with_binlog(thd, thd->lex->sql_command, name, &var_entry);
4195 4196

  if (var_entry)
4197
  {
4198
    collation.set(var_entry->collation);
4199 4200 4201
    switch (var_entry->type) {
    case REAL_RESULT:
      max_length= DBL_DIG + 8;
unknown's avatar
unknown committed
4202
      break;
4203 4204
    case INT_RESULT:
      max_length= MAX_BIGINT_WIDTH;
unknown's avatar
unknown committed
4205
      decimals=0;
4206 4207 4208 4209
      break;
    case STRING_RESULT:
      max_length= MAX_BLOB_WIDTH;
      break;
unknown's avatar
unknown committed
4210
    case DECIMAL_RESULT:
unknown's avatar
unknown committed
4211 4212
      max_length= DECIMAL_MAX_STR_LENGTH;
      decimals= DECIMAL_MAX_SCALE;
unknown's avatar
unknown committed
4213
      break;
unknown's avatar
unknown committed
4214
    case ROW_RESULT:                            // Keep compiler happy
unknown's avatar
unknown committed
4215 4216
    default:
      DBUG_ASSERT(0);
unknown's avatar
unknown committed
4217
      break;
4218 4219
    }
  }
4220
  else
4221 4222
  {
    collation.set(&my_charset_bin, DERIVATION_IMPLICIT);
4223
    null_value= 1;
4224
  }
4225

4226 4227
  if (error)
    thd->fatal_error();
4228

unknown's avatar
unknown committed
4229
  return;
unknown's avatar
unknown committed
4230 4231 4232
}


4233
bool Item_func_get_user_var::const_item() const
4234
{
4235
  return (!var_entry || current_thd->query_id != var_entry->update_query_id);
4236
}
unknown's avatar
unknown committed
4237 4238 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248


enum Item_result Item_func_get_user_var::result_type() const
{
  user_var_entry *entry;
  if (!(entry = (user_var_entry*) hash_search(&current_thd->user_vars,
					      (byte*) name.str,
					      name.length)))
    return STRING_RESULT;
  return entry->type;
}

unknown's avatar
unknown committed
4249 4250 4251

void Item_func_get_user_var::print(String *str)
{
4252
  str->append(STRING_WITH_LEN("(@"));
unknown's avatar
unknown committed
4253 4254 4255 4256
  str->append(name.str,name.length);
  str->append(')');
}

4257

4258
bool Item_func_get_user_var::eq(const Item *item, bool binary_cmp) const
unknown's avatar
unknown committed
4259 4260 4261 4262 4263 4264
{
  /* 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 ||
4265
      ((Item_func*) item)->functype() != functype())
unknown's avatar
unknown committed
4266 4267 4268 4269 4270 4271 4272
    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));
}


4273
bool Item_func_get_user_var::set_value(THD *thd,
4274
                                       sp_rcontext */*ctx*/, Item **it)
4275
{
4276
  Item_func_set_user_var *suv= new Item_func_set_user_var(get_name(), *it);
4277 4278 4279 4280
  /*
    Item_func_set_user_var is not fixed after construction, call
    fix_fields().
  */
4281
  return (!suv || suv->fix_fields(thd, it) || suv->check(0) || suv->update());
4282 4283 4284
}


4285
bool Item_user_var_as_out_param::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
4286 4287
{
  DBUG_ASSERT(fixed == 0);
4288
  if (Item::fix_fields(thd, ref) ||
unknown's avatar
unknown committed
4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305
      !(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).
  */
  entry->collation.set(thd->variables.collation_database);
  entry->update_query_id= thd->query_id;
  return FALSE;
}


void Item_user_var_as_out_param::set_null_value(CHARSET_INFO* cs)
{
  if (::update_hash(entry, TRUE, 0, 0, STRING_RESULT, cs,
4306
                    DERIVATION_IMPLICIT, 0 /* unsigned_arg */))
unknown's avatar
unknown committed
4307 4308 4309 4310 4311 4312 4313 4314
    current_thd->fatal_error();			// Probably end of memory
}


void Item_user_var_as_out_param::set_value(const char *str, uint length,
                                           CHARSET_INFO* cs)
{
  if (::update_hash(entry, FALSE, (void*)str, length, STRING_RESULT, cs,
4315
                    DERIVATION_IMPLICIT, 0 /* unsigned_arg */))
unknown's avatar
unknown committed
4316 4317 4318 4319 4320 4321 4322 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354
    current_thd->fatal_error();			// Probably end of memory
}


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;
}


void Item_user_var_as_out_param::print(String *str)
{
  str->append('@');
  str->append(name.str,name.length);
}


4355 4356 4357 4358 4359 4360 4361 4362 4363 4364 4365 4366
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)
  :var(var_arg), var_type(var_type_arg), component(*component_arg)
{
  /* set_name() will allocate the name */
  set_name(name_arg, name_len_arg, system_charset_info);
}


bool
unknown's avatar
unknown committed
4367
Item_func_get_system_var::fix_fields(THD *thd, Item **ref)
4368
{
4369
  Item *item;
4370
  DBUG_ENTER("Item_func_get_system_var::fix_fields");
4371

4372 4373 4374 4375 4376
  /*
    Evaluate the system variable and substitute the result (a basic constant)
    instead of this item. If the variable can not be evaluated,
    the error is reported in sys_var::item().
  */
4377
  if (!(item= var->item(thd, var_type, &component)))
4378 4379 4380 4381 4382 4383 4384 4385
    DBUG_RETURN(1);                             // Impossible
  item->set_name(name, 0, system_charset_info); // don't allocate a new name
  thd->change_item_tree(ref, item);

  DBUG_RETURN(0);
}


unknown's avatar
unknown committed
4386 4387
longlong Item_func_inet_aton::val_int()
{
4388
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
4389 4390 4391 4392 4393
  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];
4394
  int dot_count= 0;
unknown's avatar
unknown committed
4395

unknown's avatar
unknown committed
4396
  String *s,tmp(buff,sizeof(buff),&my_charset_bin);
unknown's avatar
unknown committed
4397 4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4410 4411 4412
  if (!(s = args[0]->val_str(&tmp)))		// If null value
    goto err;
  null_value=0;

  end= (p = s->ptr()) + s->length();
  while (p < end)
  {
    c = *p++;
    int digit = (int) (c - '0');		// Assume ascii
    if (digit >= 0 && digit <= 9)
    {
      if ((byte_result = byte_result * 10 + digit) > 255)
	goto err;				// Wrong address
    }
    else if (c == '.')
    {
4413
      dot_count++;
unknown's avatar
unknown committed
4414 4415 4416 4417 4418 4419 4420
      result= (result << 8) + (ulonglong) byte_result;
      byte_result = 0;
    }
    else
      goto err;					// Invalid character
  }
  if (c != '.')					// IP number can't end on '.'
4421
  {
4422 4423 4424 4425 4426 4427
    /*
      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
4428
    switch (dot_count) {
4429 4430
    case 1: result<<= 8; /* Fall through */
    case 2: result<<= 8; /* Fall through */
4431
    }
unknown's avatar
unknown committed
4432
    return (result << 8) + (ulonglong) byte_result;
4433
  }
unknown's avatar
unknown committed
4434 4435 4436 4437 4438 4439

err:
  null_value=1;
  return 0;
}

unknown's avatar
unknown committed
4440

unknown's avatar
unknown committed
4441
void Item_func_match::init_search(bool no_order)
4442
{
unknown's avatar
unknown committed
4443
  DBUG_ENTER("Item_func_match::init_search");
4444 4445

  /* Check if init_search() has been called before */
4446
  if (ft_handler)
unknown's avatar
unknown committed
4447
    DBUG_VOID_RETURN;
4448

4449
  if (key == NO_SUCH_KEY)
4450 4451
  {
    List<Item> fields;
4452
    fields.push_back(new Item_string(" ",1, cmp_collation.collation));
4453 4454
    for (uint i=1; i < arg_count; i++)
      fields.push_back(args[i]);
4455
    concat=new Item_func_concat_ws(fields);
unknown's avatar
unknown committed
4456 4457 4458
    /*
      Above function used only to get value and do not need fix_fields for it:
      Item_string - basic constant
unknown's avatar
unknown committed
4459 4460
      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
4461 4462
    */
    concat->quick_fix_field();
4463
  }
4464

4465 4466
  if (master)
  {
unknown's avatar
unknown committed
4467 4468
    join_key=master->join_key=join_key|master->join_key;
    master->init_search(no_order);
4469 4470
    ft_handler=master->ft_handler;
    join_key=master->join_key;
unknown's avatar
unknown committed
4471
    DBUG_VOID_RETURN;
4472 4473
  }

unknown's avatar
unknown committed
4474
  String *ft_tmp= 0;
4475

4476
  // MATCH ... AGAINST (NULL) is meaningless, but possible
4477
  if (!(ft_tmp=key_item()->val_str(&value)))
4478
  {
4479 4480
    ft_tmp= &value;
    value.set("",0,cmp_collation.collation);
4481 4482
  }

4483 4484
  if (ft_tmp->charset() != cmp_collation.collation)
  {
unknown's avatar
unknown committed
4485
    uint dummy_errors;
4486
    search_value.copy(ft_tmp->ptr(), ft_tmp->length(), ft_tmp->charset(),
unknown's avatar
unknown committed
4487
                      cmp_collation.collation, &dummy_errors);
4488
    ft_tmp= &search_value;
4489 4490
  }

4491 4492
  if (join_key && !no_order)
    flags|=FT_SORTED;
4493
  ft_handler=table->file->ft_init_ext(flags, key, ft_tmp);
4494 4495 4496

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

  DBUG_VOID_RETURN;
4499 4500
}

unknown's avatar
unknown committed
4501

4502
bool Item_func_match::fix_fields(THD *thd, Item **ref)
unknown's avatar
unknown committed
4503
{
4504
  DBUG_ASSERT(fixed == 0);
unknown's avatar
unknown committed
4505
  Item *item;
4506
  LINT_INIT(item);				// Safe as arg_count is > 1
unknown's avatar
unknown committed
4507

4508 4509 4510
  maybe_null=1;
  join_key=0;

4511 4512 4513 4514 4515
  /*
    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.
4516
   */
4517
  if (Item_func::fix_fields(thd, ref) ||
4518
      !args[0]->const_during_execution())
4519 4520
  {
    my_error(ER_WRONG_ARGUMENTS,MYF(0),"AGAINST");
unknown's avatar
unknown committed
4521
    return TRUE;
4522
  }
unknown's avatar
unknown committed
4523

4524 4525
  const_item_cache=0;
  for (uint i=1 ; i < arg_count ; i++)
unknown's avatar
unknown committed
4526
  {
4527
    item=args[i];
unknown's avatar
unknown committed
4528
    if (item->type() == Item::REF_ITEM)
4529 4530
      args[i]= item= *((Item_ref *)item)->ref;
    if (item->type() != Item::FIELD_ITEM)
4531
      key=NO_SUCH_KEY;
unknown's avatar
unknown committed
4532
  }
4533 4534
  /*
    Check that all columns come from the same table.
4535
    We've already checked that columns in MATCH are fields so
4536 4537 4538
    PARAM_TABLE_BIT can only appear from AGAINST argument.
  */
  if ((used_tables_cache & ~PARAM_TABLE_BIT) != item->used_tables())
4539
    key=NO_SUCH_KEY;
4540

4541
  if (key == NO_SUCH_KEY && !(flags & FT_BOOL))
4542 4543
  {
    my_error(ER_WRONG_ARGUMENTS,MYF(0),"MATCH");
unknown's avatar
unknown committed
4544
    return TRUE;
4545
  }
4546
  table=((Item_field *)item)->field->table;
4547
  if (!(table->file->ha_table_flags() & HA_CAN_FULLTEXT))
4548
  {
unknown's avatar
unknown committed
4549
    my_error(ER_TABLE_CANT_HANDLE_FT, MYF(0));
unknown's avatar
unknown committed
4550
    return 1;
4551
  }
4552
  table->fulltext_searched=1;
4553 4554
  return agg_arg_collations_for_comparison(cmp_collation,
                                           args+1, arg_count-1, 0);
unknown's avatar
unknown committed
4555
}
4556

unknown's avatar
unknown committed
4557 4558 4559
bool Item_func_match::fix_index()
{
  Item_field *item;
4560
  uint ft_to_key[MAX_KEY], ft_cnt[MAX_KEY], fts=0, keynr;
4561
  uint max_cnt=0, mkeys=0, i;
4562

4563
  if (key == NO_SUCH_KEY)
4564
    return 0;
4565 4566 4567
  
  if (!table) 
    goto err;
unknown's avatar
unknown committed
4568

4569
  for (keynr=0 ; keynr < table->s->keys ; keynr++)
unknown's avatar
unknown committed
4570
  {
4571
    if ((table->key_info[keynr].flags & HA_FULLTEXT) &&
unknown's avatar
unknown committed
4572
        (table->keys_in_use_for_query.is_set(keynr)))
unknown's avatar
unknown committed
4573
    {
4574
      ft_to_key[fts]=keynr;
unknown's avatar
unknown committed
4575 4576 4577 4578 4579 4580
      ft_cnt[fts]=0;
      fts++;
    }
  }

  if (!fts)
4581
    goto err;
unknown's avatar
unknown committed
4582

4583
  for (i=1; i < arg_count; i++)
unknown's avatar
unknown committed
4584
  {
4585
    item=(Item_field*)args[i];
4586
    for (keynr=0 ; keynr < fts ; keynr++)
unknown's avatar
unknown committed
4587
    {
4588
      KEY *ft_key=&table->key_info[ft_to_key[keynr]];
unknown's avatar
unknown committed
4589 4590 4591 4592 4593
      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))
4594
	  ft_cnt[keynr]++;
unknown's avatar
unknown committed
4595 4596 4597 4598
      }
    }
  }

4599
  for (keynr=0 ; keynr < fts ; keynr++)
unknown's avatar
unknown committed
4600
  {
4601
    if (ft_cnt[keynr] > max_cnt)
unknown's avatar
unknown committed
4602
    {
4603
      mkeys=0;
4604 4605
      max_cnt=ft_cnt[mkeys]=ft_cnt[keynr];
      ft_to_key[mkeys]=ft_to_key[keynr];
4606 4607
      continue;
    }
4608
    if (max_cnt && ft_cnt[keynr] == max_cnt)
4609 4610
    {
      mkeys++;
4611 4612
      ft_cnt[mkeys]=ft_cnt[keynr];
      ft_to_key[mkeys]=ft_to_key[keynr];
4613
      continue;
unknown's avatar
unknown committed
4614 4615 4616
    }
  }

4617
  for (keynr=0 ; keynr <= mkeys ; keynr++)
unknown's avatar
unknown committed
4618
  {
4619 4620
    // partial keys doesn't work
    if (max_cnt < arg_count-1 ||
4621
        max_cnt < table->key_info[ft_to_key[keynr]].key_parts)
4622
      continue;
unknown's avatar
unknown committed
4623

4624
    key=ft_to_key[keynr];
4625

4626 4627 4628
    return 0;
  }

4629
err:
4630
  if (flags & FT_BOOL)
4631
  {
4632
    key=NO_SUCH_KEY;
4633 4634
    return 0;
  }
unknown's avatar
unknown committed
4635 4636
  my_message(ER_FT_MATCHING_KEY_NOT_FOUND,
             ER(ER_FT_MATCHING_KEY_NOT_FOUND), MYF(0));
4637
  return 1;
4638 4639
}

4640

4641
bool Item_func_match::eq(const Item *item, bool binary_cmp) const
4642
{
unknown's avatar
unknown committed
4643 4644
  if (item->type() != FUNC_ITEM ||
      ((Item_func*)item)->functype() != FT_FUNC ||
4645
      flags != ((Item_func_match*)item)->flags)
4646 4647 4648 4649 4650
    return 0;

  Item_func_match *ifm=(Item_func_match*) item;

  if (key == ifm->key && table == ifm->table &&
4651
      key_item()->eq(ifm->key_item(), binary_cmp))
4652
    return 1;
unknown's avatar
unknown committed
4653 4654 4655 4656

  return 0;
}

4657

4658
double Item_func_match::val_real()
unknown's avatar
unknown committed
4659
{
4660
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
4661
  DBUG_ENTER("Item_func_match::val");
unknown's avatar
unknown committed
4662
  if (ft_handler == NULL)
unknown's avatar
unknown committed
4663
    DBUG_RETURN(-1.0);
unknown's avatar
unknown committed
4664

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

unknown's avatar
unknown committed
4668 4669 4670
  if (join_key)
  {
    if (table->file->ft_handler)
unknown's avatar
unknown committed
4671
      DBUG_RETURN(ft_handler->please->get_relevance(ft_handler));
unknown's avatar
unknown committed
4672 4673 4674
    join_key=0;
  }

4675
  if (key == NO_SUCH_KEY)
unknown's avatar
unknown committed
4676
  {
4677 4678
    String *a= concat->val_str(&value);
    if ((null_value= (a == 0)))
unknown's avatar
unknown committed
4679 4680 4681
      DBUG_RETURN(0);
    DBUG_RETURN(ft_handler->please->find_relevance(ft_handler,
				      (byte *)a->ptr(), a->length()));
unknown's avatar
unknown committed
4682
  }
unknown's avatar
unknown committed
4683 4684
  DBUG_RETURN(ft_handler->please->find_relevance(ft_handler,
                                                 table->record[0], 0));
unknown's avatar
unknown committed
4685 4686
}

4687 4688
void Item_func_match::print(String *str)
{
4689
  str->append(STRING_WITH_LEN("(match "));
unknown's avatar
unknown committed
4690
  print_args(str, 1);
4691
  str->append(STRING_WITH_LEN(" against ("));
4692
  args[0]->print(str);
unknown's avatar
unknown committed
4693
  if (flags & FT_BOOL)
4694
    str->append(STRING_WITH_LEN(" in boolean mode"));
unknown's avatar
unknown committed
4695
  else if (flags & FT_EXPAND)
4696 4697
    str->append(STRING_WITH_LEN(" with query expansion"));
  str->append(STRING_WITH_LEN("))"));
4698
}
unknown's avatar
unknown committed
4699

unknown's avatar
unknown committed
4700 4701
longlong Item_func_bit_xor::val_int()
{
4702
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
4703 4704
  ulonglong arg1= (ulonglong) args[0]->val_int();
  ulonglong arg2= (ulonglong) args[1]->val_int();
4705
  if ((null_value= (args[0]->null_value || args[1]->null_value)))
unknown's avatar
unknown committed
4706 4707 4708 4709
    return 0;
  return (longlong) (arg1 ^ arg2);
}

4710

4711 4712 4713 4714
/***************************************************************************
  System variables
****************************************************************************/

4715 4716 4717 4718 4719 4720 4721 4722 4723 4724 4725 4726 4727 4728 4729 4730 4731
/*
  Return value of an system variable base[.name] as a constant item

  SYNOPSIS
    get_system_var()
    thd			Thread handler
    var_type		global / session
    name		Name of base or system variable
    component		Component.

  NOTES
    If component.str = 0 then the variable name is in 'name'

  RETURN
    0	error
    #	constant item
*/
4732

4733 4734 4735

Item *get_system_var(THD *thd, enum_var_type var_type, LEX_STRING name,
		     LEX_STRING component)
4736
{
4737 4738 4739
  sys_var *var;
  LEX_STRING *base_name, *component_name;

4740 4741 4742 4743 4744 4745 4746 4747 4748 4749
  if (component.str)
  {
    base_name= &component;
    component_name= &name;
  }
  else
  {
    base_name= &name;
    component_name= &component;			// Empty string
  }
unknown's avatar
unknown committed
4750

4751
  if (!(var= find_sys_var(base_name->str, base_name->length)))
unknown's avatar
unknown committed
4752
    return 0;
4753 4754 4755 4756
  if (component.str)
  {
    if (!var->is_struct())
    {
4757
      my_error(ER_VARIABLE_IS_NOT_STRUCT, MYF(0), base_name->str);
4758 4759 4760
      return 0;
    }
  }
unknown's avatar
unknown committed
4761
  thd->lex->uncacheable(UNCACHEABLE_SIDEEFFECT);
4762

4763 4764
  set_if_smaller(component_name->length, MAX_SYS_VAR_LENGTH);

4765
  return new Item_func_get_system_var(var, var_type, component_name,
4766
                                      NULL, 0);
4767 4768 4769
}


unknown's avatar
unknown committed
4770 4771
/*
  Check a user level lock.
4772 4773 4774 4775 4776 4777 4778 4779

  SYNOPSIS:
    val_int()

  RETURN VALUES
    1		Available
    0		Already taken
    NULL	Error
unknown's avatar
unknown committed
4780 4781
*/

4782
longlong Item_func_is_free_lock::val_int()
unknown's avatar
unknown committed
4783
{
4784
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
4785
  String *res=args[0]->val_str(&value);
4786
  User_level_lock *ull;
unknown's avatar
unknown committed
4787 4788

  null_value=0;
4789
  if (!res || !res->length())
unknown's avatar
unknown committed
4790 4791 4792 4793 4794 4795
  {
    null_value=1;
    return 0;
  }
  
  pthread_mutex_lock(&LOCK_user_locks);
4796
  ull= (User_level_lock *) hash_search(&hash_user_locks, (byte*) res->ptr(),
unknown's avatar
unknown committed
4797 4798 4799 4800 4801 4802
			  res->length());
  pthread_mutex_unlock(&LOCK_user_locks);
  if (!ull || !ull->locked)
    return 1;
  return 0;
}
unknown's avatar
unknown committed
4803

unknown's avatar
SCRUM  
unknown committed
4804 4805
longlong Item_func_is_used_lock::val_int()
{
4806
  DBUG_ASSERT(fixed == 1);
unknown's avatar
SCRUM  
unknown committed
4807
  String *res=args[0]->val_str(&value);
4808
  User_level_lock *ull;
unknown's avatar
SCRUM  
unknown committed
4809 4810 4811 4812 4813 4814

  null_value=1;
  if (!res || !res->length())
    return 0;
  
  pthread_mutex_lock(&LOCK_user_locks);
4815
  ull= (User_level_lock *) hash_search(&hash_user_locks, (byte*) res->ptr(),
unknown's avatar
SCRUM  
unknown committed
4816 4817 4818 4819 4820 4821 4822 4823 4824
			  res->length());
  pthread_mutex_unlock(&LOCK_user_locks);
  if (!ull || !ull->locked)
    return 0;

  null_value=0;
  return ull->thread_id;
}

4825

4826 4827 4828 4829 4830 4831 4832 4833 4834
longlong Item_func_row_count::val_int()
{
  DBUG_ASSERT(fixed == 1);
  THD *thd= current_thd;

  return thd->row_count_func;
}


4835 4836 4837
Item_func_sp::Item_func_sp(Name_resolution_context *context_arg, sp_name *name)
  :Item_func(), context(context_arg), m_name(name), m_sp(NULL),
   result_field(NULL)
4838
{
unknown's avatar
unknown committed
4839
  maybe_null= 1;
4840
  m_name->init_qname(current_thd);
unknown's avatar
unknown committed
4841 4842
  dummy_table= (TABLE*) sql_calloc(sizeof(TABLE)+ sizeof(TABLE_SHARE));
  dummy_table->s= (TABLE_SHARE*) (dummy_table+1);
4843 4844
}

unknown's avatar
unknown committed
4845

4846 4847 4848 4849
Item_func_sp::Item_func_sp(Name_resolution_context *context_arg,
                           sp_name *name, List<Item> &list)
  :Item_func(list), context(context_arg), m_name(name), m_sp(NULL),
   result_field(NULL)
4850
{
unknown's avatar
unknown committed
4851
  maybe_null= 1;
4852
  m_name->init_qname(current_thd);
unknown's avatar
unknown committed
4853 4854
  dummy_table= (TABLE*) sql_calloc(sizeof(TABLE)+ sizeof(TABLE_SHARE));
  dummy_table->s= (TABLE_SHARE*) (dummy_table+1);
4855 4856
}

unknown's avatar
unknown committed
4857

4858 4859 4860 4861 4862 4863 4864 4865
void
Item_func_sp::cleanup()
{
  if (result_field)
  {
    delete result_field;
    result_field= NULL;
  }
4866
  m_sp= NULL;
4867 4868
  Item_func::cleanup();
}
unknown's avatar
unknown committed
4869

4870 4871 4872
const char *
Item_func_sp::func_name() const
{
4873
  THD *thd= current_thd;
unknown's avatar
unknown committed
4874
  /* Calculate length to avoid reallocation of string for sure */
4875 4876 4877 4878
  uint len= ((m_name->m_db.length +
              m_name->m_name.length)*2 + //characters*quoting
             2 +                         // ` and `
             1 +                         // .
4879 4880
             1 +                         // end of string
             ALIGN_SIZE(1));             // to avoid String reallocation
unknown's avatar
unknown committed
4881
  String qname((char *)alloc_root(thd->mem_root, len), len,
4882
               system_charset_info);
4883

4884 4885 4886 4887 4888
  qname.length(0);
  append_identifier(thd, &qname, m_name->m_db.str, m_name->m_db.length);
  qname.append('.');
  append_identifier(thd, &qname, m_name->m_name.str, m_name->m_name.length);
  return qname.ptr();
4889 4890
}

4891

unknown's avatar
unknown committed
4892 4893 4894
Field *
Item_func_sp::sp_result_field(void) const
{
unknown's avatar
unknown committed
4895
  Field *field;
unknown's avatar
unknown committed
4896
  DBUG_ENTER("Item_func_sp::sp_result_field");
4897 4898 4899 4900
  DBUG_PRINT("info", ("sp: %s, flags: %x, level: %lu",
                      (m_sp ? "YES" : "NO"),
                      (m_sp ? m_sp->m_flags : (uint)0),
                      (m_sp ? m_sp->m_recursion_level : (ulong)0)));
unknown's avatar
unknown committed
4901 4902

  if (!m_sp)
unknown's avatar
unknown committed
4903
  {
4904 4905 4906
    THD *thd= current_thd;
    if (!(m_sp= sp_find_routine(thd, TYPE_ENUM_FUNCTION, m_name,
                                &thd->sp_func_cache, TRUE)))
unknown's avatar
unknown committed
4907
    {
unknown's avatar
unknown committed
4908 4909
      my_error(ER_SP_DOES_NOT_EXIST, MYF(0), "FUNCTION", m_name->m_qname.str);
      DBUG_RETURN(0);
unknown's avatar
unknown committed
4910 4911
    }
  }
unknown's avatar
unknown committed
4912
  if (!dummy_table->alias)
unknown's avatar
unknown committed
4913 4914
  {
    char *empty_name= (char *) "";
unknown's avatar
unknown committed
4915 4916
    dummy_table->alias= empty_name;
    dummy_table->maybe_null= maybe_null;
unknown's avatar
unknown committed
4917
    dummy_table->in_use= current_thd;
4918
    dummy_table->copy_blobs= TRUE;
unknown's avatar
unknown committed
4919 4920 4921
    dummy_table->s->table_cache_key.str = empty_name;
    dummy_table->s->table_name.str= empty_name;
    dummy_table->s->db.str= empty_name;
unknown's avatar
unknown committed
4922
  }
4923 4924 4925
  if (!(field= m_sp->create_result_field(max_length, name, dummy_table)))
    my_message(ER_OUT_OF_RESOURCES, ER(ER_OUT_OF_RESOURCES), MYF(0));

4926
  DBUG_RETURN(field);
unknown's avatar
unknown committed
4927 4928 4929
}


unknown's avatar
unknown committed
4930 4931 4932 4933 4934 4935 4936 4937
/*
  Execute function & store value in field

  RETURN
   0  value <> NULL
   1  value =  NULL  or error
*/

4938
bool
4939 4940
Item_func_sp::execute(Field **flp)
{
4941
  THD *thd= current_thd;
4942
  Field *f;
4943 4944 4945 4946 4947 4948

  /*
    Get field in virtual tmp table to store result. Create the field if
    invoked first time.
  */
  
4949 4950
  if (!(f= *flp))
  {
4951 4952
    if (!(*flp= f= sp_result_field()))
    {
4953 4954 4955
      /* Error set by sp_result_field() */
      null_value= 1;
      return TRUE;
4956 4957 4958
    }

    f->move_field((f->pack_length() > sizeof(result_buf)) ?
4959 4960 4961 4962
                  sql_alloc(f->pack_length()) : result_buf);
    f->null_ptr= (uchar *)&null_value;
    f->null_bit= 1;
  }
4963 4964 4965 4966 4967 4968 4969 4970 4971 4972 4973 4974 4975 4976 4977

  /* Execute function and store the return value in the field. */

  if (execute_impl(thd, f))
  {
    null_value= 1;
    context->process_error(thd);
    return TRUE;
  }

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

  null_value= f->is_null();

  return null_value;
4978 4979 4980
}


4981 4982
bool
Item_func_sp::execute_impl(THD *thd, Field *return_value_fld)
4983
{
4984
  bool err_status= TRUE;
4985
  Sub_statement_state statement_state;
4986 4987 4988
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  Security_context *save_security_ctx= thd->security_ctx;
#endif
4989

4990 4991
  DBUG_ENTER("Item_func_sp::execute_impl");

4992 4993 4994 4995 4996 4997 4998
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  if (context->security_ctx)
  {
    /* Set view definer security context */
    thd->security_ctx= context->security_ctx;
  }
#endif
4999
  if (find_and_check_access(thd))
5000
    goto error;
5001

5002 5003 5004 5005 5006 5007 5008 5009 5010 5011 5012 5013
  /*
    Throw an error if a non-deterministic function is called while
    statement-based replication (SBR) is active.
  */
  if (!m_sp->m_chistics->detistic &&
      (mysql_bin_log.is_open() &&
       thd->variables.binlog_format == BINLOG_FORMAT_STMT))
  {
    my_error(ER_BINLOG_ROW_RBR_TO_SBR, MYF(0));
    goto error;
  }

5014 5015 5016 5017 5018
  /*
    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.
  */
5019
  thd->reset_sub_statement_state(&statement_state, SUB_STMT_FUNCTION);
5020
  err_status= m_sp->execute_function(thd, args, arg_count, return_value_fld);
5021
  thd->restore_sub_statement_state(&statement_state);
unknown's avatar
unknown committed
5022

5023
error:
5024
#ifndef NO_EMBEDDED_ACCESS_CHECKS
unknown's avatar
unknown committed
5025
  thd->security_ctx= save_security_ctx;
5026
#endif
5027

5028
  DBUG_RETURN(err_status);
5029 5030
}

5031

unknown's avatar
unknown committed
5032 5033 5034 5035 5036 5037 5038 5039 5040 5041 5042 5043 5044 5045 5046 5047
void
Item_func_sp::make_field(Send_field *tmp_field)
{
  Field *field;
  DBUG_ENTER("Item_func_sp::make_field");
  if ((field= sp_result_field()))
  {
    field->make_field(tmp_field);
    delete field;
    DBUG_VOID_RETURN;
  }
  init_make_field(tmp_field, MYSQL_TYPE_VARCHAR);  
  DBUG_VOID_RETURN;
}


5048 5049
enum enum_field_types
Item_func_sp::field_type() const
5050
{
unknown's avatar
unknown committed
5051
  Field *field;
5052
  DBUG_ENTER("Item_func_sp::field_type");
5053

5054 5055
  if (result_field)
    DBUG_RETURN(result_field->type());
unknown's avatar
unknown committed
5056
  if ((field= sp_result_field()))
5057
  {
unknown's avatar
unknown committed
5058 5059 5060
    enum_field_types result= field->type();
    delete field;
    DBUG_RETURN(result);
5061
  }
5062
  DBUG_RETURN(MYSQL_TYPE_VARCHAR);
5063 5064
}

5065

5066 5067
Item_result
Item_func_sp::result_type() const
5068
{
unknown's avatar
unknown committed
5069
  Field *field;
5070 5071
  DBUG_ENTER("Item_func_sp::result_type");
  DBUG_PRINT("info", ("m_sp = %p", m_sp));
5072

5073 5074
  if (result_field)
    DBUG_RETURN(result_field->result_type());
unknown's avatar
unknown committed
5075
  if ((field= sp_result_field()))
5076
  {
unknown's avatar
unknown committed
5077 5078 5079
    Item_result result= field->result_type();
    delete field;
    DBUG_RETURN(result);
5080
  }
5081
  DBUG_RETURN(STRING_RESULT);
5082 5083 5084 5085 5086
}

void
Item_func_sp::fix_length_and_dec()
{
unknown's avatar
unknown committed
5087
  Field *field;
5088 5089
  DBUG_ENTER("Item_func_sp::fix_length_and_dec");

5090 5091 5092
  if (result_field)
  {
    decimals= result_field->decimals();
unknown's avatar
unknown committed
5093
    max_length= result_field->field_length;
5094
    collation.set(result_field->charset());
5095 5096 5097
    DBUG_VOID_RETURN;
  }

unknown's avatar
unknown committed
5098
  if (!(field= sp_result_field()))
5099 5100
  {
    context->process_error(current_thd);
unknown's avatar
unknown committed
5101
    DBUG_VOID_RETURN;
5102
  }
unknown's avatar
unknown committed
5103
  decimals= field->decimals();
unknown's avatar
merge  
unknown committed
5104
  max_length= field->field_length;
5105
  collation.set(field->charset());
unknown's avatar
merge  
unknown committed
5106
  maybe_null= 1;
unknown's avatar
unknown committed
5107
  delete field;
5108 5109
  DBUG_VOID_RETURN;
}
unknown's avatar
unknown committed
5110 5111


5112 5113 5114
longlong Item_func_found_rows::val_int()
{
  DBUG_ASSERT(fixed == 1);
unknown's avatar
unknown committed
5115
  return current_thd->found_rows();
5116
}
unknown's avatar
unknown committed
5117

unknown's avatar
unknown committed
5118

unknown's avatar
unknown committed
5119 5120 5121
Field *
Item_func_sp::tmp_table_field(TABLE *t_arg)
{
5122
  Field *field= 0;
unknown's avatar
unknown committed
5123 5124 5125
  DBUG_ENTER("Item_func_sp::tmp_table_field");

  if (m_sp)
5126
    field= m_sp->create_result_field(max_length, (const char*) name, t_arg);
unknown's avatar
unknown committed
5127
  
5128 5129
  if (!field) 
    field= Item_func::tmp_table_field(t_arg);
unknown's avatar
unknown committed
5130

5131
  if (!field)
5132 5133
    my_message(ER_OUT_OF_RESOURCES, ER(ER_OUT_OF_RESOURCES), MYF(0));

5134
  DBUG_RETURN(field);
unknown's avatar
unknown committed
5135
}
5136

unknown's avatar
unknown committed
5137

5138
/*
5139
  Find the function and check access rights to the function
5140 5141

  SYNOPSIS
unknown's avatar
unknown committed
5142 5143
    find_and_check_access()
    thd           thread handler
5144 5145

  RETURN
unknown's avatar
unknown committed
5146 5147
    FALSE    Access granted
    TRUE     Requested access can't be granted or function doesn't exists
5148 5149 5150 5151 5152

  NOTES
    Checks if requested access to function can be granted to user.
    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
5153
    error is raised.
5154
*/
unknown's avatar
unknown committed
5155

5156
bool
5157
Item_func_sp::find_and_check_access(THD *thd)
5158
{
5159 5160
  if (! m_sp && ! (m_sp= sp_find_routine(thd, TYPE_ENUM_FUNCTION, m_name,
                                         &thd->sp_func_cache, TRUE)))
5161 5162
  {
    my_error(ER_SP_DOES_NOT_EXIST, MYF(0), "FUNCTION", m_name->m_qname.str);
5163
    return TRUE;
5164 5165
  }

unknown's avatar
unknown committed
5166
#ifndef NO_EMBEDDED_ACCESS_CHECKS
5167
  if (check_routine_access(thd, EXECUTE_ACL,
unknown's avatar
unknown committed
5168
			   m_sp->m_db.str, m_sp->m_name.str, 0, FALSE))
5169
    return TRUE;
5170
#endif
unknown's avatar
unknown committed
5171

5172
  return FALSE;
unknown's avatar
unknown committed
5173
}
5174

5175

5176 5177 5178 5179 5180 5181
bool
Item_func_sp::fix_fields(THD *thd, Item **ref)
{
  bool res;
  DBUG_ASSERT(fixed == 0);
  res= Item_func::fix_fields(thd, ref);
5182
  if (!res && thd->lex->view_prepare_mode)
unknown's avatar
unknown committed
5183
  {
5184 5185
    /*
      Here we check privileges of the stored routine only during view
5186 5187 5188 5189 5190 5191 5192
      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.
5193
    */
5194 5195 5196 5197 5198 5199 5200 5201 5202
    res= find_and_check_access(thd);
#ifndef NO_EMBEDDED_ACCESS_CHECKS
    Security_context *save_secutiry_ctx;
    if (!res && !(res= set_routine_security_ctx(thd, m_sp, false,
                                                &save_secutiry_ctx)))
    {
      sp_restore_security_context(thd, save_secutiry_ctx);
    }
#endif /* ! NO_EMBEDDED_ACCESS_CHECKS */
unknown's avatar
unknown committed
5203
  }
5204 5205
  return res;
}