sp_head.cc 103 KB
Newer Older
1
/* Copyright 2002-2008 MySQL AB, 2008 Sun Microsystems, Inc.
2 3 4

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
unknown's avatar
unknown committed
5
   the Free Software Foundation; version 2 of the License.
6 7 8 9 10 11 12 13 14 15

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

16
#include "mysql_priv.h"
17
#ifdef USE_PRAGMA_IMPLEMENTATION
18 19 20
#pragma implementation
#endif
#include "sp_head.h"
21
#include "sp.h"
22 23
#include "sp_pcontext.h"
#include "sp_rcontext.h"
24
#include "sp_cache.h"
25

unknown's avatar
unknown committed
26 27 28 29 30 31 32
/*
  Sufficient max length of printed destinations and frame offsets (all uints).
*/
#define SP_INSTR_UINT_MAXLEN  8
#define SP_STMT_PRINT_MAXLEN 40


33 34
#include <my_user.h>

35 36
extern "C" uchar *sp_table_key(const uchar *ptr, size_t *plen, my_bool first);

37 38 39
Item_result
sp_map_result_type(enum enum_field_types type)
{
40
  switch (type) {
41
  case MYSQL_TYPE_BIT:
42 43 44 45 46 47 48
  case MYSQL_TYPE_TINY:
  case MYSQL_TYPE_SHORT:
  case MYSQL_TYPE_LONG:
  case MYSQL_TYPE_LONGLONG:
  case MYSQL_TYPE_INT24:
    return INT_RESULT;
  case MYSQL_TYPE_DECIMAL:
unknown's avatar
unknown committed
49 50
  case MYSQL_TYPE_NEWDECIMAL:
    return DECIMAL_RESULT;
51 52 53 54 55 56 57 58
  case MYSQL_TYPE_FLOAT:
  case MYSQL_TYPE_DOUBLE:
    return REAL_RESULT;
  default:
    return STRING_RESULT;
  }
}

59 60 61 62 63

Item::Type
sp_map_item_type(enum enum_field_types type)
{
  switch (type) {
64
  case MYSQL_TYPE_BIT:
65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82
  case MYSQL_TYPE_TINY:
  case MYSQL_TYPE_SHORT:
  case MYSQL_TYPE_LONG:
  case MYSQL_TYPE_LONGLONG:
  case MYSQL_TYPE_INT24:
    return Item::INT_ITEM;
  case MYSQL_TYPE_DECIMAL:
  case MYSQL_TYPE_NEWDECIMAL:
    return Item::DECIMAL_ITEM;
  case MYSQL_TYPE_FLOAT:
  case MYSQL_TYPE_DOUBLE:
    return Item::REAL_ITEM;
  default:
    return Item::STRING_ITEM;
  }
}


unknown's avatar
unknown committed
83
/**
84 85
  Return a string representation of the Item value.

unknown's avatar
unknown committed
86 87
  @param thd     thread handle
  @param str     string buffer for representation of the value
88

unknown's avatar
unknown committed
89 90 91
  @note
    If the item has a string result type, the string is escaped
    according to its character set.
92

unknown's avatar
unknown committed
93 94 95 96
  @retval
    NULL      on error
  @retval
    non-NULL  a pointer to valid a valid string on success
97 98 99
*/

static String *
100
sp_get_item_value(THD *thd, Item *item, String *str)
101 102 103 104 105
{
  switch (item->result_type()) {
  case REAL_RESULT:
  case INT_RESULT:
  case DECIMAL_RESULT:
106 107 108
    if (item->field_type() != MYSQL_TYPE_BIT)
      return item->val_str(str);
    else {/* Bit type is handled as binary string */}
109 110 111 112 113 114 115
  case STRING_RESULT:
    {
      String *result= item->val_str(str);
      
      if (!result)
        return NULL;
      
116 117 118
      {
        char buf_holder[STRING_BUFFER_USUAL_SIZE];
        String buf(buf_holder, sizeof(buf_holder), result->charset());
119
        CHARSET_INFO *cs= thd->variables.character_set_client;
120 121 122 123 124 125

        /* We must reset length of the buffer, because of String specificity. */
        buf.length(0);

        buf.append('_');
        buf.append(result->charset()->csname);
126
        if (cs->escape_with_backslash_is_dangerous)
127
          buf.append(' ');
128
        append_query_string(cs, result, &buf);
129 130 131
        buf.append(" COLLATE '");
        buf.append(item->collation.collation->name);
        buf.append('\'');
132 133 134 135
        str->copy(buf);

        return str;
      }
136 137 138 139 140 141 142 143 144
    }

  case ROW_RESULT:
  default:
    return NULL;
  }
}


unknown's avatar
unknown committed
145 146 147 148 149 150
/**
   Returns a combination of:
   - sp_head::MULTI_RESULTS: added if the 'cmd' is a command that might
     result in multiple result sets being sent back.
   - sp_head::CONTAINS_DYNAMIC_SQL: added if 'cmd' is one of PREPARE,
     EXECUTE, DEALLOCATE.
151 152 153 154
*/

uint
sp_get_flags_for_command(LEX *lex)
155
{
156 157 158 159 160 161 162 163 164 165
  uint flags;

  switch (lex->sql_command) {
  case SQLCOM_SELECT:
    if (lex->result)
    {
      flags= 0;                      /* This is a SELECT with INTO clause */
      break;
    }
    /* fallthrough */
166
  case SQLCOM_ANALYZE:
167
  case SQLCOM_BACKUP_TABLE:
168 169 170
  case SQLCOM_OPTIMIZE:
  case SQLCOM_PRELOAD_KEYS:
  case SQLCOM_ASSIGN_TO_KEYCACHE:
171
  case SQLCOM_CHECKSUM:
172
  case SQLCOM_CHECK:
173
  case SQLCOM_HA_READ:
174
  case SQLCOM_SHOW_AUTHORS:
175 176 177 178 179
  case SQLCOM_SHOW_BINLOGS:
  case SQLCOM_SHOW_BINLOG_EVENTS:
  case SQLCOM_SHOW_CHARSETS:
  case SQLCOM_SHOW_COLLATIONS:
  case SQLCOM_SHOW_COLUMN_TYPES:
180
  case SQLCOM_SHOW_CONTRIBUTORS:
181 182 183 184
  case SQLCOM_SHOW_CREATE:
  case SQLCOM_SHOW_CREATE_DB:
  case SQLCOM_SHOW_CREATE_FUNC:
  case SQLCOM_SHOW_CREATE_PROC:
185
  case SQLCOM_SHOW_CREATE_EVENT:
unknown's avatar
unknown committed
186
  case SQLCOM_SHOW_CREATE_TRIGGER:
187 188 189
  case SQLCOM_SHOW_DATABASES:
  case SQLCOM_SHOW_ERRORS:
  case SQLCOM_SHOW_FIELDS:
190
  case SQLCOM_SHOW_FUNC_CODE:
191
  case SQLCOM_SHOW_GRANTS:
192 193 194
  case SQLCOM_SHOW_ENGINE_STATUS:
  case SQLCOM_SHOW_ENGINE_LOGS:
  case SQLCOM_SHOW_ENGINE_MUTEX:
195
  case SQLCOM_SHOW_EVENTS:
196 197 198 199 200 201
  case SQLCOM_SHOW_KEYS:
  case SQLCOM_SHOW_MASTER_STAT:
  case SQLCOM_SHOW_NEW_MASTER:
  case SQLCOM_SHOW_OPEN_TABLES:
  case SQLCOM_SHOW_PRIVILEGES:
  case SQLCOM_SHOW_PROCESSLIST:
202
  case SQLCOM_SHOW_PROC_CODE:
203 204 205 206 207 208 209
  case SQLCOM_SHOW_SLAVE_HOSTS:
  case SQLCOM_SHOW_SLAVE_STAT:
  case SQLCOM_SHOW_STATUS:
  case SQLCOM_SHOW_STATUS_FUNC:
  case SQLCOM_SHOW_STATUS_PROC:
  case SQLCOM_SHOW_STORAGE_ENGINES:
  case SQLCOM_SHOW_TABLES:
210
  case SQLCOM_SHOW_TABLE_STATUS:
211 212
  case SQLCOM_SHOW_VARIABLES:
  case SQLCOM_SHOW_WARNS:
213 214
  case SQLCOM_REPAIR:
  case SQLCOM_RESTORE_TABLE:
215 216 217 218 219 220 221 222 223 224 225 226 227 228 229
    flags= sp_head::MULTI_RESULTS;
    break;
  /*
    EXECUTE statement may return a result set, but doesn't have to.
    We can't, however, know it in advance, and therefore must add
    this statement here. This is ok, as is equivalent to a result-set
    statement within an IF condition.
  */
  case SQLCOM_EXECUTE:
    flags= sp_head::MULTI_RESULTS | sp_head::CONTAINS_DYNAMIC_SQL;
    break;
  case SQLCOM_PREPARE:
  case SQLCOM_DEALLOCATE_PREPARE:
    flags= sp_head::CONTAINS_DYNAMIC_SQL;
    break;
230 231 232 233 234 235 236 237 238 239 240 241
  case SQLCOM_CREATE_TABLE:
    if (lex->create_info.options & HA_LEX_CREATE_TMP_TABLE)
      flags= 0;
    else
      flags= sp_head::HAS_COMMIT_OR_ROLLBACK;
    break;
  case SQLCOM_DROP_TABLE:
    if (lex->drop_temporary)
      flags= 0;
    else
      flags= sp_head::HAS_COMMIT_OR_ROLLBACK;
    break;
242 243 244 245 246 247
  case SQLCOM_FLUSH:
    flags= sp_head::HAS_SQLCOM_FLUSH;
    break;
  case SQLCOM_RESET:
    flags= sp_head::HAS_SQLCOM_RESET;
    break;
248 249 250 251 252 253
  case SQLCOM_CREATE_INDEX:
  case SQLCOM_CREATE_DB:
  case SQLCOM_CREATE_VIEW:
  case SQLCOM_CREATE_TRIGGER:
  case SQLCOM_CREATE_USER:
  case SQLCOM_ALTER_TABLE:
254 255
  case SQLCOM_GRANT:
  case SQLCOM_REVOKE:
256 257 258 259 260
  case SQLCOM_BEGIN:
  case SQLCOM_RENAME_TABLE:
  case SQLCOM_RENAME_USER:
  case SQLCOM_DROP_INDEX:
  case SQLCOM_DROP_DB:
261
  case SQLCOM_REVOKE_ALL:
262 263 264 265 266 267
  case SQLCOM_DROP_USER:
  case SQLCOM_DROP_VIEW:
  case SQLCOM_DROP_TRIGGER:
  case SQLCOM_TRUNCATE:
  case SQLCOM_COMMIT:
  case SQLCOM_ROLLBACK:
268
  case SQLCOM_LOAD:
269 270 271 272 273 274 275 276
  case SQLCOM_LOAD_MASTER_DATA:
  case SQLCOM_LOCK_TABLES:
  case SQLCOM_CREATE_PROCEDURE:
  case SQLCOM_CREATE_SPFUNCTION:
  case SQLCOM_ALTER_PROCEDURE:
  case SQLCOM_ALTER_FUNCTION:
  case SQLCOM_DROP_PROCEDURE:
  case SQLCOM_DROP_FUNCTION:
277 278 279
  case SQLCOM_CREATE_EVENT:
  case SQLCOM_ALTER_EVENT:
  case SQLCOM_DROP_EVENT:
280 281
  case SQLCOM_INSTALL_PLUGIN:
  case SQLCOM_UNINSTALL_PLUGIN:
282 283
    flags= sp_head::HAS_COMMIT_OR_ROLLBACK;
    break;
284
  default:
285 286
    flags= 0;
    break;
287
  }
288
  return flags;
289 290
}

unknown's avatar
unknown committed
291
/**
292
  Prepare an Item for evaluation (call of fix_fields).
293

unknown's avatar
unknown committed
294 295
  @param thd       thread handler
  @param it_addr   pointer on item refernce
296

unknown's avatar
unknown committed
297 298 299 300
  @retval
    NULL      error
  @retval
    non-NULL  prepared item
301 302
*/

303
Item *
304 305 306
sp_prepare_func_item(THD* thd, Item **it_addr)
{
  DBUG_ENTER("sp_prepare_func_item");
307
  it_addr= (*it_addr)->this_item_addr(thd, it_addr);
308

309 310 311
  if (!(*it_addr)->fixed &&
      ((*it_addr)->fix_fields(thd, it_addr) ||
       (*it_addr)->check_cols(1)))
312 313 314 315 316 317 318 319
  {
    DBUG_PRINT("info", ("fix_fields() failed"));
    DBUG_RETURN(NULL);
  }
  DBUG_RETURN(*it_addr);
}


unknown's avatar
unknown committed
320
/**
321
  Evaluate an expression and store the result in the field.
322

unknown's avatar
unknown committed
323 324 325
  @param thd                    current thread object
  @param result_field           the field to store the result
  @param expr_item_ptr          the root item of the expression
326

unknown's avatar
unknown committed
327
  @retval
328
    FALSE  on success
unknown's avatar
unknown committed
329
  @retval
330
    TRUE   on error
331
*/
332

333
bool
334
sp_eval_expr(THD *thd, Field *result_field, Item **expr_item_ptr)
335
{
336 337
  Item *expr_item;

338
  DBUG_ENTER("sp_eval_expr");
339

unknown's avatar
unknown committed
340
  if (!*expr_item_ptr)
341
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
342

343
  if (!(expr_item= sp_prepare_func_item(thd, expr_item_ptr)))
344
    DBUG_RETURN(TRUE);
345

346
  bool err_status= FALSE;
347

348 349 350
  /*
    Set THD flags to emit warnings/errors in case of overflow/type errors
    during saving the item into the field.
351

352 353 354 355 356
    Save original values and restore them after save.
  */
  
  enum_check_fields save_count_cuted_fields= thd->count_cuted_fields;
  bool save_abort_on_warning= thd->abort_on_warning;
unknown's avatar
unknown committed
357
  bool save_stmt_modified_non_trans_table= thd->transaction.stmt.modified_non_trans_table;
358

359 360 361 362
  thd->count_cuted_fields= CHECK_FIELD_ERROR_FOR_NULL;
  thd->abort_on_warning=
    thd->variables.sql_mode &
    (MODE_STRICT_TRANS_TABLES | MODE_STRICT_ALL_TABLES);
unknown's avatar
unknown committed
363
  thd->transaction.stmt.modified_non_trans_table= FALSE;
364

365
  /* Save the value in the field. Convert the value if needed. */
366

367
  expr_item->save_in_field(result_field, 0);
368

369 370
  thd->count_cuted_fields= save_count_cuted_fields;
  thd->abort_on_warning= save_abort_on_warning;
unknown's avatar
unknown committed
371
  thd->transaction.stmt.modified_non_trans_table= save_stmt_modified_non_trans_table;
372

373
  if (thd->is_error())
374
  {
375 376
    /* Return error status if something went wrong. */
    err_status= TRUE;
377
  }
378 379

  DBUG_RETURN(err_status);
380 381
}

382 383 384 385 386 387 388

/*
 *
 *  sp_name
 *
 */

389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411
sp_name::sp_name(THD *thd, char *key, uint key_len)
{
  m_sroutines_key.str= key;
  m_sroutines_key.length= key_len;
  m_qname.str= ++key;
  m_qname.length= key_len - 1;
  if ((m_name.str= strchr(m_qname.str, '.')))
  {
    m_db.length= m_name.str - key;
    m_db.str= strmake_root(thd->mem_root, key, m_db.length);
    m_name.str++;
    m_name.length= m_qname.length - m_db.length - 1;
  }
  else
  {
    m_name.str= m_qname.str;
    m_name.length= m_qname.length;
    m_db.str= 0;
    m_db.length= 0;
  }
  m_explicit_name= false;
}

412

unknown's avatar
unknown committed
413 414 415
/**
  Init the qualified name from the db and name.
*/
416 417 418
void
sp_name::init_qname(THD *thd)
{
419 420 421
  const uint dot= !!m_db.length;
  /* m_sroutines format: m_type + [database + dot] + name + nul */
  m_sroutines_key.length= 1 + m_db.length + dot + m_name.length;
422
  if (!(m_sroutines_key.str= (char*) thd->alloc(m_sroutines_key.length + 1)))
423 424 425
    return;
  m_qname.length= m_sroutines_key.length - 1;
  m_qname.str= m_sroutines_key.str + 1;
426 427 428 429
  sprintf(m_qname.str, "%.*s%.*s%.*s",
          (int) m_db.length, (m_db.length ? m_db.str : ""),
          dot, ".",
          (int) m_name.length, m_name.str);
430 431
}

432

unknown's avatar
unknown committed
433 434
/**
  Check that the name 'ident' is ok.  It's assumed to be an 'ident'
unknown's avatar
unknown committed
435 436 437 438
  from the parser, so we only have to check length and trailing spaces.
  The former is a standard requirement (and 'show status' assumes a
  non-empty name), the latter is a mysql:ism as trailing spaces are
  removed by get_field().
unknown's avatar
unknown committed
439 440 441 442 443

  @retval
    TRUE    bad name
  @retval
    FALSE   name is ok
unknown's avatar
unknown committed
444
*/
445 446

bool
447
check_routine_name(LEX_STRING *ident)
448
{
449 450
  if (!ident || !ident->str || !ident->str[0] ||
      ident->str[ident->length-1] == ' ')
unknown's avatar
unknown committed
451
  { 
452 453 454 455 456 457 458 459 460 461 462
    my_error(ER_SP_WRONG_NAME, MYF(0), ident->str);
    return TRUE;
  }
  if (check_string_char_length(ident, "", NAME_CHAR_LEN,
                               system_charset_info, 1))
  {
    my_error(ER_TOO_LONG_IDENT, MYF(0), ident->str);
    return TRUE;
  }

  return FALSE;
463
}
464

465 466 467 468 469 470 471

/*
 *
 *  sp_head
 *
 */

472
void *
473
sp_head::operator new(size_t size) throw()
474 475 476 477 478
{
  DBUG_ENTER("sp_head::operator new");
  MEM_ROOT own_root;
  sp_head *sp;

479
  init_sql_alloc(&own_root, MEM_ROOT_BLOCK_SIZE, MEM_ROOT_PREALLOC);
unknown's avatar
unknown committed
480
  sp= (sp_head *) alloc_root(&own_root, size);
481
  if (sp == NULL)
482
    DBUG_RETURN(NULL);
unknown's avatar
unknown committed
483
  sp->main_mem_root= own_root;
484
  DBUG_PRINT("info", ("mem_root 0x%lx", (ulong) &sp->mem_root));
485 486 487 488
  DBUG_RETURN(sp);
}

void 
unknown's avatar
unknown committed
489
sp_head::operator delete(void *ptr, size_t size) throw()
490 491 492
{
  DBUG_ENTER("sp_head::operator delete");
  MEM_ROOT own_root;
493 494 495 496

  if (ptr == NULL)
    DBUG_VOID_RETURN;

unknown's avatar
unknown committed
497
  sp_head *sp= (sp_head *) ptr;
498

unknown's avatar
unknown committed
499 500
  /* Make a copy of main_mem_root as free_root will free the sp */
  own_root= sp->main_mem_root;
501 502
  DBUG_PRINT("info", ("mem_root 0x%lx moved to 0x%lx",
                      (ulong) &sp->mem_root, (ulong) &own_root));
503 504 505 506 507
  free_root(&own_root, MYF(0));

  DBUG_VOID_RETURN;
}

508

509
sp_head::sp_head()
510
  :Query_arena(&main_mem_root, INITIALIZED_FOR_SP),
511
   m_flags(0), m_recursion_level(0), m_next_cached_sp(0),
512
   m_cont_level(0)
513
{
514
  const LEX_STRING str_reset= { NULL, 0 };
515 516 517 518 519

  m_first_instance= this;
  m_first_free_instance= this;
  m_last_cached_sp= this;

520
  m_return_field_def.charset = NULL;
521 522 523 524 525 526
  /*
    FIXME: the only use case when name is NULL is events, and it should
    be rewritten soon. Remove the else part and replace 'if' with
    an assert when this is done.
  */
  m_db= m_name= m_qname= str_reset;
527

528
  DBUG_ENTER("sp_head::sp_head");
529 530

  m_backpatch.empty();
531
  m_cont_backpatch.empty();
532
  m_lex.empty();
533
  hash_init(&m_sptabs, system_charset_info, 0, 0, 0, sp_table_key, 0, 0);
534
  hash_init(&m_sroutines, system_charset_info, 0, 0, 0, sp_sroutine_key, 0, 0);
unknown's avatar
unknown committed
535 536 537 538

  m_body_utf8.str= NULL;
  m_body_utf8.length= 0;

539 540 541
  DBUG_VOID_RETURN;
}

542

543
void
544
sp_head::init(LEX *lex)
545 546
{
  DBUG_ENTER("sp_head::init");
547

548
  lex->spcont= m_pcont= new sp_pcontext();
549

550 551 552
  if (!lex->spcont)
    DBUG_VOID_RETURN;

553 554 555 556 557
  /*
    Altough trg_table_fields list is used only in triggers we init for all
    types of stored procedures to simplify reset_lex()/restore_lex() code.
  */
  lex->trg_table_fields.empty();
558
  my_init_dynamic_array(&m_instr, sizeof(sp_instr *), 16, 8);
559 560 561 562 563 564 565 566 567

  m_param_begin= NULL;
  m_param_end= NULL;

  m_body_begin= NULL ;

  m_qname.str= NULL;
  m_qname.length= 0;

568 569
  m_explicit_name= false;

570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587
  m_db.str= NULL;
  m_db.length= 0;

  m_name.str= NULL;
  m_name.length= 0;

  m_params.str= NULL;
  m_params.length= 0;

  m_body.str= NULL;
  m_body.length= 0;

  m_defstr.str= NULL;
  m_defstr.length= 0;

  m_sroutines_key.str= NULL;
  m_sroutines_key.length= 0;

588
  m_return_field_def.charset= NULL;
589

590 591 592
  DBUG_VOID_RETURN;
}

593

594
void
595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611
sp_head::init_sp_name(THD *thd, sp_name *spname)
{
  DBUG_ENTER("sp_head::init_sp_name");

  /* Must be initialized in the parser. */

  DBUG_ASSERT(spname && spname->m_db.str && spname->m_db.length);

  /* We have to copy strings to get them into the right memroot. */

  m_db.length= spname->m_db.length;
  m_db.str= strmake_root(thd->mem_root, spname->m_db.str, spname->m_db.length);

  m_name.length= spname->m_name.length;
  m_name.str= strmake_root(thd->mem_root, spname->m_name.str,
                           spname->m_name.length);

612 613
  m_explicit_name= spname->m_explicit_name;

614 615 616
  if (spname->m_qname.length == 0)
    spname->init_qname(thd);

617
  m_sroutines_key.length= spname->m_sroutines_key.length;
618 619 620
  m_sroutines_key.str= (char*) memdup_root(thd->mem_root,
                                           spname->m_sroutines_key.str,
                                           spname->m_sroutines_key.length + 1);
621 622 623 624
  m_sroutines_key.str[0]= static_cast<char>(m_type);

  m_qname.length= m_sroutines_key.length - 1;
  m_qname.str= m_sroutines_key.str + 1;
625 626

  DBUG_VOID_RETURN;
627 628 629
}


630
void
unknown's avatar
unknown committed
631
sp_head::set_body_start(THD *thd, const char *begin_ptr)
632
{
unknown's avatar
unknown committed
633
  m_body_begin= begin_ptr;
634
  thd->m_parser_state->m_lip.body_utf8_start(thd, begin_ptr);
unknown's avatar
unknown committed
635 636 637 638 639
}


void
sp_head::set_stmt_end(THD *thd)
640
{
641
  Lex_input_stream *lip= & thd->m_parser_state->m_lip; /* shortcut */
unknown's avatar
unknown committed
642 643 644
  const char *end_ptr= lip->get_cpp_ptr(); /* shortcut */

  /* Make the string of parameters. */
645

646
  if (m_param_begin && m_param_end)
647
  {
648
    m_params.length= m_param_end - m_param_begin;
unknown's avatar
unknown committed
649
    m_params.str= thd->strmake(m_param_begin, m_params.length);
650
  }
651

unknown's avatar
unknown committed
652
  /* Remember end pointer for further dumping of whole statement. */
653

unknown's avatar
unknown committed
654 655 656 657 658 659
  thd->lex->stmt_definition_end= end_ptr;

  /* Make the string of body (in the original character set). */

  m_body.length= end_ptr - m_body_begin;
  m_body.str= thd->strmake(m_body_begin, m_body.length);
660 661
  trim_whitespace(thd->charset(), & m_body);

unknown's avatar
unknown committed
662
  /* Make the string of UTF-body. */
663

unknown's avatar
unknown committed
664 665 666 667 668 669
  lip->body_utf8_append(end_ptr);

  m_body_utf8.length= lip->get_body_utf8_length();
  m_body_utf8.str= thd->strmake(lip->get_body_utf8_str(), m_body_utf8.length);
  trim_whitespace(thd->charset(), & m_body_utf8);

670
  /*
unknown's avatar
unknown committed
671 672
    Make the string of whole stored-program-definition query (in the
    original character set).
673 674
  */

unknown's avatar
unknown committed
675 676 677
  m_defstr.length= end_ptr - lip->get_cpp_buf();
  m_defstr.str= thd->strmake(lip->get_cpp_buf(), m_defstr.length);
  trim_whitespace(thd->charset(), & m_defstr);
678 679
}

680 681

static TYPELIB *
unknown's avatar
unknown committed
682
create_typelib(MEM_ROOT *mem_root, Create_field *field_def, List<String> *src)
unknown's avatar
unknown committed
683 684
{
  TYPELIB *result= NULL;
685 686
  CHARSET_INFO *cs= field_def->charset;
  DBUG_ENTER("create_typelib");
unknown's avatar
unknown committed
687

unknown's avatar
unknown committed
688 689 690 691 692 693
  if (src->elements)
  {
    result= (TYPELIB*) alloc_root(mem_root, sizeof(TYPELIB));
    result->count= src->elements;
    result->name= "";
    if (!(result->type_names=(const char **)
694
          alloc_root(mem_root,(sizeof(char *)+sizeof(int))*(result->count+1))))
unknown's avatar
unknown committed
695 696
      DBUG_RETURN(0);
    result->type_lengths= (uint*)(result->type_names + result->count+1);
unknown's avatar
unknown committed
697
    List_iterator<String> it(*src);
unknown's avatar
unknown committed
698 699
    String conv;
    for (uint i=0; i < result->count; i++)
700
    {
unknown's avatar
unknown committed
701 702 703 704
      uint32 dummy;
      uint length;
      String *tmp= it++;

705 706 707 708 709
      if (String::needs_conversion(tmp->length(), tmp->charset(),
      				   cs, &dummy))
      {
        uint cnv_errs;
        conv.copy(tmp->ptr(), tmp->length(), tmp->charset(), cs, &cnv_errs);
unknown's avatar
unknown committed
710 711 712 713

        length= conv.length();
        result->type_names[i]= (char*) strmake_root(mem_root, conv.ptr(),
                                                    length);
714
      }
unknown's avatar
unknown committed
715 716 717 718
      else
      {
        length= tmp->length();
        result->type_names[i]= strmake_root(mem_root, tmp->ptr(), length);
719
      }
720 721

      // Strip trailing spaces.
unknown's avatar
unknown committed
722 723 724
      length= cs->cset->lengthsp(cs, result->type_names[i], length);
      result->type_lengths[i]= length;
      ((uchar *)result->type_names[i])[length]= '\0';
725
    }
unknown's avatar
unknown committed
726
    result->type_names[result->count]= 0;
727
    result->type_lengths[result->count]= 0;
unknown's avatar
unknown committed
728
  }
unknown's avatar
unknown committed
729
  DBUG_RETURN(result);
unknown's avatar
unknown committed
730 731
}

732

733 734 735
int
sp_head::create(THD *thd)
{
736
  DBUG_ENTER("sp_head::create");
737 738
  DBUG_PRINT("info", ("type: %d name: %s params: %s body: %s",
		      m_type, m_name.str, m_params.str, m_body.str));
739

unknown's avatar
unknown committed
740
  DBUG_RETURN(sp_create_routine(thd, m_type, this));
741 742
}

743 744
sp_head::~sp_head()
{
unknown's avatar
unknown committed
745
  DBUG_ENTER("sp_head::~sp_head");
746
  destroy();
747
  delete m_next_cached_sp;
748 749
  if (m_thd)
    restore_thd_mem_root(m_thd);
unknown's avatar
unknown committed
750
  DBUG_VOID_RETURN;
751 752
}

753 754 755
void
sp_head::destroy()
{
756 757
  sp_instr *i;
  LEX *lex;
unknown's avatar
unknown committed
758 759
  DBUG_ENTER("sp_head::destroy");
  DBUG_PRINT("info", ("name: %s", m_name.str));
760 761 762

  for (uint ip = 0 ; (i = get_instr(ip)) ; ip++)
    delete i;
763 764
  delete_dynamic(&m_instr);
  m_pcont->destroy();
765
  free_items();
766 767 768 769 770 771 772 773 774 775

  /*
    If we have non-empty LEX stack then we just came out of parser with
    error. Now we should delete all auxilary LEXes and restore original
    THD::lex (In this case sp_head::restore_thd_mem_root() was not called
    too, so m_thd points to the current thread context).
    It is safe to not update LEX::ptr because further query string parsing
    and execution will be stopped anyway.
  */
  DBUG_ASSERT(m_lex.is_empty() || m_thd);
776 777
  while ((lex= (LEX *)m_lex.pop()))
  {
778
    lex_end(m_thd->lex);
779 780
    delete m_thd->lex;
    m_thd->lex= lex;
781
  }
782

783
  hash_free(&m_sptabs);
784
  hash_free(&m_sroutines);
785
  DBUG_VOID_RETURN;
786
}
787

unknown's avatar
unknown committed
788

unknown's avatar
unknown committed
789
/**
790 791 792 793
  This is only used for result fields from functions (both during
  fix_length_and_dec() and evaluation).
*/

unknown's avatar
unknown committed
794
Field *
795 796
sp_head::create_result_field(uint field_max_length, const char *field_name,
                             TABLE *table)
unknown's avatar
unknown committed
797
{
798
  uint field_length;
unknown's avatar
unknown committed
799
  Field *field;
800 801 802 803 804 805

  DBUG_ENTER("sp_head::create_result_field");

  field_length= !m_return_field_def.length ?
                field_max_length : m_return_field_def.length;

806
  field= ::make_field(table->s,                     /* TABLE_SHARE ptr */
807
                      (uchar*) 0,                   /* field ptr */
808 809 810 811 812 813 814 815 816
                      field_length,                 /* field [max] length */
                      (uchar*) "",                  /* null ptr */
                      0,                            /* null bit */
                      m_return_field_def.pack_flag,
                      m_return_field_def.sql_type,
                      m_return_field_def.charset,
                      m_return_field_def.geom_type,
                      Field::NONE,                  /* unreg check */
                      m_return_field_def.interval,
817
                      field_name ? field_name : (const char *) m_name.str);
unknown's avatar
unknown committed
818 819 820

  if (field)
    field->init(table);
821
  
unknown's avatar
unknown committed
822 823 824
  DBUG_RETURN(field);
}

825 826 827 828 829 830 831 832 833

int cmp_splocal_locations(Item_splocal * const *a, Item_splocal * const *b)
{
  return (int)((*a)->pos_in_query - (*b)->pos_in_query);
}


/*
  StoredRoutinesBinlogging
834 835 836
  This paragraph applies only to statement-based binlogging. Row-based
  binlogging does not need anything special like this.

837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867
  Top-down overview:

  1. Statements

  Statements that have is_update_query(stmt) == TRUE are written into the
  binary log verbatim.
  Examples:
    UPDATE tbl SET tbl.x = spfunc_w_side_effects()
    UPDATE tbl SET tbl.x=1 WHERE spfunc_w_side_effect_that_returns_false(tbl.y)

  Statements that have is_update_query(stmt) == FALSE (e.g. SELECTs) are not
  written into binary log. Instead we catch function calls the statement
  makes and write it into binary log separately (see #3).
  
  2. PROCEDURE calls

  CALL statements are not written into binary log. Instead
  * Any FUNCTION invocation (in SET, IF, WHILE, OPEN CURSOR and other SP
    instructions) is written into binlog separately.

  * Each statement executed in SP is binlogged separately, according to rules
    in #1, with the exception that we modify query string: we replace uses
    of SP local variables with NAME_CONST('spvar_name', <spvar-value>) calls.
    This substitution is done in subst_spvars().

  3. FUNCTION calls
  
  In sp_head::execute_function(), we check 
   * If this function invocation is done from a statement that is written
     into the binary log.
   * If there were any attempts to write events to the binary log during
868 869
     function execution (grep for start_union_events and stop_union_events)

870
   If the answers are No and Yes, we write the function call into the binary
871
   log as "SELECT spfunc(<param1value>, <param2value>, ...)"
872 873 874 875 876 877 878 879 880 881 882 883
  
  
  4. Miscellaneous issues.
  
  4.1 User variables. 

  When we call mysql_bin_log.write() for an SP statement, thd->user_var_events
  must hold set<{var_name, value}> pairs for all user variables used during 
  the statement execution.
  This set is produced by tracking user variable reads during statement
  execution. 

884
  For SPs, this has the following implications:
885 886 887 888 889 890 891 892 893 894 895 896
  1) thd->user_var_events may contain events from several SP statements and 
     needs to be valid after exection of these statements was finished. In 
     order to achieve that, we
     * Allocate user_var_events array elements on appropriate mem_root (grep
       for user_var_events_alloc).
     * Use is_query_in_union() to determine if user_var_event is created.
     
  2) We need to empty thd->user_var_events after we have wrote a function
     call. This is currently done by making 
     reset_dynamic(&thd->user_var_events);
     calls in several different places. (TODO cosider moving this into
     mysql_bin_log.write() function)
897 898 899 900 901 902 903 904

  4.2 Auto_increment storage in binlog

  As we may write two statements to binlog from one single logical statement
  (case of "SELECT func1(),func2()": it is binlogged as "SELECT func1()" and
  then "SELECT func2()"), we need to reset auto_increment binlog variables
  after each binlogged SELECT. Otherwise, the auto_increment value of the
  first SELECT would be used for the second too.
905 906 907
*/


unknown's avatar
unknown committed
908 909 910
/**
  Replace thd->query{_length} with a string that one can write to
  the binlog.
911 912

  The binlog-suitable string is produced by replacing references to SP local 
unknown's avatar
unknown committed
913 914 915 916 917 918 919 920 921 922 923 924
  variables with NAME_CONST('sp_var_name', value) calls.

  @param thd        Current thread.
  @param instr      Instruction (we look for Item_splocal instances in
                    instr->free_list)
  @param query_str  Original query string

  @return
    - FALSE  on success.
    thd->query{_length} either has been appropriately replaced or there
    is no need for replacements.
    - TRUE   out of memory error.
925 926
*/

927 928
static bool
subst_spvars(THD *thd, sp_instr *instr, LEX_STRING *query_str)
929 930 931
{
  DBUG_ENTER("subst_spvars");

932 933 934 935
  Dynamic_array<Item_splocal*> sp_vars_uses;
  char *pbuf, *cur, buffer[512];
  String qbuf(buffer, sizeof(buffer), &my_charset_bin);
  int prev_pos, res, buf_len;
936

937 938 939 940
  /* Find all instances of Item_splocal used in this statement */
  for (Item *item= instr->free_list; item; item= item->next)
  {
    if (item->is_splocal())
941
    {
942 943 944
      Item_splocal *item_spl= (Item_splocal*)item;
      if (item_spl->pos_in_query)
        sp_vars_uses.append(item_spl);
945
    }
946 947 948 949 950 951
  }
  if (!sp_vars_uses.elements())
    DBUG_RETURN(FALSE);
    
  /* Sort SP var refs by their occurences in the query */
  sp_vars_uses.sort(cmp_splocal_locations);
952

953 954 955 956 957 958 959
  /* 
    Construct a statement string where SP local var refs are replaced
    with "NAME_CONST(name, value)"
  */
  qbuf.length(0);
  cur= query_str->str;
  prev_pos= res= 0;
960 961
  thd->query_name_consts= 0;
  
962 963 964 965
  for (Item_splocal **splocal= sp_vars_uses.front(); 
       splocal < sp_vars_uses.back(); splocal++)
  {
    Item *val;
966

967 968 969 970 971 972 973
    char str_buffer[STRING_BUFFER_USUAL_SIZE];
    String str_value_holder(str_buffer, sizeof(str_buffer),
                            &my_charset_latin1);
    String *str_value;
    
    /* append the text between sp ref occurences */
    res|= qbuf.append(cur + prev_pos, (*splocal)->pos_in_query - prev_pos);
unknown's avatar
unknown committed
974
    prev_pos= (*splocal)->pos_in_query + (*splocal)->len_in_query;
975 976 977 978 979 980
    
    /* append the spvar substitute */
    res|= qbuf.append(STRING_WITH_LEN(" NAME_CONST('"));
    res|= qbuf.append((*splocal)->m_name.str, (*splocal)->m_name.length);
    res|= qbuf.append(STRING_WITH_LEN("',"));
    res|= (*splocal)->fix_fields(thd, (Item **) splocal);
981

982
    if (res)
983
      break;
984

985
    val= (*splocal)->this_item();
986
    DBUG_PRINT("info", ("print 0x%lx", (long) val));
987 988 989 990 991 992 993 994
    str_value= sp_get_item_value(thd, val, &str_value_holder);
    if (str_value)
      res|= qbuf.append(*str_value);
    else
      res|= qbuf.append(STRING_WITH_LEN("NULL"));
    res|= qbuf.append(')');
    if (res)
      break;
995 996
      
    thd->query_name_consts++;
997 998 999 1000
  }
  res|= qbuf.append(cur + prev_pos, query_str->length - prev_pos);
  if (res)
    DBUG_RETURN(TRUE);
1001

1002 1003 1004 1005 1006
  /*
    Allocate additional space at the end of the new query string for the
    query_cache_send_result_to_client function.
  */
  buf_len= qbuf.length() + thd->db_length + 1 + QUERY_CACHE_FLAGS_SIZE + 1;
unknown's avatar
unknown committed
1007
  if ((pbuf= (char *) alloc_root(thd->mem_root, buf_len)))
1008 1009 1010
  {
    memcpy(pbuf, qbuf.ptr(), qbuf.length());
    pbuf[qbuf.length()]= 0;
1011
  }
1012 1013 1014
  else
    DBUG_RETURN(TRUE);

1015
  thd->set_query(pbuf, qbuf.length());
1016

1017
  DBUG_RETURN(FALSE);
1018 1019 1020
}


1021 1022 1023 1024 1025
/*
  Return appropriate error about recursion limit reaching

  SYNOPSIS
    sp_head::recursion_level_error()
unknown's avatar
unknown committed
1026
    thd		Thread handle
1027 1028 1029 1030 1031 1032

  NOTE
    For functions and triggers we return error about prohibited recursion.
    For stored procedures we return about reaching recursion limit.
*/

unknown's avatar
unknown committed
1033
void sp_head::recursion_level_error(THD *thd)
1034 1035 1036 1037 1038
{
  if (m_type == TYPE_ENUM_PROCEDURE)
  {
    my_error(ER_SP_RECURSION_LIMIT, MYF(0),
             thd->variables.max_sp_recursion_depth,
1039
             m_name.str);
1040 1041 1042 1043 1044 1045
  }
  else
    my_error(ER_SP_NO_RECURSION, MYF(0));
}


unknown's avatar
unknown committed
1046 1047
/**
  Execute the routine. The main instruction jump loop is there.
1048
  Assume the parameters already set.
unknown's avatar
unknown committed
1049 1050 1051 1052 1053
  @todo
    - Will write this SP statement into binlog separately 
    (TODO: consider changing the condition to "not inside event union")

  @retval
1054
    FALSE  on success
unknown's avatar
unknown committed
1055
  @retval
1056
    TRUE   on error
1057 1058
*/

1059 1060
bool
sp_head::execute(THD *thd)
1061
{
1062
  DBUG_ENTER("sp_head::execute");
1063 1064 1065 1066
  char saved_cur_db_name_buf[NAME_LEN+1];
  LEX_STRING saved_cur_db_name=
    { saved_cur_db_name_buf, sizeof(saved_cur_db_name_buf) };
  bool cur_db_changed= FALSE;
1067
  sp_rcontext *ctx;
1068
  bool err_status= FALSE;
1069
  uint ip= 0;
1070
  ulong save_sql_mode;
1071
  bool save_abort_on_warning;
unknown's avatar
unknown committed
1072
  Query_arena *old_arena;
1073 1074 1075
  /* per-instruction arena */
  MEM_ROOT execute_mem_root;
  Query_arena execute_arena(&execute_mem_root, INITIALIZED_FOR_SP),
unknown's avatar
unknown committed
1076
              backup_arena;
1077
  query_id_t old_query_id;
1078 1079 1080 1081
  TABLE *old_derived_tables;
  LEX *old_lex;
  Item_change_list old_change_list;
  String old_packet;
1082
  Reprepare_observer *save_reprepare_observer= thd->m_reprepare_observer;
1083

unknown's avatar
unknown committed
1084 1085
  Object_creation_ctx *saved_creation_ctx;

1086
  /* Use some extra margin for possible SP recursion and functions */
1087
  if (check_stack_overrun(thd, 8 * STACK_MIN_SIZE, (uchar*)&old_packet))
1088
    DBUG_RETURN(TRUE);
1089

1090
  /* init per-instruction memroot */
1091
  init_sql_alloc(&execute_mem_root, MEM_ROOT_BLOCK_SIZE, 0);
1092 1093

  DBUG_ASSERT(!(m_flags & IS_INVOKED));
1094
  m_flags|= IS_INVOKED;
1095
  m_first_instance->m_first_free_instance= m_next_cached_sp;
unknown's avatar
unknown committed
1096 1097 1098 1099 1100 1101 1102 1103 1104
  if (m_next_cached_sp)
  {
    DBUG_PRINT("info",
               ("first free for 0x%lx ++: 0x%lx->0x%lx  level: %lu  flags %x",
                (ulong)m_first_instance, (ulong) this,
                (ulong) m_next_cached_sp,
                m_next_cached_sp->m_recursion_level,
                m_next_cached_sp->m_flags));
  }
1105 1106 1107 1108 1109 1110 1111 1112 1113
  /*
    Check that if there are not any instances after this one then
    pointer to the last instance points on this instance or if there are
    some instances after this one then recursion level of next instance
    greater then recursion level of current instance on 1
  */
  DBUG_ASSERT((m_next_cached_sp == 0 &&
               m_first_instance->m_last_cached_sp == this) ||
              (m_recursion_level + 1 == m_next_cached_sp->m_recursion_level));
1114

unknown's avatar
unknown committed
1115 1116 1117 1118 1119 1120
  /*
    NOTE: The SQL Standard does not specify the context that should be
    preserved for stored routines. However, at SAP/Walldorf meeting it was
    decided that current database should be preserved.
  */

1121
  if (m_db.length &&
1122 1123 1124
      (err_status= mysql_opt_change_db(thd, &m_db, &saved_cur_db_name, FALSE,
                                       &cur_db_changed)))
  {
1125
    goto done;
1126
  }
1127

1128
  if ((ctx= thd->spcont))
1129
    ctx->clear_handler();
1130
  thd->is_slave_error= 0;
unknown's avatar
unknown committed
1131
  old_arena= thd->stmt_arena;
1132

1133 1134 1135 1136 1137 1138
  /*
    Switch query context. This has to be done early as this is sometimes
    allocated trough sql_alloc
  */
  saved_creation_ctx= m_creation_ctx->set_n_backup(thd);

1139 1140 1141 1142 1143 1144 1145
  /*
    We have to save/restore this info when we are changing call level to
    be able properly do close_thread_tables() in instructions.
  */
  old_query_id= thd->query_id;
  old_derived_tables= thd->derived_tables;
  thd->derived_tables= 0;
1146 1147
  save_sql_mode= thd->variables.sql_mode;
  thd->variables.sql_mode= m_sql_mode;
1148
  save_abort_on_warning= thd->abort_on_warning;
1149
  thd->abort_on_warning= 0;
1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167
  /**
    When inside a substatement (a stored function or trigger
    statement), clear the metadata observer in THD, if any.
    Remember the value of the observer here, to be able
    to restore it when leaving the substatement.

    We reset the observer to suppress errors when a substatement
    uses temporary tables. If a temporary table does not exist
    at start of the main statement, it's not prelocked
    and thus is not validated with other prelocked tables.

    Later on, when the temporary table is opened, metadata
    versions mismatch, expectedly.

    The proper solution for the problem is to re-validate tables
    of substatements (Bug#12257, Bug#27011, Bug#32868, Bug#33000),
    but it's not implemented yet.
  */
1168
  thd->m_reprepare_observer= 0;
1169

1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190
  /*
    It is also more efficient to save/restore current thd->lex once when
    do it in each instruction
  */
  old_lex= thd->lex;
  /*
    We should also save Item tree change list to avoid rollback something
    too early in the calling query.
  */
  old_change_list= thd->change_list;
  thd->change_list.empty();
  /*
    Cursors will use thd->packet, so they may corrupt data which was prepared
    for sending by upper level. OTOH cursors in the same routine can share this
    buffer safely so let use use routine-local packet instead of having own
    packet buffer for each cursor.

    It is probably safe to use same thd->convert_buff everywhere.
  */
  old_packet.swap(thd->packet);

1191 1192 1193 1194
  /*
    Switch to per-instruction arena here. We can do it since we cleanup
    arena after every instruction.
  */
unknown's avatar
unknown committed
1195
  thd->set_n_backup_active_arena(&execute_arena, &backup_arena);
1196 1197 1198 1199 1200

  /*
    Save callers arena in order to store instruction results and out
    parameters in it later during sp_eval_func_item()
  */
unknown's avatar
unknown committed
1201
  thd->spcont->callers_arena= &backup_arena;
1202

1203 1204 1205 1206
#if defined(ENABLED_PROFILING) && defined(COMMUNITY_SERVER)
  /* Discard the initial part of executing routines. */
  thd->profiling.discard_current_query();
#endif
1207 1208 1209
  do
  {
    sp_instr *i;
1210
    uint hip;			// Handler ip
1211

1212 1213 1214 1215 1216 1217 1218 1219 1220 1221
#if defined(ENABLED_PROFILING) && defined(COMMUNITY_SERVER)
    /* 
     Treat each "instr" of a routine as discrete unit that could be profiled.
     Profiling only records information for segments of code that set the
     source of the query, and almost all kinds of instructions in s-p do not.
    */
    thd->profiling.finish_current_query();
    thd->profiling.start_new_query("continuing inside routine");
#endif

1222 1223
    i = get_instr(ip);	// Returns NULL when we're done.
    if (i == NULL)
1224 1225 1226 1227
    {
#if defined(ENABLED_PROFILING) && defined(COMMUNITY_SERVER)
      thd->profiling.discard_current_query();
#endif
1228
      break;
1229 1230
    }

1231
    DBUG_PRINT("execute", ("Instruction %u", ip));
1232

1233 1234 1235
    /* Don't change NOW() in FUNCTION or TRIGGER */
    if (!thd->in_sub_stmt)
      thd->set_time();		// Make current_time() et al work
1236
    
1237
    /*
unknown's avatar
unknown committed
1238
      We have to set thd->stmt_arena before executing the instruction
1239 1240 1241 1242
      to store in the instruction free_list all new items, created
      during the first execution (for example expanding of '*' or the
      items made during other permanent subquery transformations).
    */
unknown's avatar
unknown committed
1243
    thd->stmt_arena= i;
1244
    
1245 1246 1247 1248 1249
    /* 
      Will write this SP statement into binlog separately 
      (TODO: consider changing the condition to "not inside event union")
    */
    if (thd->prelocked_mode == NON_PRELOCKED)
1250
      thd->user_var_events_alloc= thd->mem_root;
1251

1252
    err_status= i->execute(thd, &ip);
1253

1254 1255
    if (i->free_list)
      cleanup_items(i->free_list);
1256 1257 1258 1259 1260 1261 1262 1263 1264 1265
    
    /* 
      If we've set thd->user_var_events_alloc to mem_root of this SP
      statement, clean all the events allocated in it.
    */
    if (thd->prelocked_mode == NON_PRELOCKED)
    {
      reset_dynamic(&thd->user_var_events);
      thd->user_var_events_alloc= NULL;//DEBUG
    }
1266

1267
    /* we should cleanup free_list and memroot, used by instruction */
1268
    thd->cleanup_after_query();
1269
    free_root(&execute_mem_root, MYF(0));    
1270

unknown's avatar
unknown committed
1271 1272
    /*
      Check if an exception has occurred and a handler has been found
1273 1274 1275 1276
      Note: We have to check even if err_status == FALSE, since warnings (and
      some errors) don't return a non-zero value. We also have to check even
      if thd->killed != 0, since some errors return with this even when a
      handler has been found (e.g. "bad data").
unknown's avatar
unknown committed
1277
    */
1278
    if (ctx)
1279 1280 1281
    {
      uint hf;

1282
      switch (ctx->found_handler(&hip, &hf)) {
1283 1284 1285
      case SP_HANDLER_NONE:
	break;
      case SP_HANDLER_CONTINUE:
unknown's avatar
unknown committed
1286 1287
        thd->restore_active_arena(&execute_arena, &backup_arena);
        thd->set_n_backup_active_arena(&execute_arena, &backup_arena);
1288
        ctx->push_hstack(i->get_cont_dest());
unknown's avatar
unknown committed
1289
        // Fall through
1290 1291
      default:
	ip= hip;
1292
	err_status= FALSE;
1293
	ctx->clear_handler();
1294
	ctx->enter_handler(hip);
unknown's avatar
unknown committed
1295
        thd->clear_error();
1296
        thd->is_fatal_error= 0;
1297
	thd->killed= THD::NOT_KILLED;
1298
        thd->mysys_var->abort= 0;
1299 1300 1301
	continue;
      }
    }
1302
  } while (!err_status && !thd->killed);
1303

1304 1305 1306 1307 1308
#if defined(ENABLED_PROFILING) && defined(COMMUNITY_SERVER)
  thd->profiling.finish_current_query();
  thd->profiling.start_new_query("tail end of routine");
#endif

unknown's avatar
unknown committed
1309 1310 1311 1312 1313 1314
  /* Restore query context. */

  m_creation_ctx->restore_env(thd, saved_creation_ctx);

  /* Restore arena. */

unknown's avatar
unknown committed
1315
  thd->restore_active_arena(&execute_arena, &backup_arena);
1316

1317
  thd->spcont->pop_all_cursors(); // To avoid memory leaks after an error
1318

1319 1320 1321 1322 1323 1324 1325 1326 1327 1328
  /* Restore all saved */
  old_packet.swap(thd->packet);
  DBUG_ASSERT(thd->change_list.is_empty());
  thd->change_list= old_change_list;
  /* To avoid wiping out thd->change_list on old_change_list destruction */
  old_change_list.empty();
  thd->lex= old_lex;
  thd->query_id= old_query_id;
  DBUG_ASSERT(!thd->derived_tables);
  thd->derived_tables= old_derived_tables;
1329
  thd->variables.sql_mode= save_sql_mode;
1330
  thd->abort_on_warning= save_abort_on_warning;
1331
  thd->m_reprepare_observer= save_reprepare_observer;
1332

unknown's avatar
unknown committed
1333
  thd->stmt_arena= old_arena;
1334
  state= EXECUTED;
1335

1336
 done:
1337 1338
  DBUG_PRINT("info", ("err_status: %d  killed: %d  is_slave_error: %d  report_error: %d",
		      err_status, thd->killed, thd->is_slave_error,
1339
                      thd->is_error()));
1340

unknown's avatar
unknown committed
1341
  if (thd->killed)
1342
    err_status= TRUE;
1343 1344 1345 1346
  /*
    If the DB has changed, the pointer has changed too, but the
    original thd->db will then have been freed
  */
1347
  if (cur_db_changed && !thd->killed)
1348
  {
1349
    /*
1350 1351
      Force switching back to the saved current database, because it may be
      NULL. In this case, mysql_change_db() would generate an error.
1352
    */
1353 1354

    err_status|= mysql_change_db(thd, &saved_cur_db_name, TRUE);
1355
  }
1356
  m_flags&= ~IS_INVOKED;
1357 1358 1359 1360 1361
  DBUG_PRINT("info",
             ("first free for 0x%lx --: 0x%lx->0x%lx, level: %lu, flags %x",
              (ulong) m_first_instance,
              (ulong) m_first_instance->m_first_free_instance,
              (ulong) this, m_recursion_level, m_flags));
1362 1363 1364 1365 1366 1367 1368 1369 1370
  /*
    Check that we have one of following:

    1) there are not free instances which means that this instance is last
    in the list of instances (pointer to the last instance point on it and
    ther are not other instances after this one in the list)

    2) There are some free instances which mean that first free instance
    should go just after this one and recursion level of that free instance
unknown's avatar
unknown committed
1371
    should be on 1 more then recursion level of this instance.
1372 1373 1374 1375 1376 1377 1378 1379 1380
  */
  DBUG_ASSERT((m_first_instance->m_first_free_instance == 0 &&
               this == m_first_instance->m_last_cached_sp &&
               m_next_cached_sp == 0) ||
              (m_first_instance->m_first_free_instance != 0 &&
               m_first_instance->m_first_free_instance == m_next_cached_sp &&
               m_first_instance->m_first_free_instance->m_recursion_level ==
               m_recursion_level + 1));
  m_first_instance->m_first_free_instance= this;
1381 1382 1383 1384 1385 1386

  DBUG_RETURN(err_status);
}


#ifndef NO_EMBEDDED_ACCESS_CHECKS
unknown's avatar
unknown committed
1387
/**
1388 1389 1390 1391 1392
  set_routine_security_ctx() changes routine security context, and
  checks if there is an EXECUTE privilege in new context.  If there is
  no EXECUTE privilege, it changes the context back and returns a
  error.

unknown's avatar
unknown committed
1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406
  @param thd         thread handle
  @param sp          stored routine to change the context for
  @param is_proc     TRUE is procedure, FALSE if function
  @param save_ctx    pointer to an old security context

  @todo
    - Cache if the definer has the right to use the object on the
    first usage and only reset the cache if someone does a GRANT
    statement that 'may' affect this.

  @retval
    TRUE   if there was a error, and the context wasn't changed.
  @retval
    FALSE  if the context was changed.
1407 1408 1409 1410 1411 1412 1413
*/

bool
set_routine_security_ctx(THD *thd, sp_head *sp, bool is_proc,
                         Security_context **save_ctx)
{
  *save_ctx= 0;
1414 1415 1416 1417 1418
  if (sp->m_chistics->suid != SP_IS_NOT_SUID &&
      sp->m_security_ctx.change_security_context(thd, &sp->m_definer_user,
                                                 &sp->m_definer_host,
                                                 &sp->m_db,
                                                 save_ctx))
1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434
    return TRUE;

  /*
    If we changed context to run as another user, we need to check the
    access right for the new context again as someone may have revoked
    the right to use the procedure from this user.

    TODO:
      Cache if the definer has the right to use the object on the
      first usage and only reset the cache if someone does a GRANT
      statement that 'may' affect this.
  */
  if (*save_ctx &&
      check_routine_access(thd, EXECUTE_ACL,
                           sp->m_db.str, sp->m_name.str, is_proc, FALSE))
  {
1435
    sp->m_security_ctx.restore_security_context(thd, *save_ctx);
1436 1437 1438 1439 1440 1441 1442 1443 1444
    *save_ctx= 0;
    return TRUE;
  }

  return FALSE;
}
#endif // ! NO_EMBEDDED_ACCESS_CHECKS


1445 1446
/**
  Execute trigger stored program.
1447

unknown's avatar
unknown committed
1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463
  - changes security context for triggers
  - switch to new memroot
  - call sp_head::execute
  - restore old memroot
  - restores security context

  @param thd               Thread handle
  @param db                database name
  @param table             table name
  @param grant_info        GRANT_INFO structure to be filled with
                           information about definer's privileges
                           on subject table

  @todo
    - TODO: we should create sp_rcontext once per command and reuse it
    on subsequent executions of a trigger.
1464

unknown's avatar
unknown committed
1465 1466 1467 1468
  @retval
    FALSE  on success
  @retval
    TRUE   on error
1469 1470 1471
*/

bool
1472 1473 1474
sp_head::execute_trigger(THD *thd,
                         const LEX_STRING *db_name,
                         const LEX_STRING *table_name,
1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486
                         GRANT_INFO *grant_info)
{
  sp_rcontext *octx = thd->spcont;
  sp_rcontext *nctx = NULL;
  bool err_status= FALSE;
  MEM_ROOT call_mem_root;
  Query_arena call_arena(&call_mem_root, Query_arena::INITIALIZED_FOR_SP);
  Query_arena backup_arena;

  DBUG_ENTER("sp_head::execute_trigger");
  DBUG_PRINT("info", ("trigger %s", m_name.str));

1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  Security_context *save_ctx= NULL;


  if (m_chistics->suid != SP_IS_NOT_SUID &&
      m_security_ctx.change_security_context(thd,
                                             &m_definer_user,
                                             &m_definer_host,
                                             &m_db,
                                             &save_ctx))
    DBUG_RETURN(TRUE);

  /*
    Fetch information about table-level privileges for subject table into
    GRANT_INFO instance. The access check itself will happen in
    Item_trigger_field, where this information will be used along with
    information about column-level privileges.
  */

  fill_effective_table_privileges(thd,
                                  grant_info,
                                  db_name->str,
                                  table_name->str);

  /* Check that the definer has TRIGGER privilege on the subject table. */

  if (!(grant_info->privilege & TRIGGER_ACL))
  {
    char priv_desc[128];
    get_privilege_desc(priv_desc, sizeof(priv_desc), TRIGGER_ACL);

    my_error(ER_TABLEACCESS_DENIED_ERROR, MYF(0), priv_desc,
             thd->security_ctx->priv_user, thd->security_ctx->host_or_ip,
             table_name->str);

    m_security_ctx.restore_security_context(thd, save_ctx);
    DBUG_RETURN(TRUE);
  }
#endif // NO_EMBEDDED_ACCESS_CHECKS

1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558
  /*
    Prepare arena and memroot for objects which lifetime is whole
    duration of trigger call (sp_rcontext, it's tables and items,
    sp_cursor and Item_cache holders for case expressions).  We can't
    use caller's arena/memroot for those objects because in this case
    some fixed amount of memory will be consumed for each trigger
    invocation and so statements which involve lot of them will hog
    memory.

    TODO: we should create sp_rcontext once per command and reuse it
    on subsequent executions of a trigger.
  */
  init_sql_alloc(&call_mem_root, MEM_ROOT_BLOCK_SIZE, 0);
  thd->set_n_backup_active_arena(&call_arena, &backup_arena);

  if (!(nctx= new sp_rcontext(m_pcont, 0, octx)) ||
      nctx->init(thd))
  {
    err_status= TRUE;
    goto err_with_cleanup;
  }

#ifndef DBUG_OFF
  nctx->sp= this;
#endif

  thd->spcont= nctx;

  err_status= execute(thd);

err_with_cleanup:
  thd->restore_active_arena(&call_arena, &backup_arena);
1559 1560 1561 1562 1563

#ifndef NO_EMBEDDED_ACCESS_CHECKS
  m_security_ctx.restore_security_context(thd, save_ctx);
#endif // NO_EMBEDDED_ACCESS_CHECKS

1564 1565 1566 1567 1568
  delete nctx;
  call_arena.free_items();
  free_root(&call_mem_root, MYF(0));
  thd->spcont= octx;

1569 1570 1571
  if (thd->killed)
    thd->send_kill_message();

1572
  DBUG_RETURN(err_status);
1573 1574 1575
}


unknown's avatar
unknown committed
1576 1577 1578
/**
  Execute a function.

1579
   - evaluate parameters
1580 1581
   - changes security context for SUID routines
   - switch to new memroot
1582
   - call sp_head::execute
1583
   - restore old memroot
1584
   - evaluate the return value
1585
   - restores security context
1586

unknown's avatar
unknown committed
1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603
  @param thd               Thread handle
  @param argp              Passed arguments (these are items from containing
                           statement?)
  @param argcount          Number of passed arguments. We need to check if
                           this is correct.
  @param return_value_fld  Save result here.

  @todo
    We should create sp_rcontext once per command and reuse
    it on subsequent executions of a function/trigger.

  @todo
    In future we should associate call arena/mem_root with
    sp_rcontext and allocate all these objects (and sp_rcontext
    itself) on it directly rather than juggle with arenas.

  @retval
1604
    FALSE  on success
unknown's avatar
unknown committed
1605
  @retval
1606
    TRUE   on error
1607 1608
*/

1609 1610 1611
bool
sp_head::execute_function(THD *thd, Item **argp, uint argcount,
                          Field *return_value_fld)
1612
{
1613 1614
  ulonglong binlog_save_options;
  bool need_binlog_call;
1615
  uint arg_no;
1616 1617
  sp_rcontext *octx = thd->spcont;
  sp_rcontext *nctx = NULL;
1618 1619
  char buf[STRING_BUFFER_USUAL_SIZE];
  String binlog_buf(buf, sizeof(buf), &my_charset_bin);
1620
  bool err_status= FALSE;
1621 1622 1623
  MEM_ROOT call_mem_root;
  Query_arena call_arena(&call_mem_root, Query_arena::INITIALIZED_FOR_SP);
  Query_arena backup_arena;
1624 1625 1626
  DBUG_ENTER("sp_head::execute_function");
  DBUG_PRINT("info", ("function %s", m_name.str));

1627
  LINT_INIT(binlog_save_options);
1628 1629 1630 1631 1632 1633 1634

  /*
    Check that the function is called with all specified arguments.

    If it is not, use my_error() to report an error, or it will not terminate
    the invoking query properly.
  */
1635
  if (argcount != m_pcont->context_var_count())
unknown's avatar
unknown committed
1636
  {
unknown's avatar
unknown committed
1637
    /*
1638
      Need to use my_error here, or it will not terminate the
unknown's avatar
unknown committed
1639 1640
      invoking query properly.
    */
1641
    my_error(ER_SP_WRONG_NO_OF_ARGS, MYF(0),
1642
             "FUNCTION", m_qname.str, m_pcont->context_var_count(), argcount);
1643
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
1644
  }
1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657
  /*
    Prepare arena and memroot for objects which lifetime is whole
    duration of function call (sp_rcontext, it's tables and items,
    sp_cursor and Item_cache holders for case expressions).
    We can't use caller's arena/memroot for those objects because
    in this case some fixed amount of memory will be consumed for
    each function/trigger invocation and so statements which involve
    lot of them will hog memory.
    TODO: we should create sp_rcontext once per command and reuse
    it on subsequent executions of a function/trigger.
  */
  init_sql_alloc(&call_mem_root, MEM_ROOT_BLOCK_SIZE, 0);
  thd->set_n_backup_active_arena(&call_arena, &backup_arena);
1658 1659 1660 1661

  if (!(nctx= new sp_rcontext(m_pcont, return_value_fld, octx)) ||
      nctx->init(thd))
  {
1662 1663 1664
    thd->restore_active_arena(&call_arena, &backup_arena);
    err_status= TRUE;
    goto err_with_cleanup;
1665 1666
  }

1667 1668 1669 1670 1671 1672 1673 1674
  /*
    We have to switch temporarily back to callers arena/memroot.
    Function arguments belong to the caller and so the may reference
    memory which they will allocate during calculation long after
    this function call will be finished (e.g. in Item::cleanup()).
  */
  thd->restore_active_arena(&call_arena, &backup_arena);

1675
#ifndef DBUG_OFF
1676
  nctx->sp= this;
1677
#endif
1678 1679

  /* Pass arguments. */
1680
  for (arg_no= 0; arg_no < argcount; arg_no++)
1681
  {
1682 1683
    /* Arguments must be fixed in Item_func_sp::fix_fields */
    DBUG_ASSERT(argp[arg_no]->fixed);
1684

1685
    if ((err_status= nctx->set_variable(thd, arg_no, &(argp[arg_no]))))
1686
      goto err_with_cleanup;
1687
  }
1688

1689 1690 1691 1692 1693
  /*
    If row-based binlogging, we don't need to binlog the function's call, let
    each substatement be binlogged its way.
  */
  need_binlog_call= mysql_bin_log.is_open() &&
1694
    (thd->options & OPTION_BIN_LOG) && !thd->current_stmt_binlog_row_based;
1695

1696 1697 1698 1699 1700
  /*
    Remember the original arguments for unrolled replication of functions
    before they are changed by execution.
  */
  if (need_binlog_call)
1701
  {
1702 1703
    binlog_buf.length(0);
    binlog_buf.append(STRING_WITH_LEN("SELECT "));
1704 1705
    append_identifier(thd, &binlog_buf, m_db.str, m_db.length);
    binlog_buf.append('.');
1706 1707 1708
    append_identifier(thd, &binlog_buf, m_name.str, m_name.length);
    binlog_buf.append('(');
    for (arg_no= 0; arg_no < argcount; arg_no++)
1709
    {
1710 1711
      String str_value_holder;
      String *str_value;
1712

1713 1714
      if (arg_no)
        binlog_buf.append(',');
1715

1716
      str_value= sp_get_item_value(thd, nctx->get_item(arg_no),
1717
                                   &str_value_holder);
1718

1719 1720 1721 1722 1723 1724
      if (str_value)
        binlog_buf.append(*str_value);
      else
        binlog_buf.append(STRING_WITH_LEN("NULL"));
    }
    binlog_buf.append(')');
1725
  }
1726 1727
  thd->spcont= nctx;

1728 1729 1730 1731 1732 1733 1734 1735 1736
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  Security_context *save_security_ctx;
  if (set_routine_security_ctx(thd, this, FALSE, &save_security_ctx))
  {
    err_status= TRUE;
    goto err_with_cleanup;
  }
#endif

1737
  if (need_binlog_call)
1738
  {
1739
    query_id_t q;
1740
    reset_dynamic(&thd->user_var_events);
1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753
    /*
      In case of artificially constructed events for function calls
      we have separate union for each such event and hence can't use
      query_id of real calling statement as the start of all these
      unions (this will break logic of replication of user-defined
      variables). So we use artifical value which is guaranteed to
      be greater than all query_id's of all statements belonging
      to previous events/unions.
      Possible alternative to this is logging of all function invocations
      as one select and not resetting THD::user_var_events before
      each invocation.
    */
    VOID(pthread_mutex_lock(&LOCK_thread_count));
1754
    q= global_query_id;
1755 1756
    VOID(pthread_mutex_unlock(&LOCK_thread_count));
    mysql_bin_log.start_union_events(thd, q + 1);
1757 1758
    binlog_save_options= thd->options;
    thd->options&= ~OPTION_BIN_LOG;
1759
  }
1760

1761 1762 1763 1764 1765 1766 1767 1768 1769 1770
  /*
    Switch to call arena/mem_root so objects like sp_cursor or
    Item_cache holders for case expressions can be allocated on it.

    TODO: In future we should associate call arena/mem_root with
          sp_rcontext and allocate all these objects (and sp_rcontext
          itself) on it directly rather than juggle with arenas.
  */
  thd->set_n_backup_active_arena(&call_arena, &backup_arena);

1771
  err_status= execute(thd);
1772

1773 1774
  thd->restore_active_arena(&call_arena, &backup_arena);

1775
  if (need_binlog_call)
1776
  {
1777 1778 1779
    mysql_bin_log.stop_union_events(thd);
    thd->options= binlog_save_options;
    if (thd->binlog_evt_union.unioned_events)
1780
    {
1781
      int errcode = query_error_code(thd, thd->killed == THD::NOT_KILLED);
1782
      Query_log_event qinfo(thd, binlog_buf.ptr(), binlog_buf.length(),
1783
                            thd->binlog_evt_union.unioned_events_trans, FALSE, errcode);
1784 1785 1786 1787 1788 1789 1790 1791
      if (mysql_bin_log.write(&qinfo) &&
          thd->binlog_evt_union.unioned_events_trans)
      {
        push_warning(thd, MYSQL_ERROR::WARN_LEVEL_WARN, ER_UNKNOWN_ERROR,
                     "Invoked ROUTINE modified a transactional table but MySQL "
                     "failed to reflect this change in the binary log");
      }
      reset_dynamic(&thd->user_var_events);
1792 1793 1794
      /* Forget those values, in case more function calls are binlogged: */
      thd->stmt_depends_on_first_successful_insert_id_in_prev_stmt= 0;
      thd->auto_inc_intervals_in_cur_stmt_for_binlog.empty();
1795 1796
    }
  }
1797

1798
  if (!err_status)
1799
  {
1800
    /* We need result only in function but not in trigger */
1801

1802
    if (!nctx->is_return_value_set())
1803
    {
1804
      my_error(ER_SP_NORETURNEND, MYF(0), m_name.str);
1805
      err_status= TRUE;
1806 1807
    }
  }
1808

1809
#ifndef NO_EMBEDDED_ACCESS_CHECKS
1810
  m_security_ctx.restore_security_context(thd, save_security_ctx);
1811
#endif
1812 1813

err_with_cleanup:
1814
  delete nctx;
1815 1816
  call_arena.free_items();
  free_root(&call_mem_root, MYF(0));
1817
  thd->spcont= octx;
1818

1819
  DBUG_RETURN(err_status);
1820 1821
}

1822

unknown's avatar
unknown committed
1823
/**
1824 1825 1826 1827
  Execute a procedure. 

  The function does the following steps:
   - Set all parameters 
1828
   - changes security context for SUID routines
1829 1830
   - call sp_head::execute
   - copy back values of INOUT and OUT parameters
1831
   - restores security context
1832

unknown's avatar
unknown committed
1833 1834 1835 1836
  @param thd    Thread handle
  @param args   List of values passed as arguments.

  @retval
1837
    FALSE  on success
unknown's avatar
unknown committed
1838
  @retval
1839
    TRUE   on error
1840 1841
*/

1842 1843
bool
sp_head::execute_procedure(THD *thd, List<Item> *args)
1844
{
1845
  bool err_status= FALSE;
1846
  uint params = m_pcont->context_var_count();
1847
  sp_rcontext *save_spcont, *octx;
1848
  sp_rcontext *nctx = NULL;
1849
  bool save_enable_slow_log;
1850
  bool save_log_general= false;
1851 1852
  DBUG_ENTER("sp_head::execute_procedure");
  DBUG_PRINT("info", ("procedure %s", m_name.str));
1853

unknown's avatar
unknown committed
1854 1855
  if (args->elements != params)
  {
1856
    my_error(ER_SP_WRONG_NO_OF_ARGS, MYF(0), "PROCEDURE",
1857
             m_qname.str, params, args->elements);
1858
    DBUG_RETURN(TRUE);
unknown's avatar
unknown committed
1859 1860
  }

1861
  save_spcont= octx= thd->spcont;
1862 1863
  if (! octx)
  {				// Create a temporary old context
1864 1865 1866 1867 1868 1869 1870
    if (!(octx= new sp_rcontext(m_pcont, NULL, octx)) ||
        octx->init(thd))
    {
      delete octx; /* Delete octx if it was init() that failed. */
      DBUG_RETURN(TRUE);
    }
    
1871
#ifndef DBUG_OFF
1872
    octx->sp= 0;
1873
#endif
1874 1875 1876 1877 1878 1879
    thd->spcont= octx;

    /* set callers_arena to thd, for upper-level function to work */
    thd->spcont->callers_arena= thd;
  }

1880 1881
  if (!(nctx= new sp_rcontext(m_pcont, NULL, octx)) ||
      nctx->init(thd))
1882
  {
1883
    delete nctx; /* Delete nctx if it was init() that failed. */
1884
    thd->spcont= save_spcont;
1885
    DBUG_RETURN(TRUE);
1886
  }
1887
#ifndef DBUG_OFF
1888
  nctx->sp= this;
1889
#endif
1890

1891
  if (params > 0)
1892
  {
1893
    List_iterator<Item> it_args(*args);
1894

1895
    DBUG_PRINT("info",(" %.*s: eval args", (int) m_name.length, m_name.str));
1896 1897

    for (uint i= 0 ; i < params ; i++)
1898
    {
1899
      Item *arg_item= it_args++;
1900

1901 1902 1903
      if (!arg_item)
        break;

1904 1905
      sp_variable_t *spvar= m_pcont->find_variable(i);

1906
      if (!spvar)
1907 1908
        continue;

1909
      if (spvar->mode != sp_param_in)
1910
      {
1911 1912 1913 1914
        Settable_routine_parameter *srp=
          arg_item->get_settable_routine_parameter();

        if (!srp)
1915 1916 1917 1918 1919
        {
          my_error(ER_SP_NOT_VAR_ARG, MYF(0), i+1, m_qname.str);
          err_status= TRUE;
          break;
        }
1920 1921

        srp->set_required_privilege(spvar->mode == sp_param_inout);
1922 1923
      }

1924
      if (spvar->mode == sp_param_out)
1925 1926
      {
        Item_null *null_item= new Item_null();
1927
        Item *tmp_item= null_item;
1928 1929

        if (!null_item ||
1930
            nctx->set_variable(thd, i, &tmp_item))
1931 1932 1933 1934 1935 1936 1937
        {
          err_status= TRUE;
          break;
        }
      }
      else
      {
1938
        if (nctx->set_variable(thd, i, it_args.ref()))
1939 1940 1941 1942
        {
          err_status= TRUE;
          break;
        }
1943
      }
1944
    }
1945

1946 1947
    /* 
      Okay, got values for all arguments. Close tables that might be used by 
1948 1949
      arguments evaluation. If arguments evaluation required prelocking mode, 
      we'll leave it here.
1950 1951
    */
    if (!thd->in_sub_stmt)
1952 1953 1954 1955 1956
    {
      thd->lex->unit.cleanup();
      close_thread_tables(thd);            
      thd->rollback_item_tree_changes();
    }
1957

1958 1959
    DBUG_PRINT("info",(" %.*s: eval args done", (int) m_name.length, 
                       m_name.str));
1960
  }
1961 1962
  save_enable_slow_log= thd->enable_slow_log;
  if (!(m_flags & LOG_SLOW_STATEMENTS) && save_enable_slow_log)
unknown's avatar
unknown committed
1963 1964 1965 1966
  {
    DBUG_PRINT("info", ("Disabling slow log for the execution"));
    thd->enable_slow_log= FALSE;
  }
1967 1968 1969 1970 1971 1972 1973
  if (!(m_flags & LOG_GENERAL_LOG) && !(thd->options & OPTION_LOG_OFF))
  {
    DBUG_PRINT("info", ("Disabling general log for the execution"));
    save_log_general= true;
    /* disable this bit */
    thd->options |= OPTION_LOG_OFF;
  }
1974 1975
  thd->spcont= nctx;

1976 1977 1978 1979 1980 1981
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  Security_context *save_security_ctx= 0;
  if (!err_status)
    err_status= set_routine_security_ctx(thd, this, TRUE, &save_security_ctx);
#endif

1982 1983
  if (!err_status)
    err_status= execute(thd);
1984

1985 1986
  if (save_log_general)
    thd->options &= ~OPTION_LOG_OFF;
1987
  thd->enable_slow_log= save_enable_slow_log;
1988 1989 1990 1991 1992 1993 1994
  /*
    In the case when we weren't able to employ reuse mechanism for
    OUT/INOUT paranmeters, we should reallocate memory. This
    allocation should be done on the arena which will live through
    all execution of calling routine.
  */
  thd->spcont->callers_arena= octx->callers_arena;
1995

1996
  if (!err_status && params > 0)
1997
  {
1998
    List_iterator<Item> it_args(*args);
1999

unknown's avatar
unknown committed
2000 2001 2002 2003
    /*
      Copy back all OUT or INOUT values to the previous frame, or
      set global user variables
    */
2004
    for (uint i= 0 ; i < params ; i++)
2005
    {
2006 2007 2008 2009 2010
      Item *arg_item= it_args++;

      if (!arg_item)
        break;

2011
      sp_variable_t *spvar= m_pcont->find_variable(i);
2012

2013
      if (spvar->mode == sp_param_in)
2014 2015
        continue;

2016 2017 2018 2019 2020
      Settable_routine_parameter *srp=
        arg_item->get_settable_routine_parameter();

      DBUG_ASSERT(srp);

2021
      if (srp->set_value(thd, octx, nctx->get_item_addr(i)))
2022
      {
2023 2024
        err_status= TRUE;
        break;
2025
      }
2026 2027 2028
    }
  }

2029 2030
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  if (save_security_ctx)
2031
    m_security_ctx.restore_security_context(thd, save_security_ctx);
2032 2033
#endif

2034
  if (!save_spcont)
2035
    delete octx;
2036

2037
  delete nctx;
2038
  thd->spcont= save_spcont;
2039

2040
  DBUG_RETURN(err_status);
2041 2042 2043
}


2044
/**
2045
  Reset lex during parsing, before we parse a sub statement.
2046 2047 2048 2049 2050 2051 2052 2053 2054

  @param thd Thread handler.

  @return Error state
    @retval true An error occurred.
    @retval false Success.
*/

bool
2055 2056
sp_head::reset_lex(THD *thd)
{
2057 2058
  DBUG_ENTER("sp_head::reset_lex");
  LEX *sublex;
2059
  LEX *oldlex= thd->lex;
2060

2061 2062 2063 2064 2065
  sublex= new (thd->mem_root)st_lex_local;
  if (sublex == 0)
    DBUG_RETURN(TRUE);

  thd->lex= sublex;
2066
  (void)m_lex.push_front(oldlex);
unknown's avatar
unknown committed
2067

2068 2069
  /* Reset most stuff. */
  lex_start(thd);
unknown's avatar
unknown committed
2070

2071
  /* And keep the SP stuff too */
2072 2073
  sublex->sphead= oldlex->sphead;
  sublex->spcont= oldlex->spcont;
2074 2075
  /* And trigger related stuff too */
  sublex->trg_chistics= oldlex->trg_chistics;
2076
  sublex->trg_table_fields.empty();
2077
  sublex->sp_lex_in_use= FALSE;
2078 2079 2080 2081 2082 2083 2084 2085 2086

  /* Reset type info. */

  sublex->charset= NULL;
  sublex->length= NULL;
  sublex->dec= NULL;
  sublex->interval_list.empty();
  sublex->type= 0;

2087
  DBUG_RETURN(FALSE);
2088 2089
}

unknown's avatar
unknown committed
2090
/// Restore lex during parsing, after we have parsed a sub statement.
2091 2092 2093
void
sp_head::restore_lex(THD *thd)
{
2094 2095
  DBUG_ENTER("sp_head::restore_lex");
  LEX *sublex= thd->lex;
2096 2097 2098
  LEX *oldlex;

  sublex->set_trg_event_type_for_tables();
2099

2100
  oldlex= (LEX *)m_lex.pop();
2101 2102
  if (! oldlex)
    return;			// Nothing to restore
2103

2104
  oldlex->trg_table_fields.push_back(&sublex->trg_table_fields);
2105

unknown's avatar
unknown committed
2106 2107 2108 2109 2110
  /*
    If this substatement needs row-based, the entire routine does too (we
    cannot switch from statement-based to row-based only for this
    substatement).
  */
2111
  if (sublex->is_stmt_unsafe())
unknown's avatar
unknown committed
2112 2113
    m_flags|= BINLOG_ROW_BASED_IF_MIXED;

2114
  /*
2115 2116
    Add routines which are used by statement to respective set for
    this routine.
2117
  */
2118
  sp_update_sp_used_routines(&m_sroutines, &sublex->sroutines);
2119 2120 2121 2122 2123
  /*
    Merge tables used by this statement (but not by its functions or
    procedures) to multiset of tables used by this routine.
  */
  merge_table_list(thd, sublex->query_tables, sublex);
2124
  if (! sublex->sp_lex_in_use)
2125 2126
  {
    lex_end(sublex);
2127
    delete sublex;
2128
  }
2129
  thd->lex= oldlex;
2130
  DBUG_VOID_RETURN;
2131 2132
}

unknown's avatar
unknown committed
2133 2134 2135
/**
  Put the instruction on the backpatch list, associated with the label.
*/
2136
int
2137
sp_head::push_backpatch(sp_instr *i, sp_label_t *lab)
2138
{
2139
  bp_t *bp= (bp_t *)sql_alloc(sizeof(bp_t));
2140

2141 2142 2143 2144 2145
  if (!bp)
    return 1;
  bp->lab= lab;
  bp->instr= i;
  return m_backpatch.push_front(bp);
2146 2147
}

unknown's avatar
unknown committed
2148 2149 2150 2151
/**
  Update all instruction with this label in the backpatch list to
  the current position.
*/
2152
void
2153
sp_head::backpatch(sp_label_t *lab)
2154
{
2155
  bp_t *bp;
2156
  uint dest= instructions();
2157
  List_iterator_fast<bp_t> li(m_backpatch);
2158

unknown's avatar
unknown committed
2159
  DBUG_ENTER("sp_head::backpatch");
2160
  while ((bp= li++))
2161
  {
2162
    if (bp->lab == lab)
unknown's avatar
unknown committed
2163 2164 2165
    {
      DBUG_PRINT("info", ("backpatch: (m_ip %d, label 0x%lx <%s>) to dest %d",
                          bp->instr->m_ip, (ulong) lab, lab->name, dest));
2166
      bp->instr->backpatch(dest, lab->ctx);
unknown's avatar
unknown committed
2167
    }
2168
  }
unknown's avatar
unknown committed
2169
  DBUG_VOID_RETURN;
2170 2171
}

unknown's avatar
unknown committed
2172
/**
unknown's avatar
unknown committed
2173
  Prepare an instance of Create_field for field creation (fill all necessary
2174 2175
  attributes).

unknown's avatar
unknown committed
2176 2177 2178 2179
  @param[in]  thd          Thread handle
  @param[in]  lex          Yacc parsing context
  @param[in]  field_type   Field type
  @param[out] field_def    An instance of create_field to be filled
2180

unknown's avatar
unknown committed
2181
  @retval
2182
    FALSE  on success
unknown's avatar
unknown committed
2183
  @retval
2184 2185 2186 2187 2188 2189
    TRUE   on error
*/

bool
sp_head::fill_field_definition(THD *thd, LEX *lex,
                               enum enum_field_types field_type,
unknown's avatar
unknown committed
2190
                               Create_field *field_def)
2191 2192 2193 2194 2195 2196 2197 2198
{
  LEX_STRING cmt = { 0, 0 };
  uint unused1= 0;
  int unused2= 0;

  if (field_def->init(thd, (char*) "", field_type, lex->length, lex->dec,
                      lex->type, (Item*) 0, (Item*) 0, &cmt, 0,
                      &lex->interval_list,
unknown's avatar
unknown committed
2199 2200
                      lex->charset ? lex->charset :
                                     thd->variables.collation_database,
2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219
                      lex->uint_geom_type))
    return TRUE;

  if (field_def->interval_list.elements)
    field_def->interval= create_typelib(mem_root, field_def,
                                        &field_def->interval_list);

  sp_prepare_create_field(thd, field_def);

  if (prepare_create_field(field_def, &unused1, &unused2, &unused2,
                           HA_CAN_GEOMETRY))
  {
    return TRUE;
  }

  return FALSE;
}


2220
int
2221
sp_head::new_cont_backpatch(sp_instr_opt_meta *i)
2222 2223 2224 2225 2226 2227
{
  m_cont_level+= 1;
  if (i)
  {
    /* Use the cont. destination slot to store the level */
    i->m_cont_dest= m_cont_level;
2228 2229
    if (m_cont_backpatch.push_front(i))
      return 1;
2230
  }
2231
  return 0;
2232 2233
}

2234
int
2235
sp_head::add_cont_backpatch(sp_instr_opt_meta *i)
2236 2237
{
  i->m_cont_dest= m_cont_level;
2238
  return m_cont_backpatch.push_front(i);
2239 2240 2241 2242 2243 2244 2245
}

void
sp_head::do_cont_backpatch()
{
  uint dest= instructions();
  uint lev= m_cont_level--;
2246
  sp_instr_opt_meta *i;
2247 2248 2249 2250 2251 2252 2253 2254

  while ((i= m_cont_backpatch.head()) && i->m_cont_dest == lev)
  {
    i->m_cont_dest= dest;
    (void)m_cont_backpatch.pop();
  }
}

2255
void
2256
sp_head::set_info(longlong created, longlong modified,
2257
		  st_sp_chistics *chistics, ulong sql_mode)
2258 2259 2260
{
  m_created= created;
  m_modified= modified;
unknown's avatar
unknown committed
2261 2262
  m_chistics= (st_sp_chistics *) memdup_root(mem_root, (char*) chistics,
                                             sizeof(*chistics));
2263 2264 2265
  if (m_chistics->comment.length == 0)
    m_chistics->comment.str= 0;
  else
unknown's avatar
unknown committed
2266
    m_chistics->comment.str= strmake_root(mem_root,
2267 2268
					  m_chistics->comment.str,
					  m_chistics->comment.length);
2269
  m_sql_mode= sql_mode;
2270 2271
}

2272 2273

void
unknown's avatar
unknown committed
2274
sp_head::set_definer(const char *definer, uint definerlen)
2275
{
unknown's avatar
unknown committed
2276
  char user_name_holder[USERNAME_LENGTH + 1];
unknown's avatar
unknown committed
2277
  LEX_STRING user_name= { user_name_holder, USERNAME_LENGTH };
2278

2279
  char host_name_holder[HOSTNAME_LENGTH + 1];
2280
  LEX_STRING host_name= { host_name_holder, HOSTNAME_LENGTH };
2281

2282 2283
  parse_user(definer, definerlen, user_name.str, &user_name.length,
             host_name.str, &host_name.length);
2284

2285 2286 2287 2288 2289 2290 2291 2292 2293 2294 2295 2296
  set_definer(&user_name, &host_name);
}


void
sp_head::set_definer(const LEX_STRING *user_name, const LEX_STRING *host_name)
{
  m_definer_user.str= strmake_root(mem_root, user_name->str, user_name->length);
  m_definer_user.length= user_name->length;

  m_definer_host.str= strmake_root(mem_root, host_name->str, host_name->length);
  m_definer_host.length= host_name->length;
2297 2298 2299
}


2300 2301 2302
void
sp_head::reset_thd_mem_root(THD *thd)
{
2303
  DBUG_ENTER("sp_head::reset_thd_mem_root");
2304
  m_thd_root= thd->mem_root;
unknown's avatar
unknown committed
2305
  thd->mem_root= &main_mem_root;
2306 2307 2308
  DBUG_PRINT("info", ("mem_root 0x%lx moved to thd mem root 0x%lx",
                      (ulong) &mem_root, (ulong) &thd->mem_root));
  free_list= thd->free_list; // Keep the old list
2309 2310
  thd->free_list= NULL;	// Start a new one
  m_thd= thd;
2311
  DBUG_VOID_RETURN;
2312 2313 2314 2315 2316
}

void
sp_head::restore_thd_mem_root(THD *thd)
{
2317 2318
  DBUG_ENTER("sp_head::restore_thd_mem_root");
  Item *flist= free_list;	// The old list
unknown's avatar
unknown committed
2319
  set_query_arena(thd);         // Get new free_list and mem_root
2320
  state= INITIALIZED_FOR_SP;
2321

2322 2323
  DBUG_PRINT("info", ("mem_root 0x%lx returned from thd mem root 0x%lx",
                      (ulong) &mem_root, (ulong) &thd->mem_root));
2324 2325 2326
  thd->free_list= flist;	// Restore the old one
  thd->mem_root= m_thd_root;
  m_thd= NULL;
2327
  DBUG_VOID_RETURN;
2328 2329 2330
}


unknown's avatar
unknown committed
2331 2332 2333 2334 2335 2336 2337 2338 2339 2340 2341
/**
  Check if a user has access right to a routine.

  @param thd		    Thread handler
  @param sp		    SP
  @param full_access       Set to 1 if the user has SELECT right to the
                           'mysql.proc' able or is the owner of the routine
  @retval
    false ok
  @retval
    true  error
2342 2343 2344
*/

bool check_show_routine_access(THD *thd, sp_head *sp, bool *full_access)
2345 2346 2347 2348 2349
{
  TABLE_LIST tables;
  bzero((char*) &tables,sizeof(tables));
  tables.db= (char*) "mysql";
  tables.table_name= tables.alias= (char*) "proc";
2350
  *full_access= (!check_table_access(thd, SELECT_ACL, &tables, 1, TRUE) ||
2351 2352 2353 2354
                 (!strcmp(sp->m_definer_user.str,
                          thd->security_ctx->priv_user) &&
                  !strcmp(sp->m_definer_host.str,
                          thd->security_ctx->priv_host)));
2355
  if (!*full_access)
2356 2357
    return check_some_routine_access(thd, sp->m_db.str, sp->m_name.str,
                                     sp->m_type == TYPE_ENUM_PROCEDURE);
2358 2359 2360 2361
  return 0;
}


unknown's avatar
unknown committed
2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375
/**
  Implement SHOW CREATE statement for stored routines.

  @param thd  Thread context.
  @param type         Stored routine type
                      (TYPE_ENUM_PROCEDURE or TYPE_ENUM_FUNCTION)

  @return Error status.
    @retval FALSE on success
    @retval TRUE on error
*/

bool
sp_head::show_create_routine(THD *thd, int type)
unknown's avatar
unknown committed
2376
{
unknown's avatar
unknown committed
2377 2378 2379 2380 2381 2382 2383 2384
  const char *col1_caption= type == TYPE_ENUM_PROCEDURE ?
                            "Procedure" : "Function";

  const char *col3_caption= type == TYPE_ENUM_PROCEDURE ?
                            "Create Procedure" : "Create Function";

  bool err_status;

unknown's avatar
unknown committed
2385
  Protocol *protocol= thd->protocol;
unknown's avatar
unknown committed
2386 2387
  List<Item> fields;

2388
  LEX_STRING sql_mode;
unknown's avatar
unknown committed
2389

2390
  bool full_access;
unknown's avatar
unknown committed
2391 2392 2393 2394 2395 2396

  DBUG_ENTER("sp_head::show_create_routine");
  DBUG_PRINT("info", ("routine %s", m_name.str));

  DBUG_ASSERT(type == TYPE_ENUM_PROCEDURE ||
              type == TYPE_ENUM_FUNCTION);
unknown's avatar
unknown committed
2397

2398
  if (check_show_routine_access(thd, this, &full_access))
unknown's avatar
unknown committed
2399
    DBUG_RETURN(TRUE);
2400

2401
    sys_var::make_set(thd, m_sql_mode, &sql_mode_typelib, &sql_mode);
unknown's avatar
unknown committed
2402 2403 2404

  /* Send header. */

unknown's avatar
unknown committed
2405
  fields.push_back(new Item_empty_string(col1_caption, NAME_CHAR_LEN));
unknown's avatar
unknown committed
2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422
  fields.push_back(new Item_empty_string("sql_mode", sql_mode.length));

  {
    /*
      NOTE: SQL statement field must be not less than 1024 in order not to
      confuse old clients.
    */

    Item_empty_string *stmt_fld=
      new Item_empty_string(col3_caption,
                            max(m_defstr.length, 1024));

    stmt_fld->maybe_null= TRUE;

    fields.push_back(stmt_fld);
  }

unknown's avatar
unknown committed
2423 2424 2425 2426 2427 2428 2429 2430 2431
  fields.push_back(new Item_empty_string("character_set_client",
                                         MY_CS_NAME_SIZE));

  fields.push_back(new Item_empty_string("collation_connection",
                                         MY_CS_NAME_SIZE));

  fields.push_back(new Item_empty_string("Database Collation",
                                         MY_CS_NAME_SIZE));

unknown's avatar
unknown committed
2432 2433 2434 2435 2436 2437 2438
  if (protocol->send_fields(&fields,
                            Protocol::SEND_NUM_ROWS | Protocol::SEND_EOF))
  {
    DBUG_RETURN(TRUE);
  }

  /* Send data. */
2439

unknown's avatar
unknown committed
2440
  protocol->prepare_for_resend();
unknown's avatar
unknown committed
2441

unknown's avatar
unknown committed
2442
  protocol->store(m_name.str, m_name.length, system_charset_info);
unknown's avatar
unknown committed
2443 2444
  protocol->store(sql_mode.str, sql_mode.length, system_charset_info);

2445
  if (full_access)
2446 2447
    protocol->store(m_defstr.str, m_defstr.length,
                    m_creation_ctx->get_client_cs());
2448 2449
  else
    protocol->store_null();
2450

unknown's avatar
unknown committed
2451 2452 2453 2454 2455

  protocol->store(m_creation_ctx->get_client_cs()->csname, system_charset_info);
  protocol->store(m_creation_ctx->get_connection_cl()->name, system_charset_info);
  protocol->store(m_creation_ctx->get_db_cl()->name, system_charset_info);

unknown's avatar
unknown committed
2456 2457 2458
  err_status= protocol->write();

  if (!err_status)
2459
    my_eof(thd);
unknown's avatar
unknown committed
2460 2461

  DBUG_RETURN(err_status);
unknown's avatar
unknown committed
2462 2463
}

2464

unknown's avatar
unknown committed
2465 2466


unknown's avatar
unknown committed
2467 2468
/**
  Add instruction to SP.
2469

unknown's avatar
unknown committed
2470
  @param instr   Instruction
2471 2472
*/

2473
int sp_head::add_instr(sp_instr *instr)
2474 2475 2476
{
  instr->free_list= m_thd->free_list;
  m_thd->free_list= 0;
2477 2478 2479 2480 2481 2482 2483
  /*
    Memory root of every instruction is designated for permanent
    transformations (optimizations) made on the parsed tree during
    the first execution. It points to the memory root of the
    entire stored procedure, as their life span is equal.
  */
  instr->mem_root= &main_mem_root;
Alexey Botchkov's avatar
Alexey Botchkov committed
2484
  return insert_dynamic(&m_instr, (uchar*)&instr);
unknown's avatar
unknown committed
2485
}
2486

2487

unknown's avatar
unknown committed
2488
/**
2489
  Do some minimal optimization of the code:
unknown's avatar
unknown committed
2490 2491 2492
    -# Mark used instructions
    -# While doing this, shortcut jumps to jump instructions
    -# Compact the code, removing unused instructions.
2493 2494 2495 2496

  This is the main mark and move loop; it relies on the following methods
  in sp_instr and its subclasses:

unknown's avatar
unknown committed
2497 2498 2499 2500 2501
    - opt_mark()         :  Mark instruction as reachable
    - opt_shortcut_jump():  Shortcut jumps to the final destination;
                           used by opt_mark().
    - opt_move()         :  Update moved instruction
    - set_destination()  :  Set the new destination (jump instructions only)
2502 2503 2504
*/

void sp_head::optimize()
2505 2506 2507 2508 2509
{
  List<sp_instr> bp;
  sp_instr *i;
  uint src, dst;

2510
  opt_mark();
2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523

  bp.empty();
  src= dst= 0;
  while ((i= get_instr(src)))
  {
    if (! i->marked)
    {
      delete i;
      src+= 1;
    }
    else
    {
      if (src != dst)
2524
      {                         // Move the instruction and update prev. jumps
2525 2526 2527
	sp_instr *ibp;
	List_iterator_fast<sp_instr> li(bp);

2528
	set_dynamic(&m_instr, (uchar*)&i, dst);
2529
	while ((ibp= li++))
2530 2531 2532 2533
        {
          sp_instr_opt_meta *im= static_cast<sp_instr_opt_meta *>(ibp);
          im->set_destination(src, dst);
        }
2534 2535 2536 2537 2538 2539 2540 2541 2542 2543
      }
      i->opt_move(dst, &bp);
      src+= 1;
      dst+= 1;
    }
  }
  m_instr.elements= dst;
  bp.empty();
}

2544 2545 2546 2547 2548 2549 2550 2551
void sp_head::add_mark_lead(uint ip, List<sp_instr> *leads)
{
  sp_instr *i= get_instr(ip);

  if (i && ! i->marked)
    leads->push_front(i);
}

2552
void
2553
sp_head::opt_mark()
2554
{
2555
  uint ip;
2556
  sp_instr *i;
2557
  List<sp_instr> leads;
2558

2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 2579 2580 2581 2582 2583 2584 2585 2586 2587
  /*
    Forward flow analysis algorithm in the instruction graph:
    - first, add the entry point in the graph (the first instruction) to the
      'leads' list of paths to explore.
    - while there are still leads to explore:
      - pick one lead, and follow the path forward. Mark instruction reached.
        Stop only if the end of the routine is reached, or the path converge
        to code already explored (marked).
      - while following a path, collect in the 'leads' list any fork to
        another path (caused by conditional jumps instructions), so that these
        paths can be explored as well.
  */

  /* Add the entry point */
  i= get_instr(0);
  leads.push_front(i);

  /* For each path of code ... */
  while (leads.elements != 0)
  {
    i= leads.pop();

    /* Mark the entire path, collecting new leads. */
    while (i && ! i->marked)
    {
      ip= i->opt_mark(this, & leads);
      i= get_instr(ip);
    }
  }
2588 2589
}

2590

unknown's avatar
unknown committed
2591
#ifndef DBUG_OFF
unknown's avatar
unknown committed
2592
/**
2593
  Return the routine instructions as a result set.
unknown's avatar
unknown committed
2594 2595
  @return
    0 if ok, !=0 on error.
2596
*/
unknown's avatar
unknown committed
2597 2598 2599 2600 2601 2602 2603
int
sp_head::show_routine_code(THD *thd)
{
  Protocol *protocol= thd->protocol;
  char buff[2048];
  String buffer(buff, sizeof(buff), system_charset_info);
  List<Item> field_list;
2604
  sp_instr *i;
unknown's avatar
unknown committed
2605
  bool full_access;
2606
  int res= 0;
unknown's avatar
unknown committed
2607 2608
  uint ip;
  DBUG_ENTER("sp_head::show_routine_code");
2609
  DBUG_PRINT("info", ("procedure: %s", m_name.str));
unknown's avatar
unknown committed
2610 2611 2612 2613 2614 2615 2616 2617 2618 2619 2620 2621 2622 2623

  if (check_show_routine_access(thd, this, &full_access) || !full_access)
    DBUG_RETURN(1);

  field_list.push_back(new Item_uint("Pos", 9));
  // 1024 is for not to confuse old clients
  field_list.push_back(new Item_empty_string("Instruction",
					     max(buffer.length(), 1024)));
  if (protocol->send_fields(&field_list, Protocol::SEND_NUM_ROWS |
                                         Protocol::SEND_EOF))
    DBUG_RETURN(1);

  for (ip= 0; (i = get_instr(ip)) ; ip++)
  {
2624 2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639
    /* 
      Consistency check. If these are different something went wrong
      during optimization.
    */
    if (ip != i->m_ip)
    {
      const char *format= "Instruction at position %u has m_ip=%u";
      char tmp[sizeof(format) + 2*SP_INSTR_UINT_MAXLEN + 1];

      sprintf(tmp, format, ip, i->m_ip);
      /*
        Since this is for debugging purposes only, we don't bother to
        introduce a special error code for it.
      */
      push_warning(thd, MYSQL_ERROR::WARN_LEVEL_WARN, ER_UNKNOWN_ERROR, tmp);
    }
unknown's avatar
unknown committed
2640 2641 2642 2643 2644
    protocol->prepare_for_resend();
    protocol->store((longlong)ip);

    buffer.set("", 0, system_charset_info);
    i->print(&buffer);
2645
    protocol->store(buffer.ptr(), buffer.length(), system_charset_info);
unknown's avatar
unknown committed
2646 2647 2648
    if ((res= protocol->write()))
      break;
  }
unknown's avatar
unknown committed
2649 2650

  if (!res)
2651
    my_eof(thd);
unknown's avatar
unknown committed
2652 2653 2654 2655 2656 2657

  DBUG_RETURN(res);
}
#endif // ifndef DBUG_OFF


unknown's avatar
unknown committed
2658
/**
2659 2660 2661 2662
  Prepare LEX and thread for execution of instruction, if requested open
  and lock LEX's tables, execute instruction's core function, perform
  cleanup afterwards.

unknown's avatar
unknown committed
2663 2664 2665 2666 2667 2668 2669 2670
  @param thd           thread context
  @param nextp         out - next instruction
  @param open_tables   if TRUE then check read access to tables in LEX's table
                       list and open and lock them (used in instructions which
                       need to calculate some expression and don't execute
                       complete statement).
  @param sp_instr      instruction for which we prepare context, and which core
                       function execute by calling its exec_core() method.
2671

unknown's avatar
unknown committed
2672
  @note
2673 2674 2675
    We are not saving/restoring some parts of THD which may need this because
    we do this once for whole routine execution in sp_head::execute().

unknown's avatar
unknown committed
2676
  @return
2677 2678 2679 2680 2681 2682 2683 2684
    0/non-0 - Success/Failure
*/

int
sp_lex_keeper::reset_lex_and_exec_core(THD *thd, uint *nextp,
                                       bool open_tables, sp_instr* instr)
{
  int res= 0;
2685
  DBUG_ENTER("reset_lex_and_exec_core");
2686

unknown's avatar
unknown committed
2687 2688 2689 2690 2691 2692 2693
  /* 
    The flag is saved at the entry to the following substatement.
    It's reset further in the common code part.
    It's merged with the saved parent's value at the exit of this func.
  */
  bool parent_modified_non_trans_table= thd->transaction.stmt.modified_non_trans_table;
  thd->transaction.stmt.modified_non_trans_table= FALSE;
2694 2695 2696 2697 2698 2699 2700 2701 2702 2703
  DBUG_ASSERT(!thd->derived_tables);
  DBUG_ASSERT(thd->change_list.is_empty());
  /*
    Use our own lex.
    We should not save old value since it is saved/restored in
    sp_head::execute() when we are entering/leaving routine.
  */
  thd->lex= m_lex;

  VOID(pthread_mutex_lock(&LOCK_thread_count));
2704
  thd->query_id= next_query_id();
2705 2706
  VOID(pthread_mutex_unlock(&LOCK_thread_count));

2707 2708 2709 2710 2711 2712 2713 2714 2715 2716 2717 2718 2719 2720 2721 2722 2723 2724
  if (thd->prelocked_mode == NON_PRELOCKED)
  {
    /*
      This statement will enter/leave prelocked mode on its own.
      Entering prelocked mode changes table list and related members
      of LEX, so we'll need to restore them.
    */
    if (lex_query_tables_own_last)
    {
      /*
        We've already entered/left prelocked mode with this statement.
        Attach the list of tables that need to be prelocked and mark m_lex
        as having such list attached.
      */
      *lex_query_tables_own_last= prelocking_tables;
      m_lex->mark_as_requiring_prelocking(lex_query_tables_own_last);
    }
  }
2725

2726
  reinit_stmt_before_use(thd, m_lex);
2727 2728

  if (open_tables)
2729
    res= instr->exec_open_and_lock_tables(thd, m_lex->query_tables);
2730 2731

  if (!res)
2732
  {
2733
    res= instr->exec_core(thd, nextp);
2734 2735
    DBUG_PRINT("info",("exec_core returned: %d", res));
  }
2736 2737 2738

  m_lex->unit.cleanup();

2739
  thd_proc_info(thd, "closing tables");
2740
  /* Here we also commit or rollback the current statement. */
2741
  close_thread_tables(thd);
2742
  thd_proc_info(thd, 0);
2743

2744
  if (m_lex->query_tables_own_last)
2745
  {
2746 2747 2748 2749 2750 2751 2752 2753 2754 2755 2756 2757 2758
    /*
      We've entered and left prelocking mode when executing statement
      stored in m_lex. 
      m_lex->query_tables(->next_global)* list now has a 'tail' - a list
      of tables that are added for prelocking. (If this is the first
      execution, the 'tail' was added by open_tables(), otherwise we've
      attached it above in this function).
      Now we'll save the 'tail', and detach it.
    */
    lex_query_tables_own_last= m_lex->query_tables_own_last;
    prelocking_tables= *lex_query_tables_own_last;
    *lex_query_tables_own_last= NULL;
    m_lex->mark_as_requiring_prelocking(NULL);
2759
  }
2760
  thd->rollback_item_tree_changes();
2761 2762 2763
  /* Update the state of the active arena. */
  thd->stmt_arena->state= Query_arena::EXECUTED;

unknown's avatar
unknown committed
2764 2765 2766 2767 2768
  /*
    Merge here with the saved parent's values
    what is needed from the substatement gained
  */
  thd->transaction.stmt.modified_non_trans_table |= parent_modified_non_trans_table;
2769 2770 2771 2772 2773 2774 2775 2776 2777
  /*
    Unlike for PS we should not call Item's destructors for newly created
    items after execution of each instruction in stored routine. This is
    because SP often create Item (like Item_int, Item_string etc...) when
    they want to store some value in local variable, pass return value and
    etc... So their life time should be longer than one instruction.

    cleanup_items() is called in sp_head::execute()
  */
2778
  DBUG_RETURN(res || thd->is_error());
2779 2780 2781
}


unknown's avatar
unknown committed
2782 2783 2784 2785
/*
  sp_instr class functions
*/

2786
int sp_instr::exec_open_and_lock_tables(THD *thd, TABLE_LIST *tables)
2787 2788 2789 2790 2791 2792 2793
{
  int result;

  /*
    Check whenever we have access to tables for this statement
    and open and lock them before executing instructions core function.
  */
2794
  if (check_table_access(thd, SELECT_ACL, tables, UINT_MAX, FALSE)
2795 2796 2797 2798 2799 2800 2801 2802
      || open_and_lock_tables(thd, tables))
    result= -1;
  else
    result= 0;

  return result;
}

2803
uint sp_instr::get_cont_dest()
2804
{
2805
  return (m_ip+1);
2806 2807 2808
}


2809
int sp_instr::exec_core(THD *thd, uint *nextp)
2810
{
2811 2812
  DBUG_ASSERT(0);
  return 0;
2813 2814
}

unknown's avatar
unknown committed
2815 2816 2817 2818
/*
  sp_instr_stmt class functions
*/

2819
int
2820
sp_instr_stmt::execute(THD *thd, uint *nextp)
2821
{
2822 2823
  char *query;
  uint32 query_length;
2824
  int res;
2825
  DBUG_ENTER("sp_instr_stmt::execute");
2826
  DBUG_PRINT("info", ("command: %d", m_lex_keeper.sql_command()));
2827 2828 2829

  query= thd->query;
  query_length= thd->query_length;
2830 2831 2832 2833
#if defined(ENABLED_PROFILING) && defined(COMMUNITY_SERVER)
  /* This s-p instr is profilable and will be captured. */
  thd->profiling.set_query_source(m_query.str, m_query.length);
#endif
2834
  if (!(res= alloc_query(thd, m_query.str, m_query.length)) &&
2835
      !(res=subst_spvars(thd, this, &m_query)))
2836
  {
2837 2838 2839 2840
    /*
      (the order of query cache and subst_spvars calls is irrelevant because
      queries with SP vars can't be cached)
    */
2841
    if (unlikely((thd->options & OPTION_LOG_OFF)==0))
2842
      general_log_write(thd, COM_QUERY, thd->query, thd->query_length);
2843

2844 2845 2846
    if (query_cache_send_result_to_client(thd,
					  thd->query, thd->query_length) <= 0)
    {
2847
      res= m_lex_keeper.reset_lex_and_exec_core(thd, nextp, FALSE, this);
2848 2849 2850 2851 2852 2853

      if (thd->main_da.is_eof())
        net_end_statement(thd);

      query_cache_end_of_result(thd);

unknown's avatar
unknown committed
2854 2855
      if (!res && unlikely(thd->enable_slow_log))
        log_slow_statement(thd);
2856
    }
2857 2858
    else
      *nextp= m_ip+1;
2859
    thd->set_query(query, query_length);
2860
    thd->query_name_consts= 0;
2861 2862 2863

    if (!thd->is_error())
      thd->main_da.reset_diagnostics_area();
2864
  }
2865
  DBUG_RETURN(res || thd->is_error());
2866 2867
}

2868

2869 2870 2871
void
sp_instr_stmt::print(String *str)
{
unknown's avatar
unknown committed
2872 2873
  uint i, len;

2874 2875
  /* stmt CMD "..." */
  if (str->reserve(SP_STMT_PRINT_MAXLEN+SP_INSTR_UINT_MAXLEN+8))
2876
    return;
2877
  str->qs_append(STRING_WITH_LEN("stmt "));
2878
  str->qs_append((uint)m_lex_keeper.sql_command());
2879
  str->qs_append(STRING_WITH_LEN(" \""));
unknown's avatar
unknown committed
2880 2881 2882 2883 2884
  len= m_query.length;
  /*
    Print the query string (but not too much of it), just to indicate which
    statement it is.
  */
2885 2886
  if (len > SP_STMT_PRINT_MAXLEN)
    len= SP_STMT_PRINT_MAXLEN-3;
unknown's avatar
unknown committed
2887 2888
  /* Copy the query string and replace '\n' with ' ' in the process */
  for (i= 0 ; i < len ; i++)
2889
  {
unknown's avatar
unknown committed
2890 2891 2892 2893
    char c= m_query.str[i];
    if (c == '\n')
      c= ' ';
    str->qs_append(c);
2894
  }
2895
  if (m_query.length > SP_STMT_PRINT_MAXLEN)
2896
    str->qs_append(STRING_WITH_LEN("...")); /* Indicate truncated string */
2897
  str->qs_append('"');
2898
}
unknown's avatar
unknown committed
2899

2900

2901
int
2902
sp_instr_stmt::exec_core(THD *thd, uint *nextp)
2903
{
2904 2905
  int res= mysql_execute_command(thd);
  *nextp= m_ip+1;
2906
  return res;
2907 2908
}

unknown's avatar
unknown committed
2909 2910 2911 2912 2913

/*
  sp_instr_set class functions
*/

2914
int
2915
sp_instr_set::execute(THD *thd, uint *nextp)
2916
{
2917 2918
  DBUG_ENTER("sp_instr_set::execute");
  DBUG_PRINT("info", ("offset: %u", m_offset));
2919 2920 2921 2922

  DBUG_RETURN(m_lex_keeper.reset_lex_and_exec_core(thd, nextp, TRUE, this));
}

unknown's avatar
unknown committed
2923

2924 2925 2926
int
sp_instr_set::exec_core(THD *thd, uint *nextp)
{
2927
  int res= thd->spcont->set_variable(thd, m_offset, &m_value);
2928

2929
  if (res && thd->spcont->found_handler_here())
2930 2931
  {
    /*
2932 2933
      Failed to evaluate the value, and a handler has been found. Reset the
      variable to NULL.
2934 2935
    */

2936 2937 2938
    if (thd->spcont->set_variable(thd, m_offset, 0))
    {
      /* If this also failed, let's abort. */
2939

2940 2941
      sp_rcontext *spcont= thd->spcont;
    
2942
      thd->spcont= NULL;           /* Avoid handlers */
2943 2944 2945 2946 2947
      my_error(ER_OUT_OF_RESOURCES, MYF(0));
      spcont->clear_handler();
      thd->spcont= spcont;
    }
  }
2948

2949
  *nextp = m_ip+1;
2950
  return res;
2951 2952
}

2953 2954 2955
void
sp_instr_set::print(String *str)
{
2956 2957
  /* set name@offset ... */
  int rsrv = SP_INSTR_UINT_MAXLEN+6;
2958
  sp_variable_t *var = m_ctx->find_variable(m_offset);
unknown's avatar
unknown committed
2959 2960 2961 2962

  /* 'var' should always be non-null, but just in case... */
  if (var)
    rsrv+= var->name.length;
2963 2964
  if (str->reserve(rsrv))
    return;
2965
  str->qs_append(STRING_WITH_LEN("set "));
unknown's avatar
unknown committed
2966 2967
  if (var)
  {
2968 2969
    str->qs_append(var->name.str, var->name.length);
    str->qs_append('@');
unknown's avatar
unknown committed
2970
  }
2971
  str->qs_append(m_offset);
2972
  str->qs_append(' ');
2973
  m_value->print(str, QT_ORDINARY);
2974 2975
}

2976

unknown's avatar
unknown committed
2977 2978 2979 2980
/*
  sp_instr_set_trigger_field class functions
*/

2981 2982 2983 2984
int
sp_instr_set_trigger_field::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_set_trigger_field::execute");
2985 2986 2987 2988 2989 2990 2991
  DBUG_RETURN(m_lex_keeper.reset_lex_and_exec_core(thd, nextp, TRUE, this));
}


int
sp_instr_set_trigger_field::exec_core(THD *thd, uint *nextp)
{
2992
  const int res= (trigger_field->set_value(thd, &value) ? -1 : 0);
2993 2994
  *nextp = m_ip+1;
  return res;
2995 2996 2997 2998 2999
}

void
sp_instr_set_trigger_field::print(String *str)
{
3000
  str->append(STRING_WITH_LEN("set_trigger_field "));
3001
  trigger_field->print(str, QT_ORDINARY);
3002
  str->append(STRING_WITH_LEN(":="));
3003
  value->print(str, QT_ORDINARY);
3004 3005
}

3006 3007 3008 3009
/*
  sp_instr_opt_meta
*/

3010
uint sp_instr_opt_meta::get_cont_dest()
3011
{
3012
  return m_cont_dest;
3013 3014
}

unknown's avatar
unknown committed
3015 3016 3017 3018 3019

/*
 sp_instr_jump class functions
*/

3020 3021 3022 3023 3024 3025 3026 3027 3028 3029
int
sp_instr_jump::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_jump::execute");
  DBUG_PRINT("info", ("destination: %u", m_dest));

  *nextp= m_dest;
  DBUG_RETURN(0);
}

3030 3031 3032
void
sp_instr_jump::print(String *str)
{
3033 3034
  /* jump dest */
  if (str->reserve(SP_INSTR_UINT_MAXLEN+5))
3035
    return;
3036
  str->qs_append(STRING_WITH_LEN("jump "));
3037 3038 3039
  str->qs_append(m_dest);
}

3040
uint
3041
sp_instr_jump::opt_mark(sp_head *sp, List<sp_instr> *leads)
3042
{
3043
  m_dest= opt_shortcut_jump(sp, this);
3044 3045
  if (m_dest != m_ip+1)		/* Jumping to following instruction? */
    marked= 1;
3046 3047 3048 3049 3050
  m_optdest= sp->get_instr(m_dest);
  return m_dest;
}

uint
3051
sp_instr_jump::opt_shortcut_jump(sp_head *sp, sp_instr *start)
3052 3053 3054 3055 3056 3057
{
  uint dest= m_dest;
  sp_instr *i;

  while ((i= sp->get_instr(dest)))
  {
3058
    uint ndest;
3059

3060
    if (start == i || this == i)
3061 3062
      break;
    ndest= i->opt_shortcut_jump(sp, start);
3063 3064 3065 3066 3067 3068 3069 3070 3071 3072 3073 3074 3075 3076 3077 3078 3079
    if (ndest == dest)
      break;
    dest= ndest;
  }
  return dest;
}

void
sp_instr_jump::opt_move(uint dst, List<sp_instr> *bp)
{
  if (m_dest > m_ip)
    bp->push_back(this);	// Forward
  else if (m_optdest)
    m_dest= m_optdest->m_ip;	// Backward
  m_ip= dst;
}

unknown's avatar
unknown committed
3080 3081 3082 3083 3084

/*
  sp_instr_jump_if_not class functions
*/

3085 3086 3087
int
sp_instr_jump_if_not::execute(THD *thd, uint *nextp)
{
3088 3089
  DBUG_ENTER("sp_instr_jump_if_not::execute");
  DBUG_PRINT("info", ("destination: %u", m_dest));
3090 3091 3092 3093 3094 3095 3096
  DBUG_RETURN(m_lex_keeper.reset_lex_and_exec_core(thd, nextp, TRUE, this));
}


int
sp_instr_jump_if_not::exec_core(THD *thd, uint *nextp)
{
3097 3098
  Item *it;
  int res;
3099

3100
  it= sp_prepare_func_item(thd, &m_expr);
3101
  if (! it)
3102
  {
3103
    res= -1;
3104
  }
3105
  else
3106 3107
  {
    res= 0;
3108
    if (! it->val_bool())
3109 3110 3111 3112
      *nextp = m_dest;
    else
      *nextp = m_ip+1;
  }
3113 3114

  return res;
3115
}
3116

unknown's avatar
unknown committed
3117

3118 3119 3120
void
sp_instr_jump_if_not::print(String *str)
{
3121
  /* jump_if_not dest(cont) ... */
3122
  if (str->reserve(2*SP_INSTR_UINT_MAXLEN+14+32)) // Add some for the expr. too
3123
    return;
3124
  str->qs_append(STRING_WITH_LEN("jump_if_not "));
3125
  str->qs_append(m_dest);
3126
  str->qs_append('(');
3127
  str->qs_append(m_cont_dest);
3128
  str->qs_append(STRING_WITH_LEN(") "));
3129
  m_expr->print(str, QT_ORDINARY);
3130 3131
}

unknown's avatar
unknown committed
3132

3133
uint
3134
sp_instr_jump_if_not::opt_mark(sp_head *sp, List<sp_instr> *leads)
3135 3136 3137 3138 3139 3140
{
  sp_instr *i;

  marked= 1;
  if ((i= sp->get_instr(m_dest)))
  {
3141
    m_dest= i->opt_shortcut_jump(sp, this);
3142 3143
    m_optdest= sp->get_instr(m_dest);
  }
3144
  sp->add_mark_lead(m_dest, leads);
3145 3146 3147 3148 3149
  if ((i= sp->get_instr(m_cont_dest)))
  {
    m_cont_dest= i->opt_shortcut_jump(sp, this);
    m_cont_optdest= sp->get_instr(m_cont_dest);
  }
3150
  sp->add_mark_lead(m_cont_dest, leads);
3151 3152 3153
  return m_ip+1;
}

3154 3155 3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173
void
sp_instr_jump_if_not::opt_move(uint dst, List<sp_instr> *bp)
{
  /*
    cont. destinations may point backwards after shortcutting jumps
    during the mark phase. If it's still pointing forwards, only
    push this for backpatching if sp_instr_jump::opt_move() will not
    do it (i.e. if the m_dest points backwards).
   */
  if (m_cont_dest > m_ip)
  {                             // Forward
    if (m_dest < m_ip)
      bp->push_back(this);
  }
  else if (m_cont_optdest)
    m_cont_dest= m_cont_optdest->m_ip; // Backward
  /* This will take care of m_dest and m_ip */
  sp_instr_jump::opt_move(dst, bp);
}

unknown's avatar
unknown committed
3174 3175 3176 3177

/*
  sp_instr_freturn class functions
*/
3178

3179
int
3180
sp_instr_freturn::execute(THD *thd, uint *nextp)
3181
{
3182
  DBUG_ENTER("sp_instr_freturn::execute");
3183 3184 3185 3186 3187 3188 3189
  DBUG_RETURN(m_lex_keeper.reset_lex_and_exec_core(thd, nextp, TRUE, this));
}


int
sp_instr_freturn::exec_core(THD *thd, uint *nextp)
{
3190 3191 3192 3193
  /*
    Change <next instruction pointer>, so that this will be the last
    instruction in the stored function.
  */
3194

3195
  *nextp= UINT_MAX;
3196

3197 3198 3199 3200 3201 3202 3203 3204
  /*
    Evaluate the value of return expression and store it in current runtime
    context.

    NOTE: It's necessary to evaluate result item right here, because we must
    do it in scope of execution the current context/block.
  */

3205
  return thd->spcont->set_return_value(thd, &m_value);
3206
}
3207

3208 3209 3210
void
sp_instr_freturn::print(String *str)
{
3211
  /* freturn type expr... */
3212
  if (str->reserve(1024+8+32)) // Add some for the expr. too
3213
    return;
3214
  str->qs_append(STRING_WITH_LEN("freturn "));
3215
  str->qs_append((uint)m_type);
3216
  str->qs_append(' ');
3217
  m_value->print(str, QT_ORDINARY);
3218 3219
}

unknown's avatar
unknown committed
3220 3221 3222 3223
/*
  sp_instr_hpush_jump class functions
*/

3224 3225 3226 3227 3228 3229 3230 3231
int
sp_instr_hpush_jump::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_hpush_jump::execute");
  List_iterator_fast<sp_cond_type_t> li(m_cond);
  sp_cond_type_t *p;

  while ((p= li++))
3232
    thd->spcont->push_handler(p, m_ip+1, m_type, m_frame);
3233 3234 3235 3236 3237

  *nextp= m_dest;
  DBUG_RETURN(0);
}

unknown's avatar
unknown committed
3238

3239 3240 3241
void
sp_instr_hpush_jump::print(String *str)
{
3242 3243
  /* hpush_jump dest fsize type */
  if (str->reserve(SP_INSTR_UINT_MAXLEN*2 + 21))
3244
    return;
3245
  str->qs_append(STRING_WITH_LEN("hpush_jump "));
3246
  str->qs_append(m_dest);
3247
  str->qs_append(' ');
3248
  str->qs_append(m_frame);
unknown's avatar
unknown committed
3249
  switch (m_type) {
unknown's avatar
unknown committed
3250
  case SP_HANDLER_NONE:
3251
    str->qs_append(STRING_WITH_LEN(" NONE")); // This would be a bug
unknown's avatar
unknown committed
3252 3253
    break;
  case SP_HANDLER_EXIT:
3254
    str->qs_append(STRING_WITH_LEN(" EXIT"));
unknown's avatar
unknown committed
3255 3256
    break;
  case SP_HANDLER_CONTINUE:
3257
    str->qs_append(STRING_WITH_LEN(" CONTINUE"));
unknown's avatar
unknown committed
3258 3259
    break;
  case SP_HANDLER_UNDO:
3260
    str->qs_append(STRING_WITH_LEN(" UNDO"));
unknown's avatar
unknown committed
3261 3262
    break;
  default:
unknown's avatar
unknown committed
3263 3264
    // This would be a bug as well
    str->qs_append(STRING_WITH_LEN(" UNKNOWN:"));
unknown's avatar
unknown committed
3265 3266
    str->qs_append(m_type);
  }
3267 3268
}

unknown's avatar
unknown committed
3269

3270
uint
3271
sp_instr_hpush_jump::opt_mark(sp_head *sp, List<sp_instr> *leads)
3272 3273 3274 3275 3276 3277
{
  sp_instr *i;

  marked= 1;
  if ((i= sp->get_instr(m_dest)))
  {
3278
    m_dest= i->opt_shortcut_jump(sp, this);
3279 3280
    m_optdest= sp->get_instr(m_dest);
  }
3281
  sp->add_mark_lead(m_dest, leads);
3282 3283 3284
  return m_ip+1;
}

unknown's avatar
unknown committed
3285 3286 3287 3288 3289

/*
  sp_instr_hpop class functions
*/

3290 3291 3292 3293 3294 3295 3296 3297 3298
int
sp_instr_hpop::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_hpop::execute");
  thd->spcont->pop_handlers(m_count);
  *nextp= m_ip+1;
  DBUG_RETURN(0);
}

3299 3300 3301
void
sp_instr_hpop::print(String *str)
{
3302 3303
  /* hpop count */
  if (str->reserve(SP_INSTR_UINT_MAXLEN+5))
3304
    return;
3305
  str->qs_append(STRING_WITH_LEN("hpop "));
3306 3307 3308
  str->qs_append(m_count);
}

3309

unknown's avatar
unknown committed
3310 3311 3312 3313
/*
  sp_instr_hreturn class functions
*/

3314 3315 3316 3317
int
sp_instr_hreturn::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_hreturn::execute");
3318 3319 3320 3321 3322 3323
  if (m_dest)
    *nextp= m_dest;
  else
  {
    *nextp= thd->spcont->pop_hstack();
  }
3324
  thd->spcont->exit_handler();
3325 3326
  DBUG_RETURN(0);
}
3327

unknown's avatar
unknown committed
3328

3329 3330 3331
void
sp_instr_hreturn::print(String *str)
{
3332 3333
  /* hreturn framesize dest */
  if (str->reserve(SP_INSTR_UINT_MAXLEN*2 + 9))
3334
    return;
3335
  str->qs_append(STRING_WITH_LEN("hreturn "));
3336
  str->qs_append(m_frame);
3337
  if (m_dest)
3338
  {
3339
    str->qs_append(' ');
3340
    str->qs_append(m_dest);
3341
  }
3342 3343
}

unknown's avatar
unknown committed
3344

3345
uint
3346
sp_instr_hreturn::opt_mark(sp_head *sp, List<sp_instr> *leads)
3347
{
3348
  marked= 1;
3349 3350 3351 3352 3353 3354 3355 3356 3357 3358 3359 3360 3361
  
  if (m_dest)
  {
    /*
      This is an EXIT handler; next instruction step is in m_dest.
     */
    return m_dest;
  }
  
  /*
    This is a CONTINUE handler; next instruction step will come from
    the handler stack and not from opt_mark.
   */
3362
  return UINT_MAX;
3363 3364
}

3365

unknown's avatar
unknown committed
3366 3367 3368 3369
/*
  sp_instr_cpush class functions
*/

3370 3371 3372
int
sp_instr_cpush::execute(THD *thd, uint *nextp)
{
unknown's avatar
unknown committed
3373
  Query_arena backup_arena;
3374
  DBUG_ENTER("sp_instr_cpush::execute");
3375 3376 3377 3378 3379

  /*
    We should create cursors in the callers arena, as
    it could be (and usually is) used in several instructions.
  */
unknown's avatar
unknown committed
3380
  thd->set_n_backup_active_arena(thd->spcont->callers_arena, &backup_arena);
3381

3382
  thd->spcont->push_cursor(&m_lex_keeper, this);
3383

unknown's avatar
unknown committed
3384
  thd->restore_active_arena(thd->spcont->callers_arena, &backup_arena);
3385

3386
  *nextp= m_ip+1;
3387

3388 3389 3390
  DBUG_RETURN(0);
}

unknown's avatar
unknown committed
3391

3392 3393 3394
void
sp_instr_cpush::print(String *str)
{
unknown's avatar
unknown committed
3395 3396
  LEX_STRING n;
  my_bool found= m_ctx->find_cursor(m_cursor, &n);
3397 3398
  /* cpush name@offset */
  uint rsrv= SP_INSTR_UINT_MAXLEN+7;
unknown's avatar
unknown committed
3399

3400 3401 3402 3403
  if (found)
    rsrv+= n.length;
  if (str->reserve(rsrv))
    return;
3404
  str->qs_append(STRING_WITH_LEN("cpush "));
unknown's avatar
unknown committed
3405 3406
  if (found)
  {
3407 3408
    str->qs_append(n.str, n.length);
    str->qs_append('@');
unknown's avatar
unknown committed
3409 3410
  }
  str->qs_append(m_cursor);
3411 3412
}

unknown's avatar
unknown committed
3413 3414 3415 3416 3417

/*
  sp_instr_cpop class functions
*/

3418 3419 3420 3421 3422 3423 3424 3425 3426
int
sp_instr_cpop::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_cpop::execute");
  thd->spcont->pop_cursors(m_count);
  *nextp= m_ip+1;
  DBUG_RETURN(0);
}

unknown's avatar
unknown committed
3427

3428 3429 3430
void
sp_instr_cpop::print(String *str)
{
3431 3432
  /* cpop count */
  if (str->reserve(SP_INSTR_UINT_MAXLEN+5))
3433
    return;
3434
  str->qs_append(STRING_WITH_LEN("cpop "));
3435 3436 3437
  str->qs_append(m_count);
}

unknown's avatar
unknown committed
3438 3439 3440 3441 3442

/*
  sp_instr_copen class functions
*/

unknown's avatar
unknown committed
3443 3444 3445 3446 3447
/**
  @todo
    Assert that we either have an error or a cursor
*/

3448 3449 3450
int
sp_instr_copen::execute(THD *thd, uint *nextp)
{
3451 3452 3453 3454
  /*
    We don't store a pointer to the cursor in the instruction to be
    able to reuse the same instruction among different threads in future.
  */
3455 3456 3457 3458 3459 3460 3461 3462
  sp_cursor *c= thd->spcont->get_cursor(m_cursor);
  int res;
  DBUG_ENTER("sp_instr_copen::execute");

  if (! c)
    res= -1;
  else
  {
3463 3464
    sp_lex_keeper *lex_keeper= c->get_lex_keeper();
    Query_arena *old_arena= thd->stmt_arena;
3465

3466 3467 3468 3469 3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481 3482 3483 3484
    /*
      Get the Query_arena from the cpush instruction, which contains
      the free_list of the query, so new items (if any) are stored in
      the right free_list, and we can cleanup after each open.
    */
    thd->stmt_arena= c->get_instr();
    res= lex_keeper->reset_lex_and_exec_core(thd, nextp, FALSE, this);
    /* Cleanup the query's items */
    if (thd->stmt_arena->free_list)
      cleanup_items(thd->stmt_arena->free_list);
    thd->stmt_arena= old_arena;
    /*
      Work around the fact that errors in selects are not returned properly
      (but instead converted into a warning), so if a condition handler
      caught, we have lost the result code.
    */
    if (!res)
    {
      uint dummy1, dummy2;
3485

3486 3487
      if (thd->spcont->found_handler(&dummy1, &dummy2))
        res= -1;
3488
    }
3489
    /* TODO: Assert here that we either have an error or a cursor */
3490 3491 3492 3493
  }
  DBUG_RETURN(res);
}

unknown's avatar
unknown committed
3494

3495 3496 3497
int
sp_instr_copen::exec_core(THD *thd, uint *nextp)
{
3498 3499
  sp_cursor *c= thd->spcont->get_cursor(m_cursor);
  int res= c->open(thd);
3500 3501 3502 3503
  *nextp= m_ip+1;
  return res;
}

3504 3505 3506
void
sp_instr_copen::print(String *str)
{
unknown's avatar
unknown committed
3507 3508
  LEX_STRING n;
  my_bool found= m_ctx->find_cursor(m_cursor, &n);
3509 3510
  /* copen name@offset */
  uint rsrv= SP_INSTR_UINT_MAXLEN+7;
unknown's avatar
unknown committed
3511

3512 3513 3514 3515
  if (found)
    rsrv+= n.length;
  if (str->reserve(rsrv))
    return;
3516
  str->qs_append(STRING_WITH_LEN("copen "));
unknown's avatar
unknown committed
3517 3518
  if (found)
  {
3519 3520
    str->qs_append(n.str, n.length);
    str->qs_append('@');
unknown's avatar
unknown committed
3521
  }
3522 3523 3524
  str->qs_append(m_cursor);
}

unknown's avatar
unknown committed
3525 3526 3527 3528 3529

/*
  sp_instr_cclose class functions
*/

3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542 3543 3544
int
sp_instr_cclose::execute(THD *thd, uint *nextp)
{
  sp_cursor *c= thd->spcont->get_cursor(m_cursor);
  int res;
  DBUG_ENTER("sp_instr_cclose::execute");

  if (! c)
    res= -1;
  else
    res= c->close(thd);
  *nextp= m_ip+1;
  DBUG_RETURN(res);
}

unknown's avatar
unknown committed
3545

3546 3547 3548
void
sp_instr_cclose::print(String *str)
{
unknown's avatar
unknown committed
3549 3550
  LEX_STRING n;
  my_bool found= m_ctx->find_cursor(m_cursor, &n);
3551 3552
  /* cclose name@offset */
  uint rsrv= SP_INSTR_UINT_MAXLEN+8;
unknown's avatar
unknown committed
3553

3554 3555 3556 3557
  if (found)
    rsrv+= n.length;
  if (str->reserve(rsrv))
    return;
3558
  str->qs_append(STRING_WITH_LEN("cclose "));
unknown's avatar
unknown committed
3559 3560
  if (found)
  {
3561 3562
    str->qs_append(n.str, n.length);
    str->qs_append('@');
unknown's avatar
unknown committed
3563
  }
3564 3565 3566
  str->qs_append(m_cursor);
}

unknown's avatar
unknown committed
3567 3568 3569 3570 3571

/*
  sp_instr_cfetch class functions
*/

3572 3573 3574 3575 3576
int
sp_instr_cfetch::execute(THD *thd, uint *nextp)
{
  sp_cursor *c= thd->spcont->get_cursor(m_cursor);
  int res;
unknown's avatar
unknown committed
3577
  Query_arena backup_arena;
3578 3579
  DBUG_ENTER("sp_instr_cfetch::execute");

3580
  res= c ? c->fetch(thd, &m_varlist) : -1;
3581

3582 3583 3584
  *nextp= m_ip+1;
  DBUG_RETURN(res);
}
3585

unknown's avatar
unknown committed
3586

3587 3588 3589
void
sp_instr_cfetch::print(String *str)
{
3590 3591
  List_iterator_fast<struct sp_variable> li(m_varlist);
  sp_variable_t *pv;
unknown's avatar
unknown committed
3592 3593
  LEX_STRING n;
  my_bool found= m_ctx->find_cursor(m_cursor, &n);
3594 3595
  /* cfetch name@offset vars... */
  uint rsrv= SP_INSTR_UINT_MAXLEN+8;
3596

3597 3598 3599 3600
  if (found)
    rsrv+= n.length;
  if (str->reserve(rsrv))
    return;
3601
  str->qs_append(STRING_WITH_LEN("cfetch "));
unknown's avatar
unknown committed
3602 3603
  if (found)
  {
3604 3605
    str->qs_append(n.str, n.length);
    str->qs_append('@');
unknown's avatar
unknown committed
3606
  }
3607 3608 3609
  str->qs_append(m_cursor);
  while ((pv= li++))
  {
3610
    if (str->reserve(pv->name.length+SP_INSTR_UINT_MAXLEN+2))
3611 3612 3613 3614
      return;
    str->qs_append(' ');
    str->qs_append(pv->name.str, pv->name.length);
    str->qs_append('@');
3615 3616 3617 3618
    str->qs_append(pv->offset);
  }
}

unknown's avatar
unknown committed
3619 3620 3621 3622 3623

/*
  sp_instr_error class functions
*/

3624 3625 3626 3627 3628
int
sp_instr_error::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_error::execute");

unknown's avatar
unknown committed
3629
  my_message(m_errcode, ER(m_errcode), MYF(0));
3630 3631 3632 3633
  *nextp= m_ip+1;
  DBUG_RETURN(-1);
}

unknown's avatar
unknown committed
3634

3635 3636 3637
void
sp_instr_error::print(String *str)
{
3638 3639
  /* error code */
  if (str->reserve(SP_INSTR_UINT_MAXLEN+6))
3640
    return;
3641
  str->qs_append(STRING_WITH_LEN("error "));
3642 3643 3644
  str->qs_append(m_errcode);
}

3645

3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657 3658 3659 3660 3661
/**************************************************************************
  sp_instr_set_case_expr class implementation
**************************************************************************/

int
sp_instr_set_case_expr::execute(THD *thd, uint *nextp)
{
  DBUG_ENTER("sp_instr_set_case_expr::execute");

  DBUG_RETURN(m_lex_keeper.reset_lex_and_exec_core(thd, nextp, TRUE, this));
}


int
sp_instr_set_case_expr::exec_core(THD *thd, uint *nextp)
{
3662
  int res= thd->spcont->set_case_expr(thd, m_case_expr_id, &m_case_expr);
3663 3664 3665 3666 3667 3668 3669 3670 3671 3672 3673 3674 3675

  if (res &&
      !thd->spcont->get_case_expr(m_case_expr_id) &&
      thd->spcont->found_handler_here())
  {
    /*
      Failed to evaluate the value, the case expression is still not
      initialized, and a handler has been found. Set to NULL so we can continue.
    */

    Item *null_item= new Item_null();
    
    if (!null_item ||
3676
        thd->spcont->set_case_expr(thd, m_case_expr_id, &null_item))
3677 3678 3679 3680 3681
    {
      /* If this also failed, we have to abort. */

      sp_rcontext *spcont= thd->spcont;
    
3682
      thd->spcont= NULL;           /* Avoid handlers */
3683 3684 3685 3686 3687
      my_error(ER_OUT_OF_RESOURCES, MYF(0));
      spcont->clear_handler();
      thd->spcont= spcont;
    }
  }
3688 3689
  else
    *nextp= m_ip+1;
3690

3691
  return res;
3692 3693 3694 3695 3696 3697
}


void
sp_instr_set_case_expr::print(String *str)
{
3698 3699 3700 3701 3702
  /* set_case_expr (cont) id ... */
  str->reserve(2*SP_INSTR_UINT_MAXLEN+18+32); // Add some extra for expr too
  str->qs_append(STRING_WITH_LEN("set_case_expr ("));
  str->qs_append(m_cont_dest);
  str->qs_append(STRING_WITH_LEN(") "));
3703
  str->qs_append(m_case_expr_id);
3704
  str->qs_append(' ');
3705
  m_case_expr->print(str, QT_ORDINARY);
3706 3707
}

3708
uint
3709
sp_instr_set_case_expr::opt_mark(sp_head *sp, List<sp_instr> *leads)
3710 3711 3712 3713 3714 3715 3716 3717 3718
{
  sp_instr *i;

  marked= 1;
  if ((i= sp->get_instr(m_cont_dest)))
  {
    m_cont_dest= i->opt_shortcut_jump(sp, this);
    m_cont_optdest= sp->get_instr(m_cont_dest);
  }
3719
  sp->add_mark_lead(m_cont_dest, leads);
3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732
  return m_ip+1;
}

void
sp_instr_set_case_expr::opt_move(uint dst, List<sp_instr> *bp)
{
  if (m_cont_dest > m_ip)
    bp->push_back(this);        // Forward
  else if (m_cont_optdest)
    m_cont_dest= m_cont_optdest->m_ip; // Backward
  m_ip= dst;
}

3733

unknown's avatar
unknown committed
3734
/* ------------------------------------------------------------------ */
3735

3736 3737

/*
3738 3739 3740 3741
  Structure that represent all instances of one table
  in optimized multi-set of tables used by routine.
*/

3742 3743
typedef struct st_sp_table
{
3744 3745 3746 3747 3748 3749 3750 3751
  /*
    Multi-set key:
      db_name\0table_name\0alias\0 - for normal tables
      db_name\0table_name\0        - for temporary tables
    Note that in both cases we don't take last '\0' into account when
    we count length of key.
  */
  LEX_STRING qname;
unknown's avatar
unknown committed
3752 3753 3754
  uint db_length, table_name_length;
  bool temp;               /* true if corresponds to a temporary table */
  thr_lock_type lock_type; /* lock type used for prelocking */
3755 3756
  uint lock_count;
  uint query_lock_count;
3757
  uint8 trg_event_map;
3758 3759
} SP_TABLE;

3760 3761

uchar *sp_table_key(const uchar *ptr, size_t *plen, my_bool first)
3762 3763 3764
{
  SP_TABLE *tab= (SP_TABLE *)ptr;
  *plen= tab->qname.length;
3765
  return (uchar *)tab->qname.str;
3766 3767
}

3768

unknown's avatar
unknown committed
3769
/**
3770 3771 3772
  Merge the list of tables used by some query into the multi-set of
  tables used by routine.

unknown's avatar
unknown committed
3773 3774 3775 3776
  @param thd                 thread context
  @param table               table list
  @param lex_for_tmp_check   LEX of the query for which we are merging
                             table list.
3777

unknown's avatar
unknown committed
3778
  @note
3779 3780 3781
    This method will use LEX provided to check whenever we are creating
    temporary table and mark it as such in target multi-set.

unknown's avatar
unknown committed
3782 3783 3784 3785
  @retval
    TRUE    Success
  @retval
    FALSE   Error
3786 3787
*/

3788
bool
3789
sp_head::merge_table_list(THD *thd, TABLE_LIST *table, LEX *lex_for_tmp_check)
3790
{
3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802
  SP_TABLE *tab;

  if (lex_for_tmp_check->sql_command == SQLCOM_DROP_TABLE &&
      lex_for_tmp_check->drop_temporary)
    return TRUE;

  for (uint i= 0 ; i < m_sptabs.records ; i++)
  {
    tab= (SP_TABLE *)hash_element(&m_sptabs, i);
    tab->query_lock_count= 0;
  }

3803
  for (; table ; table= table->next_global)
3804
    if (!table->derived && !table->schema_table)
3805
    {
unknown's avatar
unknown committed
3806
      char tname[(NAME_LEN + 1) * 3];           // db\0table\0alias\0
3807 3808 3809 3810
      uint tlen, alen;

      tlen= table->db_length;
      memcpy(tname, table->db, tlen);
unknown's avatar
unknown committed
3811
      tname[tlen++]= '\0';
3812 3813
      memcpy(tname+tlen, table->table_name, table->table_name_length);
      tlen+= table->table_name_length;
unknown's avatar
unknown committed
3814
      tname[tlen++]= '\0';
3815 3816 3817 3818 3819
      alen= strlen(table->alias);
      memcpy(tname+tlen, table->alias, alen);
      tlen+= alen;
      tname[tlen]= '\0';

unknown's avatar
unknown committed
3820 3821 3822 3823 3824 3825 3826 3827
      /*
        Upgrade the lock type because this table list will be used
        only in pre-locked mode, in which DELAYED inserts are always
        converted to normal inserts.
      */
      if (table->lock_type == TL_WRITE_DELAYED)
        table->lock_type= TL_WRITE;

3828
      /*
3829 3830 3831
        We ignore alias when we check if table was already marked as temporary
        (and therefore should not be prelocked). Otherwise we will erroneously
        treat table with same name but with different alias as non-temporary.
3832
      */
3833 3834
      if ((tab= (SP_TABLE *)hash_search(&m_sptabs, (uchar *)tname, tlen)) ||
          ((tab= (SP_TABLE *)hash_search(&m_sptabs, (uchar *)tname,
3835 3836
                                        tlen - alen - 1)) &&
           tab->temp))
3837
      {
3838 3839
        if (tab->lock_type < table->lock_type)
          tab->lock_type= table->lock_type; // Use the table with the highest lock type
3840 3841 3842
        tab->query_lock_count++;
        if (tab->query_lock_count > tab->lock_count)
          tab->lock_count++;
3843
        tab->trg_event_map|= table->trg_event_map;
3844 3845 3846 3847 3848
      }
      else
      {
	if (!(tab= (SP_TABLE *)thd->calloc(sizeof(SP_TABLE))))
	  return FALSE;
3849
	if (lex_for_tmp_check->sql_command == SQLCOM_CREATE_TABLE &&
3850 3851
	    lex_for_tmp_check->query_tables == table &&
	    lex_for_tmp_check->create_info.options & HA_LEX_CREATE_TMP_TABLE)
3852
        {
3853
	  tab->temp= TRUE;
3854 3855 3856 3857 3858 3859 3860
          tab->qname.length= tlen - alen - 1;
        }
        else
          tab->qname.length= tlen;
        tab->qname.str= (char*) thd->memdup(tname, tab->qname.length + 1);
        if (!tab->qname.str)
          return FALSE;
unknown's avatar
unknown committed
3861 3862
        tab->table_name_length= table->table_name_length;
        tab->db_length= table->db_length;
3863
        tab->lock_type= table->lock_type;
3864
        tab->lock_count= tab->query_lock_count= 1;
3865
        tab->trg_event_map= table->trg_event_map;
3866
	my_hash_insert(&m_sptabs, (uchar *)tab);
3867 3868 3869 3870 3871 3872
      }
    }
  return TRUE;
}


unknown's avatar
unknown committed
3873
/**
3874
  Add tables used by routine to the table list.
3875

3876 3877
    Converts multi-set of tables used by this routine to table list and adds
    this list to the end of table list specified by 'query_tables_last_ptr'.
3878

3879 3880
    Elements of list will be allocated in PS memroot, so this list will be
    persistent between PS executions.
3881

unknown's avatar
unknown committed
3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892
  @param[in] thd                        Thread context
  @param[in,out] query_tables_last_ptr  Pointer to the next_global member of
    last element of the list where tables
    will be added (or to its root).
  @param[in] belong_to_view             Uppermost view which uses this routine,
    0 if none.

  @retval
    TRUE    if some elements were added
  @retval
    FALSE   otherwise.
3893
*/
3894

3895 3896
bool
sp_head::add_used_tables_to_table_list(THD *thd,
3897 3898
                                       TABLE_LIST ***query_tables_last_ptr,
                                       TABLE_LIST *belong_to_view)
3899 3900
{
  uint i;
unknown's avatar
unknown committed
3901
  Query_arena *arena, backup;
3902 3903 3904 3905
  bool result= FALSE;
  DBUG_ENTER("sp_head::add_used_tables_to_table_list");

  /*
3906 3907 3908 3909 3910 3911
    Use persistent arena for table list allocation to be PS/SP friendly.
    Note that we also have to copy database/table names and alias to PS/SP
    memory since current instance of sp_head object can pass away before
    next execution of PS/SP for which tables are added to prelocking list.
    This will be fixed by introducing of proper invalidation mechanism
    once new TDC is ready.
3912
  */
unknown's avatar
unknown committed
3913
  arena= thd->activate_stmt_arena_if_needed(&backup);
3914

3915
  for (i=0 ; i < m_sptabs.records ; i++)
3916
  {
3917
    char *tab_buff, *key_buff;
unknown's avatar
unknown committed
3918
    TABLE_LIST *table;
3919
    SP_TABLE *stab= (SP_TABLE *)hash_element(&m_sptabs, i);
3920 3921 3922
    if (stab->temp)
      continue;

3923
    if (!(tab_buff= (char *)thd->calloc(ALIGN_SIZE(sizeof(TABLE_LIST)) *
3924 3925 3926
                                        stab->lock_count)) ||
        !(key_buff= (char*)thd->memdup(stab->qname.str,
                                       stab->qname.length + 1)))
3927
      DBUG_RETURN(FALSE);
3928

3929 3930 3931 3932
    for (uint j= 0; j < stab->lock_count; j++)
    {
      table= (TABLE_LIST *)tab_buff;

3933
      table->db= key_buff;
unknown's avatar
unknown committed
3934 3935 3936 3937
      table->db_length= stab->db_length;
      table->table_name= table->db + table->db_length + 1;
      table->table_name_length= stab->table_name_length;
      table->alias= table->table_name + table->table_name_length + 1;
3938
      table->lock_type= stab->lock_type;
3939 3940
      table->cacheable_table= 1;
      table->prelocking_placeholder= 1;
3941
      table->belong_to_view= belong_to_view;
3942
      table->trg_event_map= stab->trg_event_map;
3943 3944 3945 3946 3947 3948 3949 3950 3951 3952

      /* Everyting else should be zeroed */

      **query_tables_last_ptr= table;
      table->prev_global= *query_tables_last_ptr;
      *query_tables_last_ptr= &table->next_global;

      tab_buff+= ALIGN_SIZE(sizeof(TABLE_LIST));
      result= TRUE;
    }
3953
  }
3954 3955

  if (arena)
unknown's avatar
unknown committed
3956
    thd->restore_active_arena(arena, &backup);
3957 3958

  DBUG_RETURN(result);
3959 3960
}

unknown's avatar
unknown committed
3961

unknown's avatar
unknown committed
3962
/**
unknown's avatar
unknown committed
3963 3964 3965 3966
  Simple function for adding an explicetly named (systems) table to
  the global table list, e.g. "mysql", "proc".
*/

3967 3968 3969 3970 3971 3972 3973 3974 3975
TABLE_LIST *
sp_add_to_query_tables(THD *thd, LEX *lex,
		       const char *db, const char *name,
		       thr_lock_type locktype)
{
  TABLE_LIST *table;

  if (!(table= (TABLE_LIST *)thd->calloc(sizeof(TABLE_LIST))))
  {
3976
    thd->fatal_error();
3977 3978 3979 3980 3981 3982 3983 3984
    return NULL;
  }
  table->db_length= strlen(db);
  table->db= thd->strmake(db, table->db_length);
  table->table_name_length= strlen(name);
  table->table_name= thd->strmake(name, table->table_name_length);
  table->alias= thd->strdup(name);
  table->lock_type= locktype;
3985
  table->select_lex= lex->current_select;
3986 3987 3988 3989 3990
  table->cacheable_table= 1;
  
  lex->add_to_query_tables(table);
  return table;
}
3991