table.cc 199 KB
Newer Older
Kent Boortz's avatar
Kent Boortz committed
1
/*
Sergei Golubchik's avatar
Sergei Golubchik committed
2
   Copyright (c) 2000, 2011, Oracle and/or its affiliates.
3
   Copyright (c) 2008, 2013, Monty Program Ab.
unknown's avatar
unknown committed
4

unknown's avatar
unknown committed
5 6
   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
7
   the Free Software Foundation; version 2 of the License.
unknown's avatar
unknown committed
8

unknown's avatar
unknown committed
9 10 11 12
   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.
unknown's avatar
unknown committed
13

unknown's avatar
unknown committed
14 15 16 17 18 19 20
   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 */


/* Some general useful functions */

Mats Kindahl's avatar
Mats Kindahl committed
21
#include "my_global.h"                          /* NO_EMBEDDED_ACCESS_CHECKS */
22 23 24 25 26 27
#include "sql_priv.h"
#include "unireg.h"                    // REQUIRED: for other includes
#include "table.h"
#include "key.h"                                // find_ref_key
#include "sql_table.h"                          // build_table_filename,
                                                // primary_key_name
28
#include "sql_trigger.h"
29 30 31 32 33 34
#include "sql_parse.h"                          // free_items
#include "strfunc.h"                            // unhex_type2
#include "sql_partition.h"       // mysql_unpack_partition,
                                 // fix_partition_func, partition_info
#include "sql_acl.h"             // *_ACL, acl_getroot_no_password
#include "sql_base.h"            // release_table_share
35
#include "create_options.h"
unknown's avatar
unknown committed
36
#include <m_ctype.h>
37
#include "my_md5.h"
unknown's avatar
unknown committed
38
#include "my_bit.h"
39
#include "sql_select.h"
Sergei Golubchik's avatar
Sergei Golubchik committed
40
#include "sql_derived.h"
41
#include "sql_statistics.h"
42
#include "discover.h"
43
#include "mdl.h"                 // MDL_wait_for_graph_visitor
unknown's avatar
unknown committed
44

45 46 47
/* INFORMATION_SCHEMA name */
LEX_STRING INFORMATION_SCHEMA_NAME= {C_STRING_WITH_LEN("information_schema")};

Marc Alff's avatar
Marc Alff committed
48 49 50
/* PERFORMANCE_SCHEMA name */
LEX_STRING PERFORMANCE_SCHEMA_DB_NAME= {C_STRING_WITH_LEN("performance_schema")};

51 52 53 54 55 56 57 58 59
/* MYSQL_SCHEMA name */
LEX_STRING MYSQL_SCHEMA_NAME= {C_STRING_WITH_LEN("mysql")};

/* GENERAL_LOG name */
LEX_STRING GENERAL_LOG_NAME= {C_STRING_WITH_LEN("general_log")};

/* SLOW_LOG name */
LEX_STRING SLOW_LOG_NAME= {C_STRING_WITH_LEN("slow_log")};

60 61 62 63 64 65
/* 
  Keyword added as a prefix when parsing the defining expression for a
  virtual column read from the column definition saved in the frm file
*/
LEX_STRING parse_vcol_keyword= { C_STRING_WITH_LEN("PARSE_VCOL_EXPR ") };

unknown's avatar
unknown committed
66 67 68 69
	/* Functions defined in this file */

static void fix_type_pointers(const char ***array, TYPELIB *point_to_type,
			      uint types, char **names);
70
static uint find_field(Field **fields, uchar *record, uint start, uint length);
unknown's avatar
unknown committed
71

72
inline bool is_system_table_name(const char *name, uint length);
unknown's avatar
unknown committed
73

unknown's avatar
unknown committed
74 75 76 77 78 79
/**************************************************************************
  Object_creation_ctx implementation.
**************************************************************************/

Object_creation_ctx *Object_creation_ctx::set_n_backup(THD *thd)
{
80 81
  Object_creation_ctx *backup_ctx;
  DBUG_ENTER("Object_creation_ctx::set_n_backup");
unknown's avatar
unknown committed
82

83
  backup_ctx= create_backup_ctx(thd);
unknown's avatar
unknown committed
84 85
  change_env(thd);

86
  DBUG_RETURN(backup_ctx);
unknown's avatar
unknown committed
87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
}

void Object_creation_ctx::restore_env(THD *thd, Object_creation_ctx *backup_ctx)
{
  if (!backup_ctx)
    return;

  backup_ctx->change_env(thd);

  delete backup_ctx;
}

/**************************************************************************
  Default_object_creation_ctx implementation.
**************************************************************************/

Default_object_creation_ctx::Default_object_creation_ctx(THD *thd)
  : m_client_cs(thd->variables.character_set_client),
    m_connection_cl(thd->variables.collation_connection)
{ }

Default_object_creation_ctx::Default_object_creation_ctx(
  CHARSET_INFO *client_cs, CHARSET_INFO *connection_cl)
  : m_client_cs(client_cs),
    m_connection_cl(connection_cl)
{ }

Object_creation_ctx *
115
Default_object_creation_ctx::create_backup_ctx(THD *thd) const
unknown's avatar
unknown committed
116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
{
  return new Default_object_creation_ctx(thd);
}

void Default_object_creation_ctx::change_env(THD *thd) const
{
  thd->variables.character_set_client= m_client_cs;
  thd->variables.collation_connection= m_connection_cl;

  thd->update_charset();
}

/**************************************************************************
  View_creation_ctx implementation.
**************************************************************************/

View_creation_ctx *View_creation_ctx::create(THD *thd)
{
  View_creation_ctx *ctx= new (thd->mem_root) View_creation_ctx(thd);

  return ctx;
}

/*************************************************************************/

View_creation_ctx * View_creation_ctx::create(THD *thd,
142
                                              TABLE_LIST *view)
unknown's avatar
unknown committed
143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196
{
  View_creation_ctx *ctx= new (thd->mem_root) View_creation_ctx(thd);

  /* Throw a warning if there is NULL cs name. */

  if (!view->view_client_cs_name.str ||
      !view->view_connection_cl_name.str)
  {
    push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_NOTE,
                        ER_VIEW_NO_CREATION_CTX,
                        ER(ER_VIEW_NO_CREATION_CTX),
                        (const char *) view->db,
                        (const char *) view->table_name);

    ctx->m_client_cs= system_charset_info;
    ctx->m_connection_cl= system_charset_info;

    return ctx;
  }

  /* Resolve cs names. Throw a warning if there is unknown cs name. */

  bool invalid_creation_ctx;

  invalid_creation_ctx= resolve_charset(view->view_client_cs_name.str,
                                        system_charset_info,
                                        &ctx->m_client_cs);

  invalid_creation_ctx= resolve_collation(view->view_connection_cl_name.str,
                                          system_charset_info,
                                          &ctx->m_connection_cl) ||
                        invalid_creation_ctx;

  if (invalid_creation_ctx)
  {
    sql_print_warning("View '%s'.'%s': there is unknown charset/collation "
                      "names (client: '%s'; connection: '%s').",
                      (const char *) view->db,
                      (const char *) view->table_name,
                      (const char *) view->view_client_cs_name.str,
                      (const char *) view->view_connection_cl_name.str);

    push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_NOTE,
                        ER_VIEW_INVALID_CREATION_CTX,
                        ER(ER_VIEW_INVALID_CREATION_CTX),
                        (const char *) view->db,
                        (const char *) view->table_name);
  }

  return ctx;
}

/*************************************************************************/

unknown's avatar
unknown committed
197 198
/* Get column name from column hash */

199 200
static uchar *get_field_name(Field **buff, size_t *length,
                             my_bool not_used __attribute__((unused)))
unknown's avatar
unknown committed
201
{
202
  *length= (uint) strlen((*buff)->field_name);
203
  return (uchar*) (*buff)->field_name;
unknown's avatar
unknown committed
204 205
}

unknown's avatar
unknown committed
206

207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230
/*
  Returns pointer to '.frm' extension of the file name.

  SYNOPSIS
    fn_rext()
    name       file name

  DESCRIPTION
    Checks file name part starting with the rightmost '.' character,
    and returns it if it is equal to '.frm'. 

  TODO
    It is a good idea to get rid of this function modifying the code
    to garantee that the functions presently calling fn_rext() always
    get arguments in the same format: either with '.frm' or without '.frm'.

  RETURN VALUES
    Pointer to the '.frm' extension. If there is no extension,
    or extension is not '.frm', pointer at the end of file name.
*/

char *fn_rext(char *name)
{
  char *res= strrchr(name, '.');
231
  if (res && !strcmp(res, reg_ext))
232 233 234 235
    return res;
  return name + strlen(name);
}

236 237 238 239 240
TABLE_CATEGORY get_table_category(const LEX_STRING *db, const LEX_STRING *name)
{
  DBUG_ASSERT(db != NULL);
  DBUG_ASSERT(name != NULL);

241
  if (is_infoschema_db(db->str, db->length))
242
    return TABLE_CATEGORY_INFORMATION;
Marc Alff's avatar
Marc Alff committed
243 244 245 246 247 248

  if ((db->length == PERFORMANCE_SCHEMA_DB_NAME.length) &&
      (my_strcasecmp(system_charset_info,
                     PERFORMANCE_SCHEMA_DB_NAME.str,
                     db->str) == 0))
    return TABLE_CATEGORY_PERFORMANCE;
249 250 251

  if ((db->length == MYSQL_SCHEMA_NAME.length) &&
      (my_strcasecmp(system_charset_info,
Marc Alff's avatar
Marc Alff committed
252 253
                     MYSQL_SCHEMA_NAME.str,
                     db->str) == 0))
254 255 256 257 258 259
  {
    if (is_system_table_name(name->str, name->length))
      return TABLE_CATEGORY_SYSTEM;

    if ((name->length == GENERAL_LOG_NAME.length) &&
        (my_strcasecmp(system_charset_info,
Marc Alff's avatar
Marc Alff committed
260 261 262
                       GENERAL_LOG_NAME.str,
                       name->str) == 0))
      return TABLE_CATEGORY_LOG;
263 264 265

    if ((name->length == SLOW_LOG_NAME.length) &&
        (my_strcasecmp(system_charset_info,
Marc Alff's avatar
Marc Alff committed
266 267 268
                       SLOW_LOG_NAME.str,
                       name->str) == 0))
      return TABLE_CATEGORY_LOG;
269 270 271 272 273
  }

  return TABLE_CATEGORY_USER;
}

274

unknown's avatar
unknown committed
275 276 277 278 279 280 281 282 283 284 285 286 287 288
/*
  Allocate a setup TABLE_SHARE structure

  SYNOPSIS
    alloc_table_share()
    TABLE_LIST		Take database and table name from there
    key			Table cache key (db \0 table_name \0...)
    key_length		Length of key

  RETURN
    0  Error (out of memory)
    #  Share
*/

289 290
TABLE_SHARE *alloc_table_share(const char *db, const char *table_name,
                               char *key, uint key_length)
unknown's avatar
unknown committed
291 292 293
{
  MEM_ROOT mem_root;
  TABLE_SHARE *share;
294
  char *key_buff, *path_buff;
295 296
  char path[FN_REFLEN];
  uint path_length;
297
  DBUG_ENTER("alloc_table_share");
298
  DBUG_PRINT("enter", ("table: '%s'.'%s'", db, table_name));
unknown's avatar
unknown committed
299

300
  path_length= build_table_filename(path, sizeof(path) - 1,
301
                                    db, table_name, "", 0);
302
  init_sql_alloc(&mem_root, TABLE_ALLOC_BLOCK_SIZE, 0, MYF(0));
303 304 305 306 307
  if (multi_alloc_root(&mem_root,
                       &share, sizeof(*share),
                       &key_buff, key_length,
                       &path_buff, path_length + 1,
                       NULL))
unknown's avatar
unknown committed
308 309 310
  {
    bzero((char*) share, sizeof(*share));

311
    share->set_table_cache_key(key_buff, key, key_length);
unknown's avatar
unknown committed
312

313
    share->path.str= path_buff;
unknown's avatar
unknown committed
314 315
    share->path.length= path_length;
    strmov(share->path.str, path);
316 317
    share->normalized_path.str=    share->path.str;
    share->normalized_path.length= path_length;
318
    share->table_category= get_table_category(& share->db, & share->table_name);
319
    share->set_refresh_version();
320
    share->open_errno= ENOENT;
unknown's avatar
unknown committed
321

322 323 324 325 326 327 328
    /*
      Since alloc_table_share() can be called without any locking (for
      example, ha_create_table... functions), we do not assign a table
      map id here.  Instead we assign a value that is not used
      elsewhere, and then assign a table map id inside open_table()
      under the protection of the LOCK_open mutex.
    */
329
    share->table_map_id= ~0UL;
330 331
    share->cached_row_logging_check= -1;

332 333
    share->used_tables.empty();
    share->free_tables.empty();
334
    share->m_flush_tickets.empty();
335

336
    init_sql_alloc(&share->stats_cb.mem_root, TABLE_ALLOC_BLOCK_SIZE, 0, MYF(0));
Igor Babaev's avatar
Igor Babaev committed
337

unknown's avatar
unknown committed
338
    memcpy((char*) &share->mem_root, (char*) &mem_root, sizeof(mem_root));
Konstantin Osipov's avatar
Konstantin Osipov committed
339 340
    mysql_mutex_init(key_TABLE_SHARE_LOCK_ha_data,
                     &share->LOCK_ha_data, MY_MUTEX_INIT_FAST);
unknown's avatar
unknown committed
341
  }
342
  DBUG_RETURN(share);
unknown's avatar
unknown committed
343 344 345 346 347 348 349 350
}


/*
  Initialize share for temporary tables

  SYNOPSIS
    init_tmp_table_share()
351
    thd         thread handle
unknown's avatar
unknown committed
352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368
    share	Share to fill
    key		Table_cache_key, as generated from create_table_def_key.
		must start with db name.    
    key_length	Length of key
    table_name	Table name
    path	Path to file (possible in lower case) without .frm

  NOTES
    This is different from alloc_table_share() because temporary tables
    don't have to be shared between threads or put into the table def
    cache, so we can do some things notable simpler and faster

    If table is not put in thd->temporary_tables (happens only when
    one uses OPEN TEMPORARY) then one can specify 'db' as key and
    use key_length= 0 as neither table_cache_key or key_length will be used).
*/

369
void init_tmp_table_share(THD *thd, TABLE_SHARE *share, const char *key,
unknown's avatar
unknown committed
370 371 372 373
                          uint key_length, const char *table_name,
                          const char *path)
{
  DBUG_ENTER("init_tmp_table_share");
374
  DBUG_PRINT("enter", ("table: '%s'.'%s'", key, table_name));
unknown's avatar
unknown committed
375 376

  bzero((char*) share, sizeof(*share));
377 378 379 380 381 382
  /*
    This can't be MY_THREAD_SPECIFIC for slaves as they are freed
    during cleanup() from Relay_log_info::close_temporary_tables()
  */
  init_sql_alloc(&share->mem_root, TABLE_ALLOC_BLOCK_SIZE, 0, 
                 MYF(thd->slave_thread ? 0 : MY_THREAD_SPECIFIC));
383 384
  share->table_category=         TABLE_CATEGORY_TEMPORARY;
  share->tmp_table=              INTERNAL_TMP_TABLE;
unknown's avatar
unknown committed
385 386 387 388 389 390 391 392 393 394 395
  share->db.str=                 (char*) key;
  share->db.length=		 strlen(key);
  share->table_cache_key.str=    (char*) key;
  share->table_cache_key.length= key_length;
  share->table_name.str=         (char*) table_name;
  share->table_name.length=      strlen(table_name);
  share->path.str=               (char*) path;
  share->normalized_path.str=    (char*) path;
  share->path.length= share->normalized_path.length= strlen(path);
  share->frm_version= 		 FRM_VER_TRUE_VARCHAR;

396
  share->cached_row_logging_check= -1;
397

398 399 400 401 402 403
  /*
    table_map_id is also used for MERGE tables to suppress repeated
    compatibility checks.
  */
  share->table_map_id= (ulong) thd->query_id;

404 405
  share->used_tables.empty();
  share->free_tables.empty();
406
  share->m_flush_tickets.empty();
407

unknown's avatar
unknown committed
408 409 410 411
  DBUG_VOID_RETURN;
}


412 413 414 415
/**
  Release resources (plugins) used by the share and free its memory.
  TABLE_SHARE is self-contained -- it's stored in its own MEM_ROOT.
  Free this MEM_ROOT.
unknown's avatar
unknown committed
416 417
*/

418
void TABLE_SHARE::destroy()
unknown's avatar
unknown committed
419
{
420
  uint idx;
421
  KEY *info_it;
unknown's avatar
unknown committed
422

Igor Babaev's avatar
Igor Babaev committed
423 424 425 426 427 428 429 430
  if (tmp_table == NO_TMP_TABLE)
    mysql_mutex_lock(&LOCK_ha_data);
  free_root(&stats_cb.mem_root, MYF(0));
  stats_cb.stats_can_be_read= FALSE;
  stats_cb.stats_is_read= FALSE;
  if (tmp_table == NO_TMP_TABLE)
    mysql_mutex_unlock(&LOCK_ha_data);

Konstantin Osipov's avatar
Konstantin Osipov committed
431
  /* The mutex is initialized only for shares that are part of the TDC */
432 433 434
  if (tmp_table == NO_TMP_TABLE)
    mysql_mutex_destroy(&LOCK_ha_data);
  my_hash_free(&name_hash);
Konstantin Osipov's avatar
Konstantin Osipov committed
435

436 437
  plugin_unlock(NULL, db_plugin);
  db_plugin= NULL;
unknown's avatar
unknown committed
438

439
  /* Release fulltext parsers */
440 441
  info_it= key_info;
  for (idx= keys; idx; idx--, info_it++)
442
  {
443
    if (info_it->flags & HA_USES_PARSER)
444
    {
445 446
      plugin_unlock(NULL, info_it->parser);
      info_it->flags= 0;
447 448
    }
  }
449 450 451 452 453 454 455 456 457 458 459 460
  if (ha_data_destroy)
  {
    ha_data_destroy(ha_data);
    ha_data_destroy= NULL;
  }
#ifdef WITH_PARTITION_STORAGE_ENGINE
  if (ha_part_data_destroy)
  {
    ha_part_data_destroy(ha_part_data);
    ha_part_data_destroy= NULL;
  }
#endif /* WITH_PARTITION_STORAGE_ENGINE */
461 462 463 464 465 466 467 468
  /*
    Make a copy since the share is allocated in its own root,
    and free_root() updates its argument after freeing the memory.
  */
  MEM_ROOT own_root= mem_root;
  free_root(&own_root, MYF(0));
}

469
/*
unknown's avatar
unknown committed
470 471 472 473 474 475 476 477 478 479 480 481 482
  Free table share and memory used by it

  SYNOPSIS
    free_table_share()
    share		Table share
*/

void free_table_share(TABLE_SHARE *share)
{
  DBUG_ENTER("free_table_share");
  DBUG_PRINT("enter", ("table: %s.%s", share->db.str, share->table_name.str));
  DBUG_ASSERT(share->ref_count == 0);

483
  if (share->m_flush_tickets.is_empty())
484
  {
485
    /*
486 487 488
      No threads are waiting for this share to be flushed (the
      share is not old, is for a temporary table, or just nobody
      happens to be waiting for it). Destroy it.
489
    */
490
    share->destroy();
491 492 493
  }
  else
  {
494 495
    Wait_for_flush_list::Iterator it(share->m_flush_tickets);
    Wait_for_flush *ticket;
496
    /*
497 498
      We're about to iterate over a list that is used
      concurrently. Make sure this never happens without a lock.
499 500 501 502 503
    */
    mysql_mutex_assert_owner(&LOCK_open);

    while ((ticket= it++))
      (void) ticket->get_ctx()->m_wait.set_status(MDL_wait::GRANTED);
504 505 506 507 508 509 510
    /*
      If there are threads waiting for this share to be flushed,
      the last one to receive the notification will destroy the
      share. At this point the share is removed from the table
      definition cache, so is OK to proceed here without waiting
      for this thread to do the work.
    */
511
  }
unknown's avatar
unknown committed
512 513
  DBUG_VOID_RETURN;
}
514

unknown's avatar
unknown committed
515

516 517 518 519 520
/**
  Return TRUE if a table name matches one of the system table names.
  Currently these are:

  help_category, help_keyword, help_relation, help_topic,
521
  proc, event
522 523 524 525 526 527 528 529 530 531 532 533 534 535
  time_zone, time_zone_leap_second, time_zone_name, time_zone_transition,
  time_zone_transition_type

  This function trades accuracy for speed, so may return false
  positives. Presumably mysql.* database is for internal purposes only
  and should not contain user tables.
*/

inline bool is_system_table_name(const char *name, uint length)
{
  CHARSET_INFO *ci= system_charset_info;

  return (
          /* mysql.proc table */
536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555
          (length == 4 &&
           my_tolower(ci, name[0]) == 'p' && 
           my_tolower(ci, name[1]) == 'r' &&
           my_tolower(ci, name[2]) == 'o' &&
           my_tolower(ci, name[3]) == 'c') ||

          (length > 4 &&
           (
            /* one of mysql.help* tables */
            (my_tolower(ci, name[0]) == 'h' &&
             my_tolower(ci, name[1]) == 'e' &&
             my_tolower(ci, name[2]) == 'l' &&
             my_tolower(ci, name[3]) == 'p') ||

            /* one of mysql.time_zone* tables */
            (my_tolower(ci, name[0]) == 't' &&
             my_tolower(ci, name[1]) == 'i' &&
             my_tolower(ci, name[2]) == 'm' &&
             my_tolower(ci, name[3]) == 'e') ||

556
            /* one of mysql.*_stat tables */
557 558 559 560 561
            (my_tolower(ci, name[length-5]) == 's' &&
             my_tolower(ci, name[length-4]) == 't' &&
             my_tolower(ci, name[length-3]) == 'a' &&
             my_tolower(ci, name[length-2]) == 't' &&
             my_tolower(ci, name[length-1]) == 's') ||
562
           
563 564 565 566 567 568 569
            /* mysql.event table */
            (my_tolower(ci, name[0]) == 'e' &&
             my_tolower(ci, name[1]) == 'v' &&
             my_tolower(ci, name[2]) == 'e' &&
             my_tolower(ci, name[3]) == 'n' &&
             my_tolower(ci, name[4]) == 't')
            )
Staale Smedseng's avatar
Staale Smedseng committed
570
           )
571 572 573 574
         );
}


unknown's avatar
unknown committed
575 576 577
/*
  Read table definition from a binary / text based .frm file
  
578
  SYNOPSIS
unknown's avatar
unknown committed
579 580 581 582
  open_table_def()
  thd		Thread handler
  share		Fill this with table definition
  db_flags	Bit mask of the following flags: OPEN_VIEW
583

unknown's avatar
unknown committed
584 585 586 587 588
  NOTES
    This function is called when the table definition is not cached in
    table_def_cache
    The data is returned in 'share', which is alloced by
    alloc_table_share().. The code assumes that share is initialized.
589
*/
unknown's avatar
unknown committed
590

591
enum open_frm_error open_table_def(THD *thd, TABLE_SHARE *share, uint flags)
unknown's avatar
unknown committed
592
{
593
  bool error_given= false;
unknown's avatar
unknown committed
594
  File file;
595 596
  MY_STAT stats;
  uchar *buf;
Sergei Golubchik's avatar
Sergei Golubchik committed
597
  uchar head[FRM_HEADER_SIZE];
unknown's avatar
unknown committed
598
  char	path[FN_REFLEN];
599
  size_t frmlen;
unknown's avatar
unknown committed
600
  DBUG_ENTER("open_table_def");
601 602
  DBUG_PRINT("enter", ("table: '%s'.'%s'  path: '%s'", share->db.str,
                       share->table_name.str, share->normalized_path.str));
unknown's avatar
unknown committed
603

604
  share->error= OPEN_FRM_OPEN_ERROR;
unknown's avatar
VIEW  
unknown committed
605

unknown's avatar
unknown committed
606
  strxmov(path, share->normalized_path.str, reg_ext, NullS);
607 608
  file= mysql_file_open(key_file_frm, path, O_RDONLY | O_SHARE, MYF(0));
  if (file < 0)
unknown's avatar
unknown committed
609
  {
610
    if ((flags & GTS_TABLE) && (flags & GTS_FORCE_DISCOVERY))
611
    {
612 613
      ha_discover_table(thd, share);
      error_given= true;
614
    }
615
    goto err_not_open;
unknown's avatar
unknown committed
616
  }
unknown's avatar
VIEW  
unknown committed
617

618
  if (mysql_file_read(file, head, sizeof(head), MYF(MY_NABP)))
619
  {
620 621
    share->error = my_errno == HA_ERR_FILE_TOO_SHORT
                      ? OPEN_FRM_CORRUPTED : OPEN_FRM_READ_ERROR;
622
    goto err;
623
  }
unknown's avatar
VIEW  
unknown committed
624

625
  if (memcmp(head, STRING_WITH_LEN("TYPE=VIEW\n")) == 0)
unknown's avatar
VIEW  
unknown committed
626
  {
627
    share->is_view= 1;
628
    share->error= flags & GTS_VIEW ? OPEN_FRM_OK : OPEN_FRM_NOT_A_TABLE;
629
    goto err;
unknown's avatar
unknown committed
630
  }
631
  if (!is_binary_frm_header(head))
unknown's avatar
unknown committed
632
  {
633 634
    /* No handling of text based files yet */
    share->error = OPEN_FRM_CORRUPTED;
unknown's avatar
unknown committed
635 636
    goto err;
  }
637
  if (!(flags & GTS_TABLE))
638 639 640 641
  {
    share->error = OPEN_FRM_NOT_A_VIEW;
    goto err;
  }
642

643 644
  if (my_fstat(file, &stats, MYF(0)))
    goto err;
645

646 647 648
  frmlen= min(FRM_MAX_SIZE, stats.st_size); // safety

  if (!(buf= (uchar*)my_malloc(frmlen, MYF(MY_THREAD_SPECIFIC|MY_WME))))
649
    goto err;
650

651
  memcpy(buf, head, sizeof(head));
652

653
  if (mysql_file_read(file, buf + sizeof(head),
654
                      frmlen - sizeof(head), MYF(MY_NABP)))
655 656 657
  {
    share->error = my_errno == HA_ERR_FILE_TOO_SHORT
                      ? OPEN_FRM_CORRUPTED : OPEN_FRM_READ_ERROR;
658
    my_free(buf);
659
    goto err;
unknown's avatar
VIEW  
unknown committed
660
  }
661
  mysql_file_close(file, MYF(MY_WME));
unknown's avatar
VIEW  
unknown committed
662

663
  share->init_from_binary_frm_image(thd, false, buf, frmlen);
664
  error_given= true; // init_from_binary_frm_image has already called my_error()
665
  my_free(buf);
666

667
  goto err_not_open;
668

unknown's avatar
unknown committed
669
err:
Marc Alff's avatar
Marc Alff committed
670
  mysql_file_close(file, MYF(MY_WME));
unknown's avatar
unknown committed
671

unknown's avatar
unknown committed
672
err_not_open:
673
  if (share->error && !error_given)
674
  {
675
    share->open_errno= my_errno;
676
    open_table_error(share, share->error, share->open_errno);
677
  }
678

679
  DBUG_RETURN(share->error);
unknown's avatar
unknown committed
680 681 682
}


683 684 685 686 687 688 689 690 691 692
/**
  Read data from a binary .frm file image into a TABLE_SHARE

  @note
  frm bytes at the following offsets are unused in MariaDB 10.0:

  8..9    (used to be the number of "form names")
  28..29  (used to be key_info_length)

  They're still set, for compatibility reasons, but never read.
Sergei Golubchik's avatar
Sergei Golubchik committed
693 694 695 696

  42..46 are unused since 5.0 (were for RAID support)
  Also, there're few unused bytes in forminfo.

unknown's avatar
unknown committed
697 698
*/

699 700 701
int TABLE_SHARE::init_from_binary_frm_image(THD *thd, bool write,
                                            const uchar *frm_image,
                                            size_t frm_length)
unknown's avatar
unknown committed
702
{
703
  TABLE_SHARE *share= this;
unknown's avatar
unknown committed
704 705 706
  uint new_frm_ver, field_pack_length, new_field_pack_flag;
  uint interval_count, interval_parts, read_length, int_length;
  uint db_create_options, keys, key_parts, n_length;
707
  uint com_length, null_bit_pos;
unknown's avatar
unknown committed
708 709 710
  uint extra_rec_buf_length;
  uint i,j;
  bool use_hash;
711
  char *keynames, *names, *comment_pos;
Sergei Golubchik's avatar
Sergei Golubchik committed
712
  const uchar *forminfo, *extra2;
713
  const uchar *frm_image_end = frm_image + frm_length;
714 715
  uchar *record, *null_flags, *null_pos;
  const uchar *disk_buff, *strpos;
716
  ulong pos, record_offset; 
Igor Babaev's avatar
Igor Babaev committed
717 718
  ulong *rec_per_key= NULL;
  ulong rec_buff_length;
unknown's avatar
unknown committed
719 720
  handler *handler_file= 0;
  KEY	*keyinfo;
Igor Babaev's avatar
Igor Babaev committed
721
  KEY_PART_INFO *key_part= NULL;
unknown's avatar
unknown committed
722 723
  Field  **field_ptr, *reg_field;
  const char **interval_array;
unknown's avatar
unknown committed
724
  enum legacy_db_type legacy_db_type;
725
  my_bitmap_map *bitmaps;
726
  bool null_bits_are_used;
Sergei Golubchik's avatar
Sergei Golubchik committed
727
  uint vcol_screen_length, UNINIT_VAR(options_len);
Sergei Golubchik's avatar
merge.  
Sergei Golubchik committed
728
  char *vcol_screen_pos;
Sergei Golubchik's avatar
Sergei Golubchik committed
729
  const uchar *options= 0;
730 731 732 733 734
  KEY first_keyinfo;
  uint len;
  KEY_PART_INFO *first_key_part= NULL;
  uint ext_key_parts= 0;
  uint first_key_parts= 0;
735
  plugin_ref se_plugin= 0;
736 737
  keyinfo= &first_keyinfo;
  share->ext_key_parts= 0;
738
  MEM_ROOT **root_ptr, *old_root;
739
  DBUG_ENTER("TABLE_SHARE::init_from_binary_frm_image");
unknown's avatar
unknown committed
740

741 742 743 744
  root_ptr= my_pthread_getspecific_ptr(MEM_ROOT**, THR_MALLOC);
  old_root= *root_ptr;
  *root_ptr= &share->mem_root;

745
  if (write && write_frm_image(frm_image, frm_length))
746 747
    goto err;

Sergei Golubchik's avatar
Sergei Golubchik committed
748
  if (frm_length < FRM_HEADER_SIZE + FRM_FORMINFO_SIZE)
749 750
    goto err;

751 752
  new_field_pack_flag= frm_image[27];
  new_frm_ver= (frm_image[2] - FRM_VER);
753
  field_pack_length= new_frm_ver < 2 ? 11 : 17;
unknown's avatar
unknown committed
754

Sergei Golubchik's avatar
Sergei Golubchik committed
755
  /* Length of the MariaDB extra2 segment in the form file. */
756
  len = uint2korr(frm_image+4);
Sergei Golubchik's avatar
Sergei Golubchik committed
757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808
  extra2= frm_image + 64;

  if (*extra2 != '/')   // old frm had '/' there
  {
    const uchar *e2end= extra2 + len;
    while (extra2 < e2end)
    {
      uchar type= *extra2++;
      size_t length= *extra2++;
      if (!length)
      {
        length= uint2korr(extra2);
        extra2+=2;
        if (length < 256)
          goto err;
      }
      switch (type) {
      case EXTRA2_TABLEDEF_VERSION:
        if (tabledef_version.str) // see init_from_sql_statement_string()
        {
          if (length != tabledef_version.length ||
              memcmp(extra2, tabledef_version.str, length))
            goto err;
        }
        else
        {
          uchar *buf= (uchar*) alloc_root(&mem_root, length);
          if (!buf)
            goto err;
          memcpy(buf, extra2, length);
          tabledef_version.str= buf;
          tabledef_version.length= length;
        }
        break;
      case EXTRA2_ENGINE_TABLEOPTS:
        if (options)
          goto err;
        /* remember but delay parsing until we have read fields and keys */
        options= extra2;
        options_len= length;
        break;
      default:
        /* abort frm parsing if it's an unknown but important extra2 value */
        if (type >= 128)
          goto err;
      }
      extra2+= length;
    }
    if (extra2 > e2end)
      goto err;
  }

Sergei Golubchik's avatar
Sergei Golubchik committed
809 810
  if (frm_length < FRM_HEADER_SIZE + len ||
      !(pos= uint4korr(frm_image + FRM_HEADER_SIZE + len)))
811
    goto err;
812 813

  forminfo= frm_image + pos;
Sergei Golubchik's avatar
Sergei Golubchik committed
814
  if (forminfo + FRM_FORMINFO_SIZE >= frm_image_end)
815 816
    goto err;

817
  share->frm_version= frm_image[2];
818 819 820 821 822 823
  /*
    Check if .frm file created by MySQL 5.0. In this case we want to
    display CHAR fields as CHAR and not as VARCHAR.
    We do it this way as we want to keep the old frm version to enable
    MySQL 4.1 to read these files.
  */
824
  if (share->frm_version == FRM_VER_TRUE_VARCHAR -1 && frm_image[33] == 5)
825 826
    share->frm_version= FRM_VER_TRUE_VARCHAR;

unknown's avatar
unknown committed
827
#ifdef WITH_PARTITION_STORAGE_ENGINE
Sergei Golubchik's avatar
Sergei Golubchik committed
828
  if (frm_image[61] &&
829
      !(share->default_part_db_type= 
Sergei Golubchik's avatar
Sergei Golubchik committed
830
        ha_checktype(thd, (enum legacy_db_type) (uint) frm_image[61], 1, 0)))
831
    goto err;
832
  DBUG_PRINT("info", ("default_part_db_type = %u", frm_image[61]));
unknown's avatar
unknown committed
833
#endif
Sergei Golubchik's avatar
Sergei Golubchik committed
834
  legacy_db_type= (enum legacy_db_type) (uint) frm_image[3];
unknown's avatar
WL#2936  
unknown committed
835 836 837 838 839 840
  /*
    if the storage engine is dynamic, no point in resolving it by its
    dynamically allocated legacy_db_type. We will resolve it later by name.
  */
  if (legacy_db_type > DB_TYPE_UNKNOWN && 
      legacy_db_type < DB_TYPE_FIRST_DYNAMIC)
841
    se_plugin= ha_lock_engine(NULL, ha_checktype(thd, legacy_db_type, 0, 0));
842
  share->db_create_options= db_create_options= uint2korr(frm_image+30);
843
  share->db_options_in_use= share->db_create_options;
844
  share->mysql_version= uint4korr(frm_image+51);
unknown's avatar
unknown committed
845
  share->null_field_first= 0;
846 847 848 849 850
  if (!frm_image[32])				// New frm file in 3.23
  {
    share->avg_row_length= uint4korr(frm_image+34);
    share->transactional= (ha_choice) (frm_image[39] & 3);
    share->page_checksum= (ha_choice) ((frm_image[39] >> 2) & 3);
851
    share->row_type= (enum row_type) frm_image[40];
852 853
    share->table_charset= get_charset((((uint) frm_image[41]) << 8) + 
                                        (uint) frm_image[38],MYF(0));
unknown's avatar
unknown committed
854
    share->null_field_first= 1;
855 856 857
  }
  if (!share->table_charset)
  {
858
    /* unknown charset in frm_image[38] or pre-3.23 frm */
859 860 861 862 863 864
    if (use_mb(default_charset_info))
    {
      /* Warn that we may be changing the size of character columns */
      sql_print_warning("'%s' had no or invalid character set, "
                        "and default character set is multi-byte, "
                        "so character column sizes may have changed",
865
                        share->path.str);
866
    }
867
    share->table_charset= default_charset_info;
unknown's avatar
unknown committed
868
  }
869
  share->db_record_offset= 1;
unknown's avatar
unknown committed
870
  if (db_create_options & HA_OPTION_LONG_BLOB_PTR)
871
    share->blob_ptr_size= portable_sizeof_char_ptr;
872 873
  share->max_rows= uint4korr(frm_image+18);
  share->min_rows= uint4korr(frm_image+22);
unknown's avatar
unknown committed
874 875

  /* Read keyinformation */
876
  disk_buff= frm_image + uint2korr(frm_image+6);
877 878 879 880

  if (disk_buff + 6 >= frm_image_end)
    goto err;

unknown's avatar
unknown committed
881
  if (disk_buff[0] & 0x80)
unknown's avatar
unknown committed
882
  {
883 884
    share->keys=      keys=      (disk_buff[1] << 7) | (disk_buff[0] & 0x7f);
    share->key_parts= key_parts= uint2korr(disk_buff+2);
unknown's avatar
unknown committed
885 886 887
  }
  else
  {
888 889
    share->keys=      keys=      disk_buff[0];
    share->key_parts= key_parts= disk_buff[1];
unknown's avatar
unknown committed
890
  }
891 892
  share->keys_for_keyread.init(0);
  share->keys_in_use.init(keys);
unknown's avatar
unknown committed
893

894 895 896 897 898
  /*
    At this point we don't have enough information read from the frm file
    to get a proper handlerton for the interesting engine in order to get
    properties of this engine.
  */   
899 900
  /* Currently only InnoDB can use extended keys */
  share->set_use_ext_keys_flag(legacy_db_type == DB_TYPE_INNODB);
unknown's avatar
unknown committed
901

902 903 904 905 906 907
  len= (uint) uint2korr(disk_buff+4);
  if (!keys)
  {  
    if (!(keyinfo = (KEY*) alloc_root(&share->mem_root, len)))
      goto err;
    bzero((char*) keyinfo, len);
908
    key_part= reinterpret_cast<KEY_PART_INFO*> (keyinfo+keys);
909 910
  }
  strpos= disk_buff+6;
unknown's avatar
unknown committed
911

912 913 914 915 916 917 918 919
  /*
    If share->use_ext_keys is set to TRUE we assume that any key
    can be extended by the components of the primary key whose
    definition is read first from the frm file.
    For each key only those fields of the assumed primary key are
    added that are not included in the proper key definition. 
    If after all it turns out that there is no primary key the
    added components are removed from each key.
920 921 922 923

    When in the future we support others schemes of extending of
    secondary keys with components of the primary key we'll have
    to change the type of this flag for an enumeration type.                 
924
  */   
unknown's avatar
unknown committed
925 926 927

  for (i=0 ; i < keys ; i++, keyinfo++)
  {
928
    if (new_frm_ver >= 3)
929
    {
930 931
      if (strpos + 8 >= frm_image_end)
        goto err;
932 933 934 935
      keyinfo->flags=	   (uint) uint2korr(strpos) ^ HA_NOSAME;
      keyinfo->key_length= (uint) uint2korr(strpos+2);
      keyinfo->key_parts=  (uint) strpos[4];
      keyinfo->algorithm=  (enum ha_key_alg) strpos[5];
936
      keyinfo->block_size= uint2korr(strpos+6);
937 938 939 940
      strpos+=8;
    }
    else
    {
941 942
      if (strpos + 4 >= frm_image_end)
        goto err;
943 944 945 946 947 948
      keyinfo->flags=	 ((uint) strpos[0]) ^ HA_NOSAME;
      keyinfo->key_length= (uint) uint2korr(strpos+1);
      keyinfo->key_parts=  (uint) strpos[3];
      keyinfo->algorithm= HA_KEY_ALG_UNDEF;
      strpos+=4;
    }
unknown's avatar
unknown committed
949

950 951 952 953 954
    if (i == 0)
    {
      ext_key_parts= key_parts +
	             (share->use_ext_keys ? first_keyinfo.key_parts*(keys-1) : 0); 
    
955
      n_length=keys * sizeof(KEY) + ext_key_parts * sizeof(KEY_PART_INFO);
956 957 958 959 960
      if (!(keyinfo= (KEY*) alloc_root(&share->mem_root,
				       n_length + len)))
        goto err;                                   /* purecov: inspected */
      bzero((char*) keyinfo,n_length);
      share->key_info= keyinfo;
961
      key_part= reinterpret_cast<KEY_PART_INFO*> (keyinfo + keys);
962 963

      if (!(rec_per_key= (ulong*) alloc_root(&share->mem_root,
964
                                             sizeof(ulong) * ext_key_parts)))
965 966 967 968 969 970 971 972 973 974 975
        goto err;
      first_key_part= key_part;
      first_key_parts= first_keyinfo.key_parts;
      keyinfo->flags= first_keyinfo.flags;
      keyinfo->key_length= first_keyinfo.key_length;
      keyinfo->key_parts= first_keyinfo.key_parts;
      keyinfo->algorithm= first_keyinfo.algorithm;
      if (new_frm_ver >= 3)
        keyinfo->block_size= first_keyinfo.block_size;
    }

unknown's avatar
unknown committed
976 977 978 979
    keyinfo->key_part=	 key_part;
    keyinfo->rec_per_key= rec_per_key;
    for (j=keyinfo->key_parts ; j-- ; key_part++)
    {
980 981
      if (strpos + (new_frm_ver >= 1 ? 9 : 7) >= frm_image_end)
        goto err;
unknown's avatar
unknown committed
982 983 984 985 986
      *rec_per_key++=0;
      key_part->fieldnr=	(uint16) (uint2korr(strpos) & FIELD_NR_MASK);
      key_part->offset= (uint) uint2korr(strpos+2)-1;
      key_part->key_type=	(uint) uint2korr(strpos+5);
      // key_part->field=	(Field*) 0;	// Will be fixed later
987
      if (new_frm_ver >= 1)
unknown's avatar
unknown committed
988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005
      {
	key_part->key_part_flag= *(strpos+4);
	key_part->length=	(uint) uint2korr(strpos+7);
	strpos+=9;
      }
      else
      {
	key_part->length=	*(strpos+4);
	key_part->key_part_flag=0;
	if (key_part->length > 128)
	{
	  key_part->length&=127;		/* purecov: inspected */
	  key_part->key_part_flag=HA_REVERSE_SORT; /* purecov: inspected */
	}
	strpos+=7;
      }
      key_part->store_length=key_part->length;
    }
1006
    keyinfo->ext_key_parts= keyinfo->key_parts;
Igor Babaev's avatar
Igor Babaev committed
1007 1008
    keyinfo->ext_key_flags= keyinfo->flags;
    keyinfo->ext_key_part_map= 0;
1009 1010 1011
    if (share->use_ext_keys && i)
    {
      keyinfo->ext_key_part_map= 0;
1012 1013 1014
      for (j= 0; 
           j < first_key_parts && keyinfo->ext_key_parts < MAX_REF_PARTS;
           j++)
1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030
      {
        uint key_parts= keyinfo->key_parts;
        KEY_PART_INFO* curr_key_part= keyinfo->key_part;
        KEY_PART_INFO* curr_key_part_end= curr_key_part+key_parts;
        for ( ; curr_key_part < curr_key_part_end; curr_key_part++)
        {
          if (curr_key_part->fieldnr == first_key_part[j].fieldnr)
            break;
        }
        if (curr_key_part == curr_key_part_end)
        {
          *key_part++= first_key_part[j];
          *rec_per_key++= 0;
          keyinfo->ext_key_parts++;
          keyinfo->ext_key_part_map|= 1 << j;
        }
Igor Babaev's avatar
Igor Babaev committed
1031 1032
      }
      if (j == first_key_parts)
Igor Babaev's avatar
Igor Babaev committed
1033
        keyinfo->ext_key_flags= keyinfo->flags | HA_EXT_NOSAME;
1034 1035
    }
    share->ext_key_parts+= keyinfo->ext_key_parts;  
unknown's avatar
unknown committed
1036
  }
unknown's avatar
unknown committed
1037
  keynames=(char*) key_part;
1038 1039 1040
  strpos+= strnmov(keynames, (char *) strpos, frm_image_end - strpos) - keynames;
  if (*strpos++) // key names are \0-terminated
    goto err;
1041

1042 1043 1044 1045 1046
  //reading index comments
  for (keyinfo= share->key_info, i=0; i < keys; i++, keyinfo++)
  {
    if (keyinfo->flags & HA_USES_COMMENT)
    {
1047 1048
      if (strpos + 2 >= frm_image_end)
        goto err;
1049
      keyinfo->comment.length= uint2korr(strpos);
1050 1051 1052 1053 1054
      strpos+= 2;

      if (strpos + keyinfo->comment.length >= frm_image_end)
        goto err;
      keyinfo->comment.str= strmake_root(&share->mem_root, (char*) strpos,
1055
                                         keyinfo->comment.length);
1056
      strpos+= keyinfo->comment.length;
1057 1058 1059 1060 1061
    } 
    DBUG_ASSERT(test(keyinfo->flags & HA_USES_COMMENT) == 
               (keyinfo->comment.length > 0));
  }

1062
  share->reclength = uint2korr((frm_image+16));
1063
  share->stored_rec_length= share->reclength;
Sergei Golubchik's avatar
Sergei Golubchik committed
1064
  if (frm_image[26] == 1)
1065
    share->system= 1;				/* one-record-database */
unknown's avatar
unknown committed
1066

1067 1068 1069
  record_offset= (ulong) (uint2korr(frm_image+6)+
                          ((uint2korr(frm_image+14) == 0xffff ?
                            uint4korr(frm_image+47) : uint2korr(frm_image+14))));
1070 1071 1072

  if (record_offset + share->reclength >= frm_length)
    goto err;
1073
 
1074
  if ((n_length= uint4korr(frm_image+55)))
1075 1076
  {
    /* Read extra data segment */
1077
    const uchar *next_chunk, *buff_end;
1078
    DBUG_PRINT("info", ("extra segment size is %u bytes", n_length));
1079 1080
    next_chunk= frm_image + record_offset + share->reclength;
    buff_end= next_chunk + n_length;
1081 1082 1083 1084

    if (buff_end >= frm_image_end)
      goto err;

1085
    share->connect_string.length= uint2korr(next_chunk);
1086 1087 1088 1089
    if (!(share->connect_string.str= strmake_root(&share->mem_root,
                                                  (char*) next_chunk + 2,
                                                  share->connect_string.
                                                  length)))
1090
    {
unknown's avatar
unknown committed
1091
      goto err;
1092
    }
unknown's avatar
unknown committed
1093
    next_chunk+= share->connect_string.length + 2;
1094 1095 1096
    if (next_chunk + 2 < buff_end)
    {
      uint str_db_type_length= uint2korr(next_chunk);
1097 1098 1099 1100
      LEX_STRING name;
      name.str= (char*) next_chunk + 2;
      name.length= str_db_type_length;

unknown's avatar
WL#2936  
unknown committed
1101
      plugin_ref tmp_plugin= ha_resolve_by_name(thd, &name);
1102
      if (tmp_plugin != NULL && !plugin_equals(tmp_plugin, se_plugin))
1103
      {
1104
        if (se_plugin)
unknown's avatar
WL#2936  
unknown committed
1105 1106 1107 1108
        {
          /* bad file, legacy_db_type did not match the name */
          goto err;
        }
unknown's avatar
WL#2936  
unknown committed
1109 1110
        /*
          tmp_plugin is locked with a local lock.
1111
          we unlock the old value of se_plugin before
unknown's avatar
WL#2936  
unknown committed
1112 1113
          replacing it with a globally locked version of tmp_plugin
        */
1114 1115
        plugin_unlock(NULL, se_plugin);
        se_plugin= plugin_lock(NULL, tmp_plugin);
1116
      }
1117
#ifdef WITH_PARTITION_STORAGE_ENGINE
1118 1119
      else if (str_db_type_length == 9 &&
               !strncmp((char *) next_chunk + 2, "partition", 9))
1120
      {
1121 1122 1123
        /*
          Use partition handler
          tmp_plugin is locked with a local lock.
1124
          we unlock the old value of se_plugin before
1125 1126
          replacing it with a globally locked version of tmp_plugin
        */
1127 1128 1129 1130 1131 1132 1133
        /* Check if the partitioning engine is ready */
        if (!plugin_is_ready(&name, MYSQL_STORAGE_ENGINE_PLUGIN))
        {
          my_error(ER_OPTION_PREVENTS_STATEMENT, MYF(0),
                   "--skip-partition");
          goto err;
        }
1134 1135
        plugin_unlock(NULL, se_plugin);
        se_plugin= ha_lock_engine(NULL, partition_hton);
1136 1137
      }
#endif
1138 1139 1140
      else if (!tmp_plugin)
      {
        /* purecov: begin inspected */
1141
        name.str[name.length]=0;
1142 1143 1144 1145
        my_error(ER_UNKNOWN_STORAGE_ENGINE, MYF(0), name.str);
        goto err;
        /* purecov: end */
      }
1146 1147
      next_chunk+= str_db_type_length + 2;
    }
unknown's avatar
unknown committed
1148
    if (next_chunk + 5 < buff_end)
1149
    {
1150
      uint32 partition_info_str_len = uint4korr(next_chunk);
1151
#ifdef WITH_PARTITION_STORAGE_ENGINE
1152
      if ((share->partition_info_buffer_size=
1153
             share->partition_info_str_len= partition_info_str_len))
1154
      {
1155
        if (!(share->partition_info_str= (char*)
1156
              memdup_root(&share->mem_root, next_chunk + 4,
1157
                          partition_info_str_len + 1)))
1158 1159 1160
        {
          goto err;
        }
1161 1162
      }
#else
1163
      if (partition_info_str_len)
1164 1165 1166
      {
        DBUG_PRINT("info", ("WITH_PARTITION_STORAGE_ENGINE is not defined"));
        goto err;
1167
      }
1168
#endif
1169
      next_chunk+= 5 + partition_info_str_len;
1170
    }
1171
    if (share->mysql_version >= 50110 && next_chunk < buff_end)
1172 1173 1174 1175 1176 1177 1178
    {
      /* New auto_partitioned indicator introduced in 5.1.11 */
#ifdef WITH_PARTITION_STORAGE_ENGINE
      share->auto_partitioned= *next_chunk;
#endif
      next_chunk++;
    }
unknown's avatar
unknown committed
1179
    keyinfo= share->key_info;
1180 1181 1182 1183 1184 1185 1186
    for (i= 0; i < keys; i++, keyinfo++)
    {
      if (keyinfo->flags & HA_USES_PARSER)
      {
        LEX_STRING parser_name;
        if (next_chunk >= buff_end)
        {
unknown's avatar
unknown committed
1187 1188
          DBUG_PRINT("error",
                     ("fulltext key uses parser that is not defined in .frm"));
1189 1190
          goto err;
        }
1191 1192
        parser_name.str= (char*) next_chunk;
        parser_name.length= strlen((char*) next_chunk);
1193
        next_chunk+= parser_name.length + 1;
unknown's avatar
WL#2936  
unknown committed
1194 1195
        keyinfo->parser= my_plugin_lock_by_name(NULL, &parser_name,
                                                MYSQL_FTPARSER_PLUGIN);
1196 1197 1198 1199 1200 1201 1202
        if (! keyinfo->parser)
        {
          my_error(ER_PLUGIN_IS_NOT_LOADED, MYF(0), parser_name.str);
          goto err;
        }
      }
    }
Sergei Golubchik's avatar
merge.  
Sergei Golubchik committed
1203

1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220
    if (forminfo[46] == (uchar)255)
    {
      //reading long table comment
      if (next_chunk + 2 > buff_end)
      {
          DBUG_PRINT("error",
                     ("long table comment is not defined in .frm"));
          goto err;
      }
      share->comment.length = uint2korr(next_chunk);
      if (! (share->comment.str= strmake_root(&share->mem_root,
             (char*)next_chunk + 2, share->comment.length)))
      {
          goto err;
      }
      next_chunk+= 2 + share->comment.length;
    }
Sergei Golubchik's avatar
merge.  
Sergei Golubchik committed
1221

Sergei Golubchik's avatar
Sergei Golubchik committed
1222
    DBUG_ASSERT(next_chunk <= buff_end);
Sergei Golubchik's avatar
Sergei Golubchik committed
1223

Sergei Golubchik's avatar
Sergei Golubchik committed
1224
    if (share->db_create_options & HA_OPTION_TEXT_CREATE_OPTIONS_legacy)
1225
    {
Sergei Golubchik's avatar
Sergei Golubchik committed
1226 1227
      if (options)
        goto err;
1228 1229 1230 1231
      options_len= uint4korr(next_chunk);
      options= next_chunk + 4;
      next_chunk+= options_len + 4;
    }
Sergei Golubchik's avatar
Sergei Golubchik committed
1232
    DBUG_ASSERT(next_chunk <= buff_end);
1233
  }
1234
  share->key_block_size= uint2korr(frm_image+62);
unknown's avatar
unknown committed
1235

1236 1237 1238
  if (share->db_plugin && !plugin_equals(share->db_plugin, se_plugin))
    goto err; // wrong engine (someone changed the frm under our feet?)

1239
  extra_rec_buf_length= uint2korr(frm_image+59);
unknown's avatar
unknown committed
1240
  rec_buff_length= ALIGN_SIZE(share->reclength + 1 + extra_rec_buf_length);
1241
  share->rec_buff_length= rec_buff_length;
1242 1243
  if (!(record= (uchar *) alloc_root(&share->mem_root,
                                     rec_buff_length)))
Sergei Golubchik's avatar
Sergei Golubchik committed
1244
    goto err;                          /* purecov: inspected */
1245
  share->default_values= record;
1246 1247
  memcpy(record, frm_image + record_offset, share->reclength);

Sergei Golubchik's avatar
Sergei Golubchik committed
1248
  disk_buff= frm_image + pos + FRM_FORMINFO_SIZE;
unknown's avatar
unknown committed
1249

1250 1251 1252 1253 1254 1255 1256 1257
  share->fields= uint2korr(forminfo+258);
  pos= uint2korr(forminfo+260);   /* Length of all screens */
  n_length= uint2korr(forminfo+268);
  interval_count= uint2korr(forminfo+270);
  interval_parts= uint2korr(forminfo+272);
  int_length= uint2korr(forminfo+274);
  share->null_fields= uint2korr(forminfo+282);
  com_length= uint2korr(forminfo+284);
Sergei Golubchik's avatar
merge.  
Sergei Golubchik committed
1258
  vcol_screen_length= uint2korr(forminfo+286);
1259
  share->vfields= 0;
1260
  share->default_fields= 0;
1261
  share->stored_fields= share->fields;
1262 1263 1264 1265 1266 1267
  if (forminfo[46] != (uchar)255)
  {
    share->comment.length=  (int) (forminfo[46]);
    share->comment.str= strmake_root(&share->mem_root, (char*) forminfo+47,
                                     share->comment.length);
  }
unknown's avatar
unknown committed
1268

1269
  DBUG_PRINT("info",("i_count: %d  i_parts: %d  index: %d  n_length: %d  int_length: %d  com_length: %d  vcol_screen_length: %d", interval_count,interval_parts, share->keys,n_length,int_length, com_length, vcol_screen_length));
1270

unknown's avatar
unknown committed
1271 1272

  if (!(field_ptr = (Field **)
unknown's avatar
unknown committed
1273
	alloc_root(&share->mem_root,
1274
		   (uint) ((share->fields+1)*sizeof(Field*)+
unknown's avatar
unknown committed
1275
			   interval_count*sizeof(TYPELIB)+
1276
			   (share->fields+interval_parts+
1277
			    keys+3)*sizeof(char *)+
1278 1279
			   (n_length+int_length+com_length+
			       vcol_screen_length)))))
Sergei Golubchik's avatar
Sergei Golubchik committed
1280
    goto err;                           /* purecov: inspected */
unknown's avatar
unknown committed
1281

unknown's avatar
unknown committed
1282
  share->field= field_ptr;
1283
  read_length=(uint) (share->fields * field_pack_length +
1284 1285
		      pos+ (uint) (n_length+int_length+com_length+
		                   vcol_screen_length));
unknown's avatar
unknown committed
1286 1287
  strpos= disk_buff+pos;

1288
  share->intervals= (TYPELIB*) (field_ptr+share->fields+1);
unknown's avatar
unknown committed
1289 1290
  interval_array= (const char **) (share->intervals+interval_count);
  names= (char*) (interval_array+share->fields+interval_parts+keys+3);
unknown's avatar
unknown committed
1291
  if (!interval_count)
1292 1293
    share->intervals= 0;			// For better debugging
  memcpy((char*) names, strpos+(share->fields*field_pack_length),
unknown's avatar
unknown committed
1294
	 (uint) (n_length+int_length));
1295
  comment_pos= names+(n_length+int_length);
1296 1297 1298 1299 1300
  memcpy(comment_pos, disk_buff+read_length-com_length-vcol_screen_length, 
         com_length);
  vcol_screen_pos= names+(n_length+int_length+com_length);
  memcpy(vcol_screen_pos, disk_buff+read_length-vcol_screen_length, 
         vcol_screen_length);
unknown's avatar
unknown committed
1301

unknown's avatar
unknown committed
1302
  fix_type_pointers(&interval_array, &share->fieldnames, 1, &names);
1303
  if (share->fieldnames.count != share->fields)
Sergei Golubchik's avatar
Sergei Golubchik committed
1304
    goto err;
unknown's avatar
unknown committed
1305
  fix_type_pointers(&interval_array, share->intervals, interval_count,
unknown's avatar
unknown committed
1306
		    &names);
1307 1308 1309 1310

  {
    /* Set ENUM and SET lengths */
    TYPELIB *interval;
1311 1312
    for (interval= share->intervals;
         interval < share->intervals + interval_count;
1313 1314 1315
         interval++)
    {
      uint count= (uint) (interval->count + 1) * sizeof(uint);
unknown's avatar
unknown committed
1316
      if (!(interval->type_lengths= (uint *) alloc_root(&share->mem_root,
1317
                                                        count)))
Sergei Golubchik's avatar
Sergei Golubchik committed
1318
        goto err;
1319
      for (count= 0; count < interval->count; count++)
1320 1321 1322 1323
      {
        char *val= (char*) interval->type_names[count];
        interval->type_lengths[count]= strlen(val);
      }
1324 1325 1326 1327
      interval->type_lengths[count]= 0;
    }
  }

unknown's avatar
unknown committed
1328
  if (keynames)
unknown's avatar
unknown committed
1329
    fix_type_pointers(&interval_array, &share->keynames, 1, &keynames);
unknown's avatar
unknown committed
1330

unknown's avatar
unknown committed
1331 1332
 /* Allocate handler */
  if (!(handler_file= get_new_handler(share, thd->mem_root,
1333
                                      plugin_data(se_plugin, handlerton *))))
Sergei Golubchik's avatar
Sergei Golubchik committed
1334
    goto err;
1335

1336
  record= share->default_values-1;              /* Fieldstart = 1 */
1337
  null_bits_are_used= share->null_fields != 0;
unknown's avatar
unknown committed
1338
  if (share->null_field_first)
unknown's avatar
unknown committed
1339
  {
1340
    null_flags= null_pos= record+1;
unknown's avatar
unknown committed
1341
    null_bit_pos= (db_create_options & HA_OPTION_PACK_RECORD) ? 0 : 1;
1342 1343 1344 1345 1346
    /*
      null_bytes below is only correct under the condition that
      there are no bit fields.  Correct values is set below after the
      table struct is initialized
    */
1347
    share->null_bytes= (share->null_fields + null_bit_pos + 7) / 8;
unknown's avatar
unknown committed
1348
  }
unknown's avatar
unknown committed
1349
#ifndef WE_WANT_TO_SUPPORT_VERY_OLD_FRM_FILES
unknown's avatar
unknown committed
1350 1351
  else
  {
1352
    share->null_bytes= (share->null_fields+7)/8;
1353
    null_flags= null_pos= record + 1 + share->reclength - share->null_bytes;
unknown's avatar
unknown committed
1354
    null_bit_pos= 0;
unknown's avatar
unknown committed
1355
  }
unknown's avatar
unknown committed
1356
#endif
unknown's avatar
unknown committed
1357

1358
  use_hash= share->fields >= MAX_FIELDS_BEFORE_HASH;
unknown's avatar
unknown committed
1359
  if (use_hash)
Konstantin Osipov's avatar
Konstantin Osipov committed
1360 1361 1362 1363
    use_hash= !my_hash_init(&share->name_hash,
                            system_charset_info,
                            share->fields,0,0,
                            (my_hash_get_key) get_field_name,0,0);
unknown's avatar
unknown committed
1364

1365
  for (i=0 ; i < share->fields; i++, strpos+=field_pack_length, field_ptr++)
unknown's avatar
unknown committed
1366
  {
1367
    uint pack_flag, interval_nr, unireg_type, recpos, field_length;
1368 1369
    uint vcol_info_length=0;
    uint vcol_expr_length=0;
1370
    enum_field_types field_type;
1371
    CHARSET_INFO *charset=NULL;
unknown's avatar
unknown committed
1372
    Field::geometry_type geom_type= Field::GEOM_GEOMETRY;
1373
    LEX_STRING comment;
1374 1375
    Virtual_column_info *vcol_info= 0;
    bool fld_stored_in_db= TRUE;
unknown's avatar
unknown committed
1376

1377
    if (new_frm_ver >= 3)
1378 1379
    {
      /* new frm file in 4.1 */
1380 1381 1382 1383 1384 1385 1386
      field_length= uint2korr(strpos+3);
      recpos=	    uint3korr(strpos+5);
      pack_flag=    uint2korr(strpos+8);
      unireg_type=  (uint) strpos[10];
      interval_nr=  (uint) strpos[12];
      uint comment_length=uint2korr(strpos+15);
      field_type=(enum_field_types) (uint) strpos[13];
unknown's avatar
unknown committed
1387

1388
      /* charset and geometry_type share the same byte in frm */
1389
      if (field_type == MYSQL_TYPE_GEOMETRY)
unknown's avatar
unknown committed
1390
      {
unknown's avatar
SCRUM:  
unknown committed
1391
#ifdef HAVE_SPATIAL
unknown's avatar
unknown committed
1392 1393
	geom_type= (Field::geometry_type) strpos[14];
	charset= &my_charset_bin;
unknown's avatar
SCRUM:  
unknown committed
1394
#else
Sergei Golubchik's avatar
Sergei Golubchik committed
1395
	goto err;
unknown's avatar
SCRUM:  
unknown committed
1396
#endif
unknown's avatar
unknown committed
1397 1398 1399
      }
      else
      {
1400 1401
        uint csid= strpos[14] + (((uint) strpos[11]) << 8);
        if (!csid)
1402
          charset= &my_charset_bin;
1403
        else if (!(charset= get_charset(csid, MYF(0))))
1404
        {
1405 1406 1407 1408 1409 1410 1411 1412 1413 1414
          const char *csname= get_charset_name((uint) csid);
          char tmp[10];
          if (!csname || csname[0] =='?')
          {
            my_snprintf(tmp, sizeof(tmp), "#%d", csid);
            csname= tmp;
          }
          my_printf_error(ER_UNKNOWN_COLLATION,
                          "Unknown collation '%s' in table '%-.64s' definition", 
                          MYF(0), csname, share->table_name.str);
Sergei Golubchik's avatar
Sergei Golubchik committed
1415
          goto err;
1416
        }
unknown's avatar
unknown committed
1417
      }
1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429

      if ((uchar)field_type == (uchar)MYSQL_TYPE_VIRTUAL)
      {
        DBUG_ASSERT(interval_nr); // Expect non-null expression
        /* 
          The interval_id byte in the .frm file stores the length of the
          expression statement for a virtual column.
        */
        vcol_info_length= interval_nr;
        interval_nr= 0;
      }

1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440
      if (!comment_length)
      {
	comment.str= (char*) "";
	comment.length=0;
      }
      else
      {
	comment.str=    (char*) comment_pos;
	comment.length= comment_length;
	comment_pos+=   comment_length;
      }
1441 1442 1443 1444 1445

      if (vcol_info_length)
      {
        /*
          Get virtual column data stored in the .frm file as follows:
Igor Babaev's avatar
Igor Babaev committed
1446
          byte 1      = 1 | 2
1447 1448
          byte 2      = sql_type
          byte 3      = flags (as of now, 0 - no flags, 1 - field is physically stored)
Igor Babaev's avatar
Igor Babaev committed
1449 1450
          [byte 4]    = optional interval_id for sql_type (only if byte 1 == 2) 
          next byte ...  = virtual column expression (text data)
1451 1452
        */
        vcol_info= new Virtual_column_info();
Igor Babaev's avatar
Igor Babaev committed
1453 1454 1455 1456 1457
        bool opt_interval_id= (uint)vcol_screen_pos[0] == 2;
        field_type= (enum_field_types) (uchar) vcol_screen_pos[1];
        if (opt_interval_id)
          interval_nr= (uint)vcol_screen_pos[3];
        else if ((uint)vcol_screen_pos[0] != 1)
Sergei Golubchik's avatar
Sergei Golubchik committed
1458
          goto err;
1459

1460
        fld_stored_in_db= (bool) (uint) vcol_screen_pos[2];
Igor Babaev's avatar
Igor Babaev committed
1461 1462
        vcol_expr_length= vcol_info_length -
                          (uint)(FRM_VCOL_HEADER_SIZE(opt_interval_id));
1463 1464
        if (!(vcol_info->expr_str.str=
              (char *)memdup_root(&share->mem_root,
Igor Babaev's avatar
Igor Babaev committed
1465 1466
                                  vcol_screen_pos +
                                  (uint) FRM_VCOL_HEADER_SIZE(opt_interval_id),
1467
                                  vcol_expr_length)))
Sergei Golubchik's avatar
Sergei Golubchik committed
1468
          goto err;
Igor Babaev's avatar
Igor Babaev committed
1469 1470
        if (opt_interval_id)
          interval_nr= (uint) vcol_screen_pos[3];
1471 1472 1473 1474
        vcol_info->expr_str.length= vcol_expr_length;
        vcol_screen_pos+= vcol_info_length;
        share->vfields++;
      }
1475 1476 1477
    }
    else
    {
1478 1479 1480
      field_length= (uint) strpos[3];
      recpos=	    uint2korr(strpos+4),
      pack_flag=    uint2korr(strpos+6);
unknown's avatar
unknown committed
1481
      pack_flag&=   ~FIELDFLAG_NO_DEFAULT;     // Safety for old files
1482 1483 1484
      unireg_type=  (uint) strpos[8];
      interval_nr=  (uint) strpos[10];

1485 1486
      /* old frm file */
      field_type= (enum_field_types) f_packtype(pack_flag);
unknown's avatar
unknown committed
1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497
      if (f_is_binary(pack_flag))
      {
        /*
          Try to choose the best 4.1 type:
          - for 4.0 "CHAR(N) BINARY" or "VARCHAR(N) BINARY" 
            try to find a binary collation for character set.
          - for other types (e.g. BLOB) just use my_charset_bin. 
        */
        if (!f_is_blob(pack_flag))
        {
          // 3.23 or 4.0 string
1498
          if (!(charset= get_charset_by_csname(share->table_charset->csname,
unknown's avatar
unknown committed
1499 1500 1501 1502 1503 1504 1505
                                               MY_CS_BINSORT, MYF(0))))
            charset= &my_charset_bin;
        }
        else
          charset= &my_charset_bin;
      }
      else
1506
        charset= share->table_charset;
1507 1508
      bzero((char*) &comment, sizeof(comment));
    }
1509 1510 1511 1512

    if (interval_nr && charset->mbminlen > 1)
    {
      /* Unescape UCS2 intervals from HEX notation */
1513
      TYPELIB *interval= share->intervals + interval_nr - 1;
1514
      unhex_type2(interval);
1515 1516
    }
    
1517
#ifndef TO_BE_DELETED_ON_PRODUCTION
1518
    if (field_type == MYSQL_TYPE_NEWDECIMAL && !share->mysql_version)
1519 1520 1521 1522 1523 1524 1525 1526 1527 1528
    {
      /*
        Fix pack length of old decimal values from 5.0.3 -> 5.0.4
        The difference is that in the old version we stored precision
        in the .frm table while we now store the display_length
      */
      uint decimals= f_decimals(pack_flag);
      field_length= my_decimal_precision_to_length(field_length,
                                                   decimals,
                                                   f_is_dec(pack_flag) == 0);
unknown's avatar
unknown committed
1529 1530 1531 1532
      sql_print_error("Found incompatible DECIMAL field '%s' in %s; "
                      "Please do \"ALTER TABLE '%s' FORCE\" to fix it!",
                      share->fieldnames.type_names[i], share->table_name.str,
                      share->table_name.str);
Marc Alff's avatar
Marc Alff committed
1533
      push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_WARN,
1534
                          ER_CRASHED_ON_USAGE,
unknown's avatar
unknown committed
1535 1536 1537 1538 1539
                          "Found incompatible DECIMAL field '%s' in %s; "
                          "Please do \"ALTER TABLE '%s' FORCE\" to fix it!",
                          share->fieldnames.type_names[i],
                          share->table_name.str,
                          share->table_name.str);
1540 1541 1542 1543
      share->crashed= 1;                        // Marker for CHECK TABLE
    }
#endif

unknown's avatar
unknown committed
1544 1545
    *field_ptr= reg_field=
      make_field(share, record+recpos,
1546
		 (uint32) field_length,
unknown's avatar
unknown committed
1547
		 null_pos, null_bit_pos,
unknown's avatar
unknown committed
1548
		 pack_flag,
1549
		 field_type,
1550
		 charset,
unknown's avatar
unknown committed
1551
		 geom_type,
1552
		 (Field::utype) MTYP_TYPENR(unireg_type),
unknown's avatar
unknown committed
1553
		 (interval_nr ?
1554
		  share->intervals+interval_nr-1 :
unknown's avatar
unknown committed
1555
		  (TYPELIB*) 0),
unknown's avatar
unknown committed
1556
		 share->fieldnames.type_names[i]);
unknown's avatar
unknown committed
1557
    if (!reg_field)				// Not supported field type
1558 1559
      goto err;

1560

1561
    reg_field->field_index= i;
1562
    reg_field->comment=comment;
1563 1564
    reg_field->vcol_info= vcol_info;
    reg_field->stored_in_db= fld_stored_in_db;
1565
    if (field_type == MYSQL_TYPE_BIT && !f_bit_as_char(pack_flag))
unknown's avatar
unknown committed
1566
    {
1567
      null_bits_are_used= 1;
unknown's avatar
unknown committed
1568
      if ((null_bit_pos+= field_length & 7) > 7)
unknown's avatar
unknown committed
1569
      {
unknown's avatar
unknown committed
1570 1571
        null_pos++;
        null_bit_pos-= 8;
unknown's avatar
unknown committed
1572 1573
      }
    }
unknown's avatar
unknown committed
1574 1575 1576 1577 1578
    if (!(reg_field->flags & NOT_NULL_FLAG))
    {
      if (!(null_bit_pos= (null_bit_pos + 1) & 7))
        null_pos++;
    }
unknown's avatar
unknown committed
1579 1580
    if (f_no_default(pack_flag))
      reg_field->flags|= NO_DEFAULT_VALUE_FLAG;
unknown's avatar
unknown committed
1581

unknown's avatar
unknown committed
1582
    if (reg_field->unireg_check == Field::NEXT_NUMBER)
unknown's avatar
unknown committed
1583 1584
      share->found_next_number_field= field_ptr;

1585 1586
    if (use_hash && my_hash_insert(&share->name_hash, (uchar*) field_ptr))
      goto err;
1587 1588 1589 1590 1591 1592
    if (!reg_field->stored_in_db)
    {
      share->stored_fields--;
      if (share->stored_rec_length>=recpos)
        share->stored_rec_length= recpos-1;
    }
1593 1594 1595
    if (reg_field->has_insert_default_function() ||
        reg_field->has_update_default_function())
      ++share->default_fields;
unknown's avatar
unknown committed
1596 1597
  }
  *field_ptr=0;					// End marker
1598 1599 1600
  /* Sanity checks: */
  DBUG_ASSERT(share->fields>=share->stored_fields);
  DBUG_ASSERT(share->reclength>=share->stored_rec_length);
unknown's avatar
unknown committed
1601 1602 1603 1604

  /* Fix key->name and key_part->field */
  if (key_parts)
  {
1605
    uint add_first_key_parts= 0;
Guilhem Bichot's avatar
Guilhem Bichot committed
1606 1607
    uint primary_key=(uint) (find_type(primary_key_name, &share->keynames,
                                       FIND_TYPE_NO_PREFIX) - 1);
1608
    longlong ha_option= handler_file->ha_table_flags();
unknown's avatar
unknown committed
1609
    keyinfo= share->key_info;
1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636

    if (share->use_ext_keys)
    { 
      if (primary_key >= MAX_KEY)
      {
        add_first_key_parts= 0;
        share->set_use_ext_keys_flag(FALSE);
      }
      else
      {
        add_first_key_parts= first_key_parts;
        /* 
          Do not add components of the primary key starting from
          the major component defined over the beginning of a field.
	*/
	for (i= 0; i < first_key_parts; i++)
	{
          uint fieldnr= keyinfo[0].key_part[i].fieldnr;
          if (share->field[fieldnr-1]->key_length() !=
              keyinfo[0].key_part[i].length)
	  {
            add_first_key_parts= i;
            break;
          }
        }
      }   
    }
unknown's avatar
unknown committed
1637

1638
    for (uint key=0 ; key < share->keys ; key++,keyinfo++)
unknown's avatar
unknown committed
1639
    {
unknown's avatar
unknown committed
1640
      uint usable_parts= 0;
1641
      keyinfo->name=(char*) share->keynames.type_names[key];
1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654
      keyinfo->name_length= strlen(keyinfo->name);
      keyinfo->cache_name=
        (uchar*) alloc_root(&share->mem_root,
                            share->table_cache_key.length+
                            keyinfo->name_length + 1);
      if (keyinfo->cache_name)           // If not out of memory
      {
        uchar *pos= keyinfo->cache_name;
        memcpy(pos, share->table_cache_key.str, share->table_cache_key.length);
        memcpy(pos + share->table_cache_key.length, keyinfo->name,
               keyinfo->name_length+1);
      }

1655 1656
      if (ext_key_parts > share->key_parts && key)
      {
1657
        KEY_PART_INFO *new_key_part= (keyinfo-1)->key_part +
1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699
                                     (keyinfo-1)->ext_key_parts;

        /* 
          Do not extend the key that contains a component
          defined over the beginning of a field.
	*/ 
        for (i= 0; i < keyinfo->key_parts; i++)
	{
          uint fieldnr= keyinfo->key_part[i].fieldnr;
          if (share->field[fieldnr-1]->key_length() !=
              keyinfo->key_part[i].length)
	  {
            add_first_key_parts= 0;
            break;
          }
        }

        if (add_first_key_parts < keyinfo->ext_key_parts-keyinfo->key_parts)
	{
          share->ext_key_parts-= keyinfo->ext_key_parts;
          key_part_map ext_key_part_map= keyinfo->ext_key_part_map;
          keyinfo->ext_key_parts= keyinfo->key_parts;
          keyinfo->ext_key_flags= keyinfo->flags;
	  keyinfo->ext_key_part_map= 0; 
          for (i= 0; i < add_first_key_parts; i++)
	  {
            if (ext_key_part_map & 1<<i)
	    {
              keyinfo->ext_key_part_map|= 1<<i;
	      keyinfo->ext_key_parts++;
            }
          }
          share->ext_key_parts+= keyinfo->ext_key_parts;
        }
        if (new_key_part != keyinfo->key_part)
	{
          memmove(new_key_part, keyinfo->key_part,
                  sizeof(KEY_PART_INFO) * keyinfo->ext_key_parts);
          keyinfo->key_part= new_key_part;
        }
      }
    
1700
      /* Fix fulltext keys for old .frm files */
unknown's avatar
unknown committed
1701 1702
      if (share->key_info[key].flags & HA_FULLTEXT)
	share->key_info[key].algorithm= HA_KEY_ALG_FULLTEXT;
1703

unknown's avatar
unknown committed
1704 1705 1706 1707 1708 1709 1710
      if (primary_key >= MAX_KEY && (keyinfo->flags & HA_NOSAME))
      {
	/*
	  If the UNIQUE key doesn't have NULL columns and is not a part key
	  declare this as a primary key.
	*/
	primary_key=key;
1711
        key_part= keyinfo->key_part;
unknown's avatar
unknown committed
1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725
	for (i=0 ; i < keyinfo->key_parts ;i++)
	{
	  uint fieldnr= key_part[i].fieldnr;
	  if (!fieldnr ||
	      share->field[fieldnr-1]->null_ptr ||
	      share->field[fieldnr-1]->key_length() !=
	      key_part[i].length)
	  {
	    primary_key=MAX_KEY;		// Can't be used
	    break;
	  }
	}
      }

1726 1727 1728 1729
      key_part= keyinfo->key_part;
      uint key_parts= share->use_ext_keys ? keyinfo->ext_key_parts :
	                                    keyinfo->key_parts;
      for (i=0; i < key_parts; key_part++, i++)
unknown's avatar
unknown committed
1730
      {
unknown's avatar
unknown committed
1731
        Field *field;
unknown's avatar
unknown committed
1732
	if (new_field_pack_flag <= 1)
unknown's avatar
unknown committed
1733
	  key_part->fieldnr= (uint16) find_field(share->field,
1734
                                                 share->default_values,
unknown's avatar
unknown committed
1735 1736 1737
                                                 (uint) key_part->offset,
                                                 (uint) key_part->length);
	if (!key_part->fieldnr)
Sergei Golubchik's avatar
Sergei Golubchik committed
1738
          goto err;
1739

unknown's avatar
unknown committed
1740
        field= key_part->field= share->field[key_part->fieldnr-1];
unknown's avatar
unknown committed
1741
        key_part->type= field->key_type();
unknown's avatar
unknown committed
1742 1743
        if (field->null_ptr)
        {
1744
          key_part->null_offset=(uint) ((uchar*) field->null_ptr -
unknown's avatar
unknown committed
1745 1746 1747 1748 1749 1750
                                        share->default_values);
          key_part->null_bit= field->null_bit;
          key_part->store_length+=HA_KEY_NULL_LENGTH;
          keyinfo->flags|=HA_NULL_PART_KEY;
          keyinfo->key_length+= HA_KEY_NULL_LENGTH;
        }
1751
        if (field->type() == MYSQL_TYPE_BLOB ||
1752 1753
            field->real_type() == MYSQL_TYPE_VARCHAR ||
            field->type() == MYSQL_TYPE_GEOMETRY)
unknown's avatar
unknown committed
1754
        {
1755 1756
          if (field->type() == MYSQL_TYPE_BLOB ||
              field->type() == MYSQL_TYPE_GEOMETRY)
unknown's avatar
unknown committed
1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778
            key_part->key_part_flag|= HA_BLOB_PART;
          else
            key_part->key_part_flag|= HA_VAR_LENGTH_PART;
          key_part->store_length+=HA_KEY_BLOB_LENGTH;
          keyinfo->key_length+= HA_KEY_BLOB_LENGTH;
        }
        if (field->type() == MYSQL_TYPE_BIT)
          key_part->key_part_flag|= HA_BIT_PART;

        if (i == 0 && key != primary_key)
          field->flags |= (((keyinfo->flags & HA_NOSAME) &&
                           (keyinfo->key_parts == 1)) ?
                           UNIQUE_KEY_FLAG : MULTIPLE_KEY_FLAG);
        if (i == 0)
          field->key_start.set_bit(key);
        if (field->key_length() == key_part->length &&
            !(field->flags & BLOB_FLAG))
        {
          if (handler_file->index_flags(key, i, 0) & HA_KEYREAD_ONLY)
          {
            share->keys_for_keyread.set_bit(key);
            field->part_of_key.set_bit(key);
1779 1780
            if (i < keyinfo->key_parts)
              field->part_of_key_not_clustered.set_bit(key);
unknown's avatar
unknown committed
1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796
          }
          if (handler_file->index_flags(key, i, 1) & HA_READ_ORDER)
            field->part_of_sortkey.set_bit(key);
        }
        if (!(key_part->key_part_flag & HA_REVERSE_SORT) &&
            usable_parts == i)
          usable_parts++;			// For FILESORT
        field->flags|= PART_KEY_FLAG;
        if (key == primary_key)
        {
          field->flags|= PRI_KEY_FLAG;
          /*
            If this field is part of the primary key and all keys contains
            the primary key, then we can use any key to find this column
          */
          if (ha_option & HA_PRIMARY_KEY_IN_READ_INDEX)
1797
          {
1798 1799 1800
            if (field->key_length() == key_part->length &&
                !(field->flags & BLOB_FLAG))
              field->part_of_key= share->keys_in_use;
1801
            if (field->part_of_sortkey.is_set(key))
1802 1803
              field->part_of_sortkey= share->keys_in_use;
          }
unknown's avatar
unknown committed
1804 1805 1806
        }
        if (field->key_length() != key_part->length)
        {
1807
#ifndef TO_BE_DELETED_ON_PRODUCTION
1808
          if (field->type() == MYSQL_TYPE_NEWDECIMAL)
unknown's avatar
unknown committed
1809 1810 1811 1812 1813 1814 1815 1816 1817 1818 1819 1820 1821 1822 1823 1824
          {
            /*
              Fix a fatal error in decimal key handling that causes crashes
              on Innodb. We fix it by reducing the key length so that
              InnoDB never gets a too big key when searching.
              This allows the end user to do an ALTER TABLE to fix the
              error.
            */
            keyinfo->key_length-= (key_part->length - field->key_length());
            key_part->store_length-= (uint16)(key_part->length -
                                              field->key_length());
            key_part->length= (uint16)field->key_length();
            sql_print_error("Found wrong key definition in %s; "
                            "Please do \"ALTER TABLE '%s' FORCE \" to fix it!",
                            share->table_name.str,
                            share->table_name.str);
Marc Alff's avatar
Marc Alff committed
1825
            push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_WARN,
unknown's avatar
unknown committed
1826 1827 1828 1829 1830 1831 1832
                                ER_CRASHED_ON_USAGE,
                                "Found wrong key definition in %s; "
                                "Please do \"ALTER TABLE '%s' FORCE\" to fix "
                                "it!",
                                share->table_name.str,
                                share->table_name.str);
            share->crashed= 1;                // Marker for CHECK TABLE
1833
            continue;
unknown's avatar
unknown committed
1834
          }
1835
#endif
unknown's avatar
unknown committed
1836 1837
          key_part->key_part_flag|= HA_PART_KEY_SEG;
        }
1838 1839
        if (field->real_maybe_null())
          key_part->key_part_flag|= HA_NULL_PART;
unknown's avatar
unknown committed
1840
        /*
1841 1842
          Sometimes we can compare key parts for equality with memcmp.
          But not always.
unknown's avatar
unknown committed
1843
        */
1844 1845 1846 1847 1848
        if (!(key_part->key_part_flag & (HA_BLOB_PART | HA_VAR_LENGTH_PART |
                                         HA_BIT_PART)) &&
            key_part->type != HA_KEYTYPE_FLOAT &&
            key_part->type == HA_KEYTYPE_DOUBLE)
          key_part->key_part_flag|= HA_CAN_MEMCMP;
unknown's avatar
unknown committed
1849
      }
unknown's avatar
unknown committed
1850
      keyinfo->usable_key_parts= usable_parts; // Filesort
1851

1852
      set_if_bigger(share->max_key_length,keyinfo->key_length+
1853
                    keyinfo->key_parts);
1854
      share->total_key_length+= keyinfo->key_length;
1855 1856 1857 1858 1859 1860
      /*
        MERGE tables do not have unique indexes. But every key could be
        an unique index on the underlying MyISAM table. (Bug #10400)
      */
      if ((keyinfo->flags & HA_NOSAME) ||
          (ha_option & HA_ANY_INDEX_MAY_BE_UNIQUE))
unknown's avatar
unknown committed
1861
        set_if_bigger(share->max_unique_length,keyinfo->key_length);
unknown's avatar
unknown committed
1862
    }
1863
    if (primary_key < MAX_KEY &&
1864
	(share->keys_in_use.is_set(primary_key)))
unknown's avatar
unknown committed
1865
    {
1866
      share->primary_key= primary_key;
unknown's avatar
unknown committed
1867 1868 1869 1870
      /*
	If we are using an integer as the primary key then allow the user to
	refer to it as '_rowid'
      */
unknown's avatar
unknown committed
1871
      if (share->key_info[primary_key].key_parts == 1)
unknown's avatar
unknown committed
1872
      {
unknown's avatar
unknown committed
1873
	Field *field= share->key_info[primary_key].key_part[0].field;
unknown's avatar
unknown committed
1874
	if (field && field->result_type() == INT_RESULT)
unknown's avatar
unknown committed
1875 1876 1877 1878 1879
        {
          /* note that fieldnr here (and rowid_field_offset) starts from 1 */
	  share->rowid_field_offset= (share->key_info[primary_key].key_part[0].
                                      fieldnr);
        }
unknown's avatar
unknown committed
1880 1881 1882
      }
    }
    else
1883
      share->primary_key = MAX_KEY; // we do not have a primary key
unknown's avatar
unknown committed
1884
  }
1885
  else
1886
    share->primary_key= MAX_KEY;
unknown's avatar
unknown committed
1887
  if (new_field_pack_flag <= 1)
1888 1889 1890
  {
    /* Old file format with default as not null */
    uint null_length= (share->null_fields+7)/8;
unknown's avatar
unknown committed
1891
    bfill(share->default_values + (null_flags - (uchar*) record),
1892
          null_length, 255);
unknown's avatar
unknown committed
1893 1894
  }

Sergei Golubchik's avatar
Sergei Golubchik committed
1895
  if (options)
1896 1897
  {
    DBUG_ASSERT(options_len);
Sergei Golubchik's avatar
Sergei Golubchik committed
1898
    if (engine_table_options_frm_read(options, options_len, share))
Sergei Golubchik's avatar
Sergei Golubchik committed
1899
      goto err;
1900
  }
1901
  if (parse_engine_table_options(thd, handler_file->partition_ht(), share))
Sergei Golubchik's avatar
Sergei Golubchik committed
1902
    goto err;
1903

unknown's avatar
unknown committed
1904
  if (share->found_next_number_field)
unknown's avatar
unknown committed
1905
  {
unknown's avatar
unknown committed
1906
    reg_field= *share->found_next_number_field;
1907
    if ((int) (share->next_number_index= (uint)
1908 1909
	       find_ref_key(share->key_info, share->keys,
                            share->default_values, reg_field,
1910 1911
			    &share->next_number_key_offset,
                            &share->next_number_keypart)) < 0)
1912
      goto err; // Wrong field definition
1913
    reg_field->flags |= AUTO_INCREMENT_FLAG;
unknown's avatar
unknown committed
1914 1915
  }

1916
  if (share->blob_fields)
unknown's avatar
unknown committed
1917 1918
  {
    Field **ptr;
1919
    uint k, *save;
unknown's avatar
unknown committed
1920

1921 1922
    /* Store offsets to blob fields to find them fast */
    if (!(share->blob_field= save=
unknown's avatar
unknown committed
1923
	  (uint*) alloc_root(&share->mem_root,
1924
                             (uint) (share->blob_fields* sizeof(uint)))))
1925
      goto err;
unknown's avatar
unknown committed
1926
    for (k=0, ptr= share->field ; *ptr ; ptr++, k++)
unknown's avatar
unknown committed
1927 1928
    {
      if ((*ptr)->flags & BLOB_FLAG)
1929
	(*save++)= k;
unknown's avatar
unknown committed
1930 1931 1932
    }
  }

1933 1934 1935 1936
  /*
    the correct null_bytes can now be set, since bitfields have been taken
    into account
  */
unknown's avatar
unknown committed
1937
  share->null_bytes= (null_pos - (uchar*) null_flags +
1938
                      (null_bit_pos + 7) / 8);
unknown's avatar
unknown committed
1939
  share->last_null_bit_pos= null_bit_pos;
1940 1941
  share->null_bytes_for_compare= null_bits_are_used ? share->null_bytes : 0;
  share->can_cmp_whole_record= (share->blob_fields == 0 &&
Michael Widenius's avatar
Michael Widenius committed
1942
                                share->varchar_fields == 0);
unknown's avatar
unknown committed
1943

1944 1945 1946
  share->column_bitmap_size= bitmap_buffer_size(share->fields);

  if (!(bitmaps= (my_bitmap_map*) alloc_root(&share->mem_root,
unknown's avatar
unknown committed
1947
                                             share->column_bitmap_size)))
1948 1949 1950 1951
    goto err;
  bitmap_init(&share->all_set, bitmaps, share->fields, FALSE);
  bitmap_set_all(&share->all_set);

unknown's avatar
unknown committed
1952 1953 1954
  delete handler_file;
#ifndef DBUG_OFF
  if (use_hash)
Konstantin Osipov's avatar
Konstantin Osipov committed
1955
    (void) my_hash_check(&share->name_hash);
unknown's avatar
unknown committed
1956
#endif
1957

1958
  share->db_plugin= se_plugin;
1959
  share->error= OPEN_FRM_OK;
1960
  thd->status_var.opened_shares++;
1961
  *root_ptr= old_root;
1962
  DBUG_RETURN(0);
unknown's avatar
unknown committed
1963 1964

 err:
1965
  share->error= OPEN_FRM_CORRUPTED;
unknown's avatar
unknown committed
1966 1967
  share->open_errno= my_errno;
  delete handler_file;
1968
  plugin_unlock(0, se_plugin);
Konstantin Osipov's avatar
Konstantin Osipov committed
1969
  my_hash_free(&share->name_hash);
1970
  if (share->ha_data_destroy)
1971
  {
1972
    share->ha_data_destroy(share->ha_data);
1973 1974
    share->ha_data_destroy= NULL;
  }
1975 1976
#ifdef WITH_PARTITION_STORAGE_ENGINE
  if (share->ha_part_data_destroy)
1977
  {
1978
    share->ha_part_data_destroy(share->ha_part_data);
1979 1980 1981
    share->ha_data_destroy= NULL;
  }
#endif /* WITH_PARTITION_STORAGE_ENGINE */
unknown's avatar
unknown committed
1982

1983 1984 1985
  if (!thd->is_error())
    open_table_error(share, OPEN_FRM_CORRUPTED, share->open_errno);

1986
  *root_ptr= old_root;
1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 2028 2029 2030 2031 2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061
  DBUG_RETURN(HA_ERR_NOT_A_TABLE);
}


static bool sql_unusable_for_discovery(THD *thd, const char *sql)
{
  LEX *lex= thd->lex;
  HA_CREATE_INFO *create_info= &lex->create_info;

  // ... not CREATE TABLE
  if (lex->sql_command != SQLCOM_CREATE_TABLE)
    return 1;
  // ... create like
  if (create_info->options & HA_LEX_CREATE_TABLE_LIKE)
    return 1;
  // ... create select
  if (lex->select_lex.item_list.elements)
    return 1;
  // ... temporary
  if (create_info->options & HA_LEX_CREATE_TMP_TABLE)
    return 1;
  // ... if exists
  if (create_info->options & HA_LEX_CREATE_IF_NOT_EXISTS)
    return 1;

  // XXX error out or rather ignore the following:
  // ... partitioning
  if (lex->part_info)
    return 1;
  // ... union
  if (create_info->used_fields & HA_CREATE_USED_UNION)
    return 1;
  // ... index/data directory
  if (create_info->data_file_name || create_info->index_file_name)
    return 1;
  // ... engine
  if (create_info->used_fields & HA_CREATE_USED_ENGINE)
    return 1;

  return 0;
}

int TABLE_SHARE::init_from_sql_statement_string(THD *thd, bool write,
                                        const char *sql, size_t sql_length)
{
  ulonglong saved_mode= thd->variables.sql_mode;
  CHARSET_INFO *old_cs= thd->variables.character_set_client;
  Parser_state parser_state;
  bool error;
  char *sql_copy;
  handler *file;
  LEX *old_lex;
  Query_arena *arena, backup;
  LEX tmp_lex;
  LEX_CUSTRING frm= {0,0};

  DBUG_ENTER("TABLE_SHARE::init_from_sql_statement_string");

  /*
    Ouch. Parser may *change* the string it's working on.
    Currently (2013-02-26) it is used to permanently disable
    conditional comments.
    Anyway, let's copy the caller's string...
  */
  if (!(sql_copy= thd->strmake(sql, sql_length)))
    DBUG_RETURN(HA_ERR_OUT_OF_MEM);

  if (parser_state.init(thd, sql_copy, sql_length))
    DBUG_RETURN(HA_ERR_OUT_OF_MEM);

  thd->variables.sql_mode= MODE_NO_ENGINE_SUBSTITUTION | MODE_NO_DIR_IN_CREATE;
  thd->variables.character_set_client= system_charset_info;
  tmp_disable_binlog(thd);
  old_lex= thd->lex;
  thd->lex= &tmp_lex;
unknown's avatar
unknown committed
2062

2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082
  arena= thd->stmt_arena;
  if (arena->is_conventional())
    arena= 0;
  else
    thd->set_n_backup_active_arena(arena, &backup);

  lex_start(thd);

  if ((error= parse_sql(thd, & parser_state, NULL)))
    goto ret;

  if (sql_unusable_for_discovery(thd, sql_copy))
  {
    my_error(ER_SQL_DISCOVER_ERROR, MYF(0), plugin_name(db_plugin)->str,
             db.str, table_name.str, sql_copy);
    goto ret;
  }

  thd->lex->create_info.db_type= plugin_data(db_plugin, handlerton *);

Sergei Golubchik's avatar
Sergei Golubchik committed
2083 2084 2085
  if (tabledef_version.str)
    thd->lex->create_info.tabledef_version= tabledef_version;

2086 2087
  file= mysql_create_frm_image(thd, db.str, table_name.str,
                               &thd->lex->create_info, &thd->lex->alter_info,
2088
                               C_ORDINARY_CREATE, &frm);
2089 2090 2091 2092
  error|= file == 0;
  delete file;

  if (frm.str)
2093 2094 2095
  {
    option_list= 0;             // cleanup existing options ...
    option_struct= 0;           // ... if it's an assisted discovery
2096
    error= init_from_binary_frm_image(thd, write, frm.str, frm.length);
2097
  }
2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115

ret:
  my_free(const_cast<uchar*>(frm.str));
  lex_end(thd->lex);
  thd->lex= old_lex;
  if (arena)
    thd->restore_active_arena(arena, &backup);
  reenable_binlog(thd);
  thd->variables.sql_mode= saved_mode;
  thd->variables.character_set_client= old_cs;
  if (thd->is_error() || error)
  {
    thd->clear_error();
    my_error(ER_NO_SUCH_TABLE, MYF(0), db.str, table_name.str);
    DBUG_RETURN(HA_ERR_NOT_A_TABLE);
  }
  DBUG_RETURN(0);
}
2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142

bool TABLE_SHARE::write_frm_image(const uchar *frm, size_t len)
{
  return writefrm(normalized_path.str, db.str, table_name.str, 1, frm, len);
}


bool TABLE_SHARE::read_frm_image(const uchar **frm, size_t *len)
{
  if (partition_info_str)               // cannot discover a partition
  {
    DBUG_ASSERT(db_type()->discover_table == 0);
    return 1;
  }

  if (frm_image)
  {
    *frm= frm_image->str;
    *len= frm_image->length;
    frm_image->str= 0; // pass the ownership to the caller
    frm_image= 0;
    return 0;
  }
  return readfrm(normalized_path.str, frm, len);
}


2143 2144 2145 2146 2147 2148 2149
void TABLE_SHARE::free_frm_image(const uchar *frm)
{
  if (frm)
    my_free(const_cast<uchar*>(frm));
}


2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232
/*
  @brief
    Clear GET_FIXED_FIELDS_FLAG in all fields of a table

  @param
    table     The table for whose fields the flags are to be cleared

  @note
    This routine is used for error handling purposes.

  @return
    none
*/

static void clear_field_flag(TABLE *table)
{
  Field **ptr;
  DBUG_ENTER("clear_field_flag");

  for (ptr= table->field; *ptr; ptr++)
    (*ptr)->flags&= (~GET_FIXED_FIELDS_FLAG);
  DBUG_VOID_RETURN;
}


/*
  @brief 
    Perform semantic analysis of the defining expression for a virtual column

  @param
    thd           The thread object
  @param
    table         The table containing the virtual column
  @param
    vcol_field    The virtual field whose defining expression is to be analyzed

  @details
    The function performs semantic analysis of the defining expression for
    the virtual column vcol_field. The expression is used to compute the
    values of this column.

  @note
   The function exploits the fact  that the fix_fields method sets the flag 
   GET_FIXED_FIELDS_FLAG for all fields in the item tree.
   This flag must always be unset before returning from this function
   since it is used for other purposes as well.
 
  @retval
    TRUE           An error occurred, something was wrong with the function
  @retval
    FALSE          Otherwise
*/

bool fix_vcol_expr(THD *thd,
                   TABLE *table,
                   Field *vcol_field)
{
  Virtual_column_info *vcol_info= vcol_field->vcol_info;
  Item* func_expr= vcol_info->expr_item;
  bool result= TRUE;
  TABLE_LIST tables;
  int error;
  const char *save_where;
  Field **ptr, *field;
  enum_mark_columns save_mark_used_columns= thd->mark_used_columns;
  DBUG_ASSERT(func_expr);
  DBUG_ENTER("fix_vcol_expr");

  thd->mark_used_columns= MARK_COLUMNS_NONE;

  save_where= thd->where;
  thd->where= "virtual column function";

  /* Fix fields referenced to by the virtual column function */
  error= func_expr->fix_fields(thd, (Item**)0);

  if (unlikely(error))
  {
    DBUG_PRINT("info", 
    ("Field in virtual column expression does not belong to the table"));
    goto end;
  }
  thd->where= save_where;
Igor Babaev's avatar
Igor Babaev committed
2233 2234 2235 2236 2237
  if (unlikely(func_expr->result_type() == ROW_RESULT))
  {
     my_error(ER_ROW_EXPR_FOR_VCOL, MYF(0));
     goto end;
  }
2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251 2252 2253 2254 2255 2256 2257 2258 2259 2260 2261 2262 2263 2264 2265 2266 2267 2268 2269 2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283
#ifdef PARANOID
  /*
    Walk through the Item tree checking if all items are valid
   to be part of the virtual column
  */
  error= func_expr->walk(&Item::check_vcol_func_processor, 0, NULL);
  if (error)
  {
    my_error(ER_VIRTUAL_COLUMN_FUNCTION_IS_NOT_ALLOWED, MYF(0), field_name);
    goto end;
  }
#endif
  if (unlikely(func_expr->const_item()))
  {
    my_error(ER_CONST_EXPR_IN_VCOL, MYF(0));
    goto end;
  }
  /* Ensure that this virtual column is not based on another virtual field. */
  ptr= table->field;
  while ((field= *(ptr++))) 
  {
    if ((field->flags & GET_FIXED_FIELDS_FLAG) &&
        (field->vcol_info))
    {
      my_error(ER_VCOL_BASED_ON_VCOL, MYF(0));
      goto end;
    }
  }
  result= FALSE;

end:

  /* Clear GET_FIXED_FIELDS_FLAG for the fields of the table */
  clear_field_flag(table);

  table->get_fields_in_item_tree= FALSE;
  thd->mark_used_columns= save_mark_used_columns;
  table->map= 0; //Restore old value
 
 DBUG_RETURN(result);
}

/*
  @brief
    Unpack the definition of a virtual column from its linear representation

Igor Babaev's avatar
Igor Babaev committed
2284
  @param
2285
    thd                  The thread object
Igor Babaev's avatar
Igor Babaev committed
2286 2287
  @param
    mem_root             The mem_root object where to allocated memory 
2288 2289 2290 2291 2292 2293 2294 2295 2296 2297 2298 2299 2300 2301 2302 2303
  @param
    table                The table containing the virtual column
  @param
    field                The field for the virtual
  @param  
    vcol_expr            The string representation of the defining expression
  @param[out]
    error_reported       The flag to inform the caller that no other error
                         messages are to be generated

  @details
    The function takes string representation 'vcol_expr' of the defining
    expression for the virtual field 'field' of the table 'table' and
    parses it, building an item object for it. The pointer to this item is
    placed into in field->vcol_info.expr_item. After this the function performs
    semantic analysis of the item by calling the the function fix_vcol_expr.
Igor Babaev's avatar
Igor Babaev committed
2304 2305
    Since the defining expression is part of the table definition the item for
    it is created in table->memroot within the special arena TABLE::expr_arena.
2306 2307 2308 2309 2310 2311 2312 2313 2314 2315 2316

  @note
    Before passing 'vcol_expr" to the parser the function embraces it in 
    parenthesis and prepands it a special keyword.
  
   @retval
    FALSE           If a success
   @retval
    TRUE            Otherwise
*/
bool unpack_vcol_info_from_frm(THD *thd,
Igor Babaev's avatar
Igor Babaev committed
2317
                               MEM_ROOT *mem_root,
2318 2319 2320 2321 2322
                               TABLE *table,
                               Field *field,
                               LEX_STRING *vcol_expr,
                               bool *error_reported)
{
Michael Widenius's avatar
Michael Widenius committed
2323 2324 2325 2326 2327 2328
  bool rc;
  char *vcol_expr_str;
  int str_len;
  CHARSET_INFO *old_character_set_client;
  Query_arena *backup_stmt_arena_ptr;
  Query_arena backup_arena;
2329
  Query_arena *vcol_arena= 0;
Michael Widenius's avatar
Michael Widenius committed
2330
  Parser_state parser_state;
Sergei Golubchik's avatar
Sergei Golubchik committed
2331 2332
  LEX *old_lex= thd->lex;
  LEX lex;
2333 2334 2335
  DBUG_ENTER("unpack_vcol_info_from_frm");
  DBUG_ASSERT(vcol_expr);

2336 2337 2338
  old_character_set_client= thd->variables.character_set_client;
  backup_stmt_arena_ptr= thd->stmt_arena;

2339 2340 2341 2342 2343 2344
  /* 
    Step 1: Construct the input string for the parser.
    The string to be parsed has to be of the following format:
    "PARSE_VCOL_EXPR (<expr_string_from_frm>)".
  */
  
Igor Babaev's avatar
Igor Babaev committed
2345
  if (!(vcol_expr_str= (char*) alloc_root(mem_root,
2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364
                                          vcol_expr->length + 
                                            parse_vcol_keyword.length + 3)))
  {
    DBUG_RETURN(TRUE);
  }
  memcpy(vcol_expr_str,
         (char*) parse_vcol_keyword.str,
         parse_vcol_keyword.length);
  str_len= parse_vcol_keyword.length;
  memcpy(vcol_expr_str + str_len, "(", 1);
  str_len++;
  memcpy(vcol_expr_str + str_len, 
         (char*) vcol_expr->str, 
         vcol_expr->length);
  str_len+= vcol_expr->length;
  memcpy(vcol_expr_str + str_len, ")", 1);
  str_len++;
  memcpy(vcol_expr_str + str_len, "\0", 1);
  str_len++;
Michael Widenius's avatar
Michael Widenius committed
2365 2366 2367

  if (parser_state.init(thd, vcol_expr_str, str_len))
    goto err;
2368 2369 2370 2371

  /* 
    Step 2: Setup thd for parsing.
  */
Michael Widenius's avatar
Michael Widenius committed
2372
  vcol_arena= table->expr_arena;
Igor Babaev's avatar
Igor Babaev committed
2373 2374
  if (!vcol_arena)
  {
Michael Widenius's avatar
Michael Widenius committed
2375 2376 2377 2378
    /*
      We need to use CONVENTIONAL_EXECUTION here to ensure that
      any new items created by fix_fields() are not reverted.
    */
Igor Babaev's avatar
Igor Babaev committed
2379
    Query_arena expr_arena(mem_root,
Sergei Golubchik's avatar
Sergei Golubchik committed
2380
                           Query_arena::STMT_CONVENTIONAL_EXECUTION);
Igor Babaev's avatar
Igor Babaev committed
2381
    if (!(vcol_arena= (Query_arena *) alloc_root(mem_root,
Igor Babaev's avatar
Igor Babaev committed
2382
                                               sizeof(Query_arena))))
Igor Babaev's avatar
Igor Babaev committed
2383 2384 2385 2386 2387 2388
      goto err;
    *vcol_arena= expr_arena;
    table->expr_arena= vcol_arena;
  }
  thd->set_n_backup_active_arena(vcol_arena, &backup_arena);
  thd->stmt_arena= vcol_arena;
2389

Sergei Golubchik's avatar
Sergei Golubchik committed
2390
  if (init_lex_with_single_table(thd, table, &lex))
2391
    goto err;
Sergei Golubchik's avatar
Sergei Golubchik committed
2392

2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411
  thd->lex->parse_vcol_expr= TRUE;

  /* 
    Step 3: Use the parser to build an Item object from vcol_expr_str.
  */
  if (parse_sql(thd, &parser_state, NULL))
  {
    goto err;
  }
  /* From now on use vcol_info generated by the parser. */
  field->vcol_info= thd->lex->vcol_info;

  /* Validate the Item tree. */
  if (fix_vcol_expr(thd, table, field))
  {
    *error_reported= TRUE;
    field->vcol_info= 0;
    goto err;
  }
Michael Widenius's avatar
Michael Widenius committed
2412
  rc= FALSE;
2413 2414 2415 2416 2417 2418 2419
  goto end;

err:
  rc= TRUE;
  thd->free_items();
end:
  thd->stmt_arena= backup_stmt_arena_ptr;
Igor Babaev's avatar
Igor Babaev committed
2420 2421
  if (vcol_arena)
    thd->restore_active_arena(vcol_arena, &backup_arena);
Sergei Golubchik's avatar
Sergei Golubchik committed
2422
  end_lex_with_single_table(thd, table, old_lex);
2423 2424 2425 2426 2427 2428 2429 2430
  thd->variables.character_set_client= old_character_set_client;

  DBUG_RETURN(rc);
}

/*
  Read data from a binary .frm file from MySQL 3.23 - 5.0 into TABLE_SHARE
*/
unknown's avatar
unknown committed
2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456

/*
  Open a table based on a TABLE_SHARE

  SYNOPSIS
    open_table_from_share()
    thd			Thread handler
    share		Table definition
    alias       	Alias for table
    db_stat		open flags (for example HA_OPEN_KEYFILE|
    			HA_OPEN_RNDFILE..) can be 0 (example in
                        ha_example_table)
    prgflag   		READ_ALL etc..
    ha_open_flags	HA_OPEN_ABORT_IF_LOCKED etc..
    outparam       	result table

  RETURN VALUES
   0	ok
   1	Error (see open_table_error)
   2    Error (see open_table_error)
   3    Wrong data in .frm file
   4    Error (see open_table_error)
   5    Error (see open_table_error: charset unavailable)
   7    Table definition has changed in engine
*/

2457 2458 2459 2460
enum open_frm_error open_table_from_share(THD *thd, TABLE_SHARE *share,
                       const char *alias, uint db_stat, uint prgflag,
                       uint ha_open_flags, TABLE *outparam,
                       bool is_create_table)
unknown's avatar
unknown committed
2461
{
2462
  enum open_frm_error error;
2463
  uint records, i, bitmap_size;
unknown's avatar
unknown committed
2464
  bool error_reported= FALSE;
2465
  uchar *record, *bitmaps;
Sergei Golubchik's avatar
Sergei Golubchik committed
2466
  Field **field_ptr, **UNINIT_VAR(vfield_ptr), **UNINIT_VAR(dfield_ptr);
2467
  uint8 save_context_analysis_only= thd->lex->context_analysis_only;
unknown's avatar
unknown committed
2468 2469
  DBUG_ENTER("open_table_from_share");
  DBUG_PRINT("enter",("name: '%s.%s'  form: 0x%lx", share->db.str,
unknown's avatar
unknown committed
2470
                      share->table_name.str, (long) outparam));
unknown's avatar
unknown committed
2471

Sergei Golubchik's avatar
Sergei Golubchik committed
2472
  thd->lex->context_analysis_only&= ~CONTEXT_ANALYSIS_ONLY_VIEW; // not a view
2473

2474
  error= OPEN_FRM_ERROR_ALREADY_ISSUED; // for OOM errors below
unknown's avatar
unknown committed
2475 2476 2477 2478
  bzero((char*) outparam, sizeof(*outparam));
  outparam->in_use= thd;
  outparam->s= share;
  outparam->db_stat= db_stat;
2479
  outparam->write_row_record= NULL;
unknown's avatar
unknown committed
2480

2481
  init_sql_alloc(&outparam->mem_root, TABLE_ALLOC_BLOCK_SIZE, 0, MYF(0));
unknown's avatar
unknown committed
2482

2483
  if (outparam->alias.copy(alias, strlen(alias), table_alias_charset))
unknown's avatar
unknown committed
2484 2485
    goto err;
  outparam->quick_keys.init();
2486
  outparam->covering_keys.init();
2487
  outparam->merge_keys.init();
unknown's avatar
unknown committed
2488 2489 2490
  outparam->keys_in_use_for_query.init();

  /* Allocate handler */
2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501
  outparam->file= 0;
  if (!(prgflag & OPEN_FRM_FILE_ONLY))
  {
    if (!(outparam->file= get_new_handler(share, &outparam->mem_root,
                                          share->db_type())))
      goto err;
  }
  else
  {
    DBUG_ASSERT(!db_stat);
  }
unknown's avatar
unknown committed
2502 2503 2504 2505 2506 2507 2508 2509 2510

  outparam->reginfo.lock_type= TL_UNLOCK;
  outparam->current_lock= F_UNLCK;
  records=0;
  if ((db_stat & HA_OPEN_KEYFILE) || (prgflag & DELAYED_OPEN))
    records=1;
  if (prgflag & (READ_ALL+EXTRA_RECORD))
    records++;

2511
  if (!(record= (uchar*) alloc_root(&outparam->mem_root,
unknown's avatar
unknown committed
2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528
                                   share->rec_buff_length * records)))
    goto err;                                   /* purecov: inspected */

  if (records == 0)
  {
    /* We are probably in hard repair, and the buffers should not be used */
    outparam->record[0]= outparam->record[1]= share->default_values;
  }
  else
  {
    outparam->record[0]= record;
    if (records > 1)
      outparam->record[1]= record+ share->rec_buff_length;
    else
      outparam->record[1]= outparam->record[0];   // Safety
  }

2529
#ifdef HAVE_valgrind
unknown's avatar
unknown committed
2530 2531 2532 2533 2534 2535 2536
  /*
    We need this because when we read var-length rows, we are not updating
    bytes after end of varchar
  */
  if (records > 1)
  {
    memcpy(outparam->record[0], share->default_values, share->rec_buff_length);
2537
    memcpy(outparam->record[1], share->default_values, share->null_bytes);
unknown's avatar
unknown committed
2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550
    if (records > 2)
      memcpy(outparam->record[1], share->default_values,
             share->rec_buff_length);
  }
#endif

  if (!(field_ptr = (Field **) alloc_root(&outparam->mem_root,
                                          (uint) ((share->fields+1)*
                                                  sizeof(Field*)))))
    goto err;                                   /* purecov: inspected */

  outparam->field= field_ptr;

2551
  record= (uchar*) outparam->record[0]-1;	/* Fieldstart = 1 */
unknown's avatar
unknown committed
2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575
  if (share->null_field_first)
    outparam->null_flags= (uchar*) record+1;
  else
    outparam->null_flags= (uchar*) (record+ 1+ share->reclength -
                                    share->null_bytes);

  /* Setup copy of fields from share, but use the right alias and record */
  for (i=0 ; i < share->fields; i++, field_ptr++)
  {
    if (!((*field_ptr)= share->field[i]->clone(&outparam->mem_root, outparam)))
      goto err;
  }
  (*field_ptr)= 0;                              // End marker

  if (share->found_next_number_field)
    outparam->found_next_number_field=
      outparam->field[(uint) (share->found_next_number_field - share->field)];

  /* Fix key->name and key_part->field */
  if (share->key_parts)
  {
    KEY	*key_info, *key_info_end;
    KEY_PART_INFO *key_part;
    uint n_length;
2576
    n_length= share->keys*sizeof(KEY) + share->ext_key_parts*sizeof(KEY_PART_INFO);
unknown's avatar
unknown committed
2577 2578 2579
    if (!(key_info= (KEY*) alloc_root(&outparam->mem_root, n_length)))
      goto err;
    outparam->key_info= key_info;
2580 2581
    key_part= (reinterpret_cast<KEY_PART_INFO*>(key_info+share->keys));

unknown's avatar
unknown committed
2582 2583
    memcpy(key_info, share->key_info, sizeof(*key_info)*share->keys);
    memcpy(key_part, share->key_info[0].key_part, (sizeof(*key_part) *
2584
                                                   share->ext_key_parts));
unknown's avatar
unknown committed
2585 2586 2587 2588 2589 2590 2591 2592 2593 2594

    for (key_info_end= key_info + share->keys ;
         key_info < key_info_end ;
         key_info++)
    {
      KEY_PART_INFO *key_part_end;

      key_info->table= outparam;
      key_info->key_part= key_part;

2595 2596 2597
      key_part_end= key_part + (share->use_ext_keys ? key_info->ext_key_parts :
			                              key_info->key_parts) ;      
      for ( ; key_part < key_part_end; key_part++)
unknown's avatar
unknown committed
2598
      {
2599
        Field *field= key_part->field= outparam->field[key_part->fieldnr - 1];
unknown's avatar
unknown committed
2600 2601 2602 2603 2604 2605 2606 2607 2608

        if (field->key_length() != key_part->length &&
            !(field->flags & BLOB_FLAG))
        {
          /*
            We are using only a prefix of the column as a key:
            Create a new field for the key part that matches the index
          */
          field= key_part->field=field->new_field(&outparam->mem_root,
unknown's avatar
unknown committed
2609
                                                  outparam, 0);
unknown's avatar
unknown committed
2610 2611 2612
          field->field_length= key_part->length;
        }
      }
2613
      if (!share->use_ext_keys)
2614
	key_part+= key_info->ext_key_parts - key_info->key_parts;
unknown's avatar
unknown committed
2615 2616 2617
    }
  }

2618
  /*
2619
    Process virtual and default columns, if any.
2620
  */
2621
  if (share->vfields)
2622
  {
2623 2624 2625 2626 2627 2628
    if (!(vfield_ptr = (Field **) alloc_root(&outparam->mem_root,
                                             (uint) ((share->vfields+1)*
                                                     sizeof(Field*)))))
      goto err;

    outparam->vfield= vfield_ptr;
2629 2630
  }

2631
  if (share->default_fields)
2632 2633 2634 2635 2636
  {
    if (!(dfield_ptr = (Field **) alloc_root(&outparam->mem_root,
                                             (uint) ((share->default_fields+1)*
                                                     sizeof(Field*)))))
      goto err;
2637

2638 2639 2640 2641 2642 2643
    outparam->default_field= dfield_ptr;
  }

  if (share->vfields || share->default_fields)
  {
    /* Reuse the same loop both for virtual and default fields. */
2644
    for (field_ptr= outparam->field; *field_ptr; field_ptr++)
2645
    {
2646
      if (share->vfields && (*field_ptr)->vcol_info)
2647
      {
2648
        if (unpack_vcol_info_from_frm(thd,
Igor Babaev's avatar
Igor Babaev committed
2649
                                      &outparam->mem_root,
2650 2651 2652 2653 2654
                                      outparam,
                                      *field_ptr,
                                      &(*field_ptr)->vcol_info->expr_str,
                                      &error_reported))
        {
2655
          error= OPEN_FRM_CORRUPTED;
2656 2657 2658
          goto err;
        }
        *(vfield_ptr++)= *field_ptr;
2659
      }
2660 2661 2662 2663
      if (share->default_fields &&
          ((*field_ptr)->has_insert_default_function() ||
           (*field_ptr)->has_update_default_function()))
        *(dfield_ptr++)= *field_ptr;
2664
    }
2665 2666 2667 2668
    if (share->vfields)
      *vfield_ptr= 0;                            // End marker
    if (share->default_fields)
      *dfield_ptr= 0;                            // End marker
2669 2670
  }

unknown's avatar
unknown committed
2671
#ifdef WITH_PARTITION_STORAGE_ENGINE
2672
  if (share->partition_info_str_len && outparam->file)
unknown's avatar
unknown committed
2673
  {
2674 2675 2676 2677 2678 2679 2680 2681 2682 2683 2684 2685 2686
  /*
    In this execution we must avoid calling thd->change_item_tree since
    we might release memory before statement is completed. We do this
    by changing to a new statement arena. As part of this arena we also
    set the memory root to be the memory root of the table since we
    call the parser and fix_fields which both can allocate memory for
    item objects. We keep the arena to ensure that we can release the
    free_list when closing the table object.
    SEE Bug #21658
  */

    Query_arena *backup_stmt_arena_ptr= thd->stmt_arena;
    Query_arena backup_arena;
2687 2688
    Query_arena part_func_arena(&outparam->mem_root,
                                Query_arena::STMT_INITIALIZED);
2689 2690
    thd->set_n_backup_active_arena(&part_func_arena, &backup_arena);
    thd->stmt_arena= &part_func_arena;
2691
    bool tmp;
2692
    bool work_part_info_used;
2693

2694 2695
    tmp= mysql_unpack_partition(thd, share->partition_info_str,
                                share->partition_info_str_len,
2696
                                outparam, is_create_table,
2697 2698
                                share->default_part_db_type,
                                &work_part_info_used);
2699 2700 2701 2702 2703 2704 2705
    if (tmp)
    {
      thd->stmt_arena= backup_stmt_arena_ptr;
      thd->restore_active_arena(&part_func_arena, &backup_arena);
      goto partititon_err;
    }
    outparam->part_info->is_auto_partitioned= share->auto_partitioned;
2706
    DBUG_PRINT("info", ("autopartitioned: %u", share->auto_partitioned));
2707 2708 2709
    /* we should perform the fix_partition_func in either local or
       caller's arena depending on work_part_info_used value
    */
2710
    if (!work_part_info_used)
2711
      tmp= fix_partition_func(thd, outparam, is_create_table);
2712 2713
    thd->stmt_arena= backup_stmt_arena_ptr;
    thd->restore_active_arena(&part_func_arena, &backup_arena);
2714
    if (!tmp)
2715 2716 2717 2718
    {
      if (work_part_info_used)
        tmp= fix_partition_func(thd, outparam, is_create_table);
    }
2719
    outparam->part_info->item_free_list= part_func_arena.free_list;
2720
partititon_err:
2721
    if (tmp)
2722 2723 2724 2725 2726 2727 2728 2729 2730 2731
    {
      if (is_create_table)
      {
        /*
          During CREATE/ALTER TABLE it is ok to receive errors here.
          It is not ok if it happens during the opening of an frm
          file as part of a normal query.
        */
        error_reported= TRUE;
      }
unknown's avatar
unknown committed
2732
      goto err;
2733
    }
unknown's avatar
unknown committed
2734 2735 2736
  }
#endif

2737 2738
  /* Check virtual columns against table's storage engine. */
  if (share->vfields && 
Igor Babaev's avatar
Igor Babaev committed
2739 2740
        (outparam->file && 
          !(outparam->file->ha_table_flags() & HA_CAN_VIRTUAL_COLUMNS)))
2741
  {
Sergei Golubchik's avatar
Sergei Golubchik committed
2742 2743
    my_error(ER_UNSUPPORTED_ENGINE_FOR_VIRTUAL_COLUMNS, MYF(0),
             plugin_name(share->db_plugin)->str);
2744 2745 2746 2747
    error_reported= TRUE;
    goto err;
  }

2748 2749 2750
  /* Allocate bitmaps */

  bitmap_size= share->column_bitmap_size;
2751
  if (!(bitmaps= (uchar*) alloc_root(&outparam->mem_root, bitmap_size*5)))
2752 2753 2754 2755 2756
    goto err;
  bitmap_init(&outparam->def_read_set,
              (my_bitmap_map*) bitmaps, share->fields, FALSE);
  bitmap_init(&outparam->def_write_set,
              (my_bitmap_map*) (bitmaps+bitmap_size), share->fields, FALSE);
Igor Babaev's avatar
Igor Babaev committed
2757
  bitmap_init(&outparam->def_vcol_set,
2758
              (my_bitmap_map*) (bitmaps+bitmap_size*2), share->fields, FALSE);
Igor Babaev's avatar
Igor Babaev committed
2759
  bitmap_init(&outparam->tmp_set,
2760
              (my_bitmap_map*) (bitmaps+bitmap_size*3), share->fields, FALSE);
2761 2762
  bitmap_init(&outparam->eq_join_set,
              (my_bitmap_map*) (bitmaps+bitmap_size*4), share->fields, FALSE);
2763 2764
  outparam->default_column_bitmaps();

2765
  /* The table struct is now initialized;  Open the table */
unknown's avatar
unknown committed
2766 2767
  if (db_stat)
  {
2768 2769 2770 2771 2772 2773 2774 2775 2776 2777 2778 2779 2780 2781
    if (db_stat & HA_OPEN_TEMPORARY)
      ha_open_flags|= HA_OPEN_TMP_TABLE;
    else if ((db_stat & HA_WAIT_IF_LOCKED) ||
             (specialflag & SPECIAL_WAIT_IF_LOCKED))
      ha_open_flags|= HA_OPEN_WAIT_IF_LOCKED;
    else if (db_stat & (HA_ABORT_IF_LOCKED | HA_GET_INFO))
      ha_open_flags|= HA_OPEN_ABORT_IF_LOCKED;
    else
      ha_open_flags|= HA_OPEN_IGNORE_IF_LOCKED;

    int ha_err= outparam->file->ha_open(outparam, share->normalized_path.str,
                                 (db_stat & HA_READ_ONLY ? O_RDONLY : O_RDWR),
                                  ha_open_flags);
    if (ha_err)
unknown's avatar
unknown committed
2782
    {
2783
      share->open_errno= ha_err;
unknown's avatar
unknown committed
2784
      /* Set a flag if the table is crashed and it can be auto. repaired */
2785
      share->crashed= (outparam->file->auto_repair(ha_err) &&
2786
                       !(ha_open_flags & HA_OPEN_FOR_REPAIR));
2787 2788 2789 2790 2791
      outparam->file->print_error(ha_err, MYF(0));
      error_reported= TRUE;
      if (ha_err == HA_ERR_TABLE_DEF_CHANGED)
        error= OPEN_FRM_DISCOVER;
      goto err;
unknown's avatar
unknown committed
2792 2793 2794
    }
  }

2795
#if defined(HAVE_valgrind) && !defined(DBUG_OFF)
2796 2797 2798
  bzero((char*) bitmaps, bitmap_size*3);
#endif

unknown's avatar
unknown committed
2799 2800
  outparam->no_replicate= outparam->file &&
                          test(outparam->file->ha_table_flags() &
2801
                               HA_HAS_OWN_BINLOGGING);
2802
  thd->status_var.opened_tables++;
2803

2804
  thd->lex->context_analysis_only= save_context_analysis_only;
2805
  DBUG_RETURN (OPEN_FRM_OK);
unknown's avatar
unknown committed
2806

2807
 err:
2808
  if (! error_reported)
2809
    open_table_error(share, error, my_errno);
2810
  delete outparam->file;
2811
#ifdef WITH_PARTITION_STORAGE_ENGINE
unknown's avatar
unknown committed
2812 2813
  if (outparam->part_info)
    free_items(outparam->part_info->item_free_list);
2814
#endif
unknown's avatar
unknown committed
2815
  outparam->file= 0;				// For easier error checking
2816
  outparam->db_stat=0;
2817
  thd->lex->context_analysis_only= save_context_analysis_only;
2818
  free_root(&outparam->mem_root, MYF(0));       // Safe to call on bzero'd root
2819
  outparam->alias.free();
unknown's avatar
unknown committed
2820
  DBUG_RETURN (error);
unknown's avatar
unknown committed
2821
}
unknown's avatar
unknown committed
2822

unknown's avatar
unknown committed
2823 2824 2825 2826 2827 2828 2829 2830 2831

/*
  Free information allocated by openfrm

  SYNOPSIS
    closefrm()
    table		TABLE object to free
    free_share		Is 1 if we also want to free table_share
*/
unknown's avatar
unknown committed
2832

unknown's avatar
unknown committed
2833
int closefrm(register TABLE *table, bool free_share)
unknown's avatar
unknown committed
2834 2835 2836
{
  int error=0;
  DBUG_ENTER("closefrm");
2837
  DBUG_PRINT("enter", ("table: 0x%lx", (long) table));
unknown's avatar
unknown committed
2838

unknown's avatar
unknown committed
2839
  if (table->db_stat)
2840 2841 2842
  {
    if (table->s->deleting)
      table->file->extra(HA_EXTRA_PREPARE_FOR_DROP);
2843
    error=table->file->ha_close();
2844
  }
2845
  table->alias.free();
Igor Babaev's avatar
Igor Babaev committed
2846 2847
  if (table->expr_arena)
    table->expr_arena->free_items();
2848
  if (table->field)
unknown's avatar
unknown committed
2849 2850
  {
    for (Field **ptr=table->field ; *ptr ; ptr++)
2851
    {
unknown's avatar
unknown committed
2852
      delete *ptr;
2853
    }
2854
    table->field= 0;
unknown's avatar
unknown committed
2855 2856
  }
  delete table->file;
unknown's avatar
unknown committed
2857
  table->file= 0;				/* For easier errorchecking */
2858
#ifdef WITH_PARTITION_STORAGE_ENGINE
unknown's avatar
unknown committed
2859
  if (table->part_info)
2860
  {
unknown's avatar
unknown committed
2861
    free_items(table->part_info->item_free_list);
unknown's avatar
unknown committed
2862
    table->part_info->item_free_list= 0;
unknown's avatar
unknown committed
2863
    table->part_info= 0;
2864 2865
  }
#endif
unknown's avatar
unknown committed
2866 2867 2868
  if (free_share)
  {
    if (table->s->tmp_table == NO_TMP_TABLE)
Konstantin Osipov's avatar
Konstantin Osipov committed
2869
      release_table_share(table->s);
unknown's avatar
unknown committed
2870 2871 2872
    else
      free_table_share(table->s);
  }
2873
  free_root(&table->mem_root, MYF(0));
unknown's avatar
unknown committed
2874 2875 2876 2877 2878 2879 2880 2881
  DBUG_RETURN(error);
}


/* Deallocate temporary blob storage */

void free_blobs(register TABLE *table)
{
2882 2883 2884 2885
  uint *ptr, *end;
  for (ptr= table->s->blob_field, end=ptr + table->s->blob_fields ;
       ptr != end ;
       ptr++)
2886 2887 2888 2889 2890 2891 2892 2893 2894
  {
    /*
      Reduced TABLE objects which are used by row-based replication for
      type conversion might have some fields missing. Skip freeing BLOB
      buffers for such missing fields.
    */
    if (table->field[*ptr])
      ((Field_blob*) table->field[*ptr])->free();
  }
unknown's avatar
unknown committed
2895 2896 2897
}


2898 2899 2900 2901 2902 2903 2904 2905 2906 2907 2908 2909 2910 2911 2912 2913 2914 2915 2916 2917 2918 2919
/**
  Reclaim temporary blob storage which is bigger than 
  a threshold.
 
  @param table A handle to the TABLE object containing blob fields
  @param size The threshold value.
 
*/

void free_field_buffers_larger_than(TABLE *table, uint32 size)
{
  uint *ptr, *end;
  for (ptr= table->s->blob_field, end=ptr + table->s->blob_fields ;
       ptr != end ;
       ptr++)
  {
    Field_blob *blob= (Field_blob*) table->field[*ptr];
    if (blob->get_field_buffer_size() > size)
        blob->free();
  }
}

Sergei Golubchik's avatar
Sergei Golubchik committed
2920
/* error message when opening a form file */
unknown's avatar
unknown committed
2921

2922 2923
void open_table_error(TABLE_SHARE *share, enum open_frm_error error,
                      int db_errno)
unknown's avatar
unknown committed
2924 2925
{
  char buff[FN_REFLEN];
2926
  const myf errortype= ME_ERROR+ME_WAITTANG;  // Write fatals error to log
unknown's avatar
unknown committed
2927
  DBUG_ENTER("open_table_error");
unknown's avatar
unknown committed
2928 2929

  switch (error) {
2930
  case OPEN_FRM_OPEN_ERROR:
2931 2932 2933 2934 2935
    /*
      Test if file didn't exists. We have to also test for EINVAL as this
      may happen on windows when opening a file with a not legal file name
    */
    if (db_errno == ENOENT || db_errno == EINVAL)
unknown's avatar
unknown committed
2936 2937
      my_error(ER_NO_SUCH_TABLE, MYF(0), share->db.str, share->table_name.str);
    else
unknown's avatar
unknown committed
2938
    {
unknown's avatar
unknown committed
2939
      strxmov(buff, share->normalized_path.str, reg_ext, NullS);
2940 2941
      my_error((db_errno == EMFILE) ? ER_CANT_OPEN_FILE : ER_FILE_NOT_FOUND,
               errortype, buff, db_errno);
unknown's avatar
unknown committed
2942 2943
    }
    break;
2944 2945
  case OPEN_FRM_OK:
    DBUG_ASSERT(0); // open_table_error() is never called for this one
unknown's avatar
unknown committed
2946
    break;
2947
  case OPEN_FRM_ERROR_ALREADY_ISSUED:
2948
    break;
2949 2950 2951 2952 2953 2954 2955 2956
  case OPEN_FRM_NOT_A_VIEW:
    my_error(ER_WRONG_OBJECT, MYF(0), share->db.str,
             share->table_name.str, "VIEW");
    break;
  case OPEN_FRM_NOT_A_TABLE:
    my_error(ER_WRONG_OBJECT, MYF(0), share->db.str,
             share->table_name.str, "TABLE");
    break;
2957 2958
  case OPEN_FRM_DISCOVER:
    DBUG_ASSERT(0); // open_table_error() is never called for this one
2959
    break;
2960
  case OPEN_FRM_CORRUPTED:
unknown's avatar
unknown committed
2961
    strxmov(buff, share->normalized_path.str, reg_ext, NullS);
2962
    my_error(ER_NOT_FORM_FILE, errortype, buff);
unknown's avatar
unknown committed
2963
    break;
2964 2965 2966 2967
  case OPEN_FRM_READ_ERROR:
    strxmov(buff, share->normalized_path.str, reg_ext, NullS);
    my_error(ER_ERROR_ON_READ, errortype, buff, db_errno);
    break;
unknown's avatar
unknown committed
2968 2969
  }
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
2970
} /* open_table_error */
unknown's avatar
unknown committed
2971 2972 2973 2974


	/*
	** fix a str_type to a array type
2975
	** typeparts separated with some char. differents types are separated
unknown's avatar
unknown committed
2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989 2990 2991 2992 2993 2994 2995 2996 2997 2998 2999
	** with a '\0'
	*/

static void
fix_type_pointers(const char ***array, TYPELIB *point_to_type, uint types,
		  char **names)
{
  char *type_name, *ptr;
  char chr;

  ptr= *names;
  while (types--)
  {
    point_to_type->name=0;
    point_to_type->type_names= *array;

    if ((chr= *ptr))			/* Test if empty type */
    {
      while ((type_name=strchr(ptr+1,chr)) != NullS)
      {
	*((*array)++) = ptr+1;
	*type_name= '\0';		/* End string */
	ptr=type_name;
      }
unknown's avatar
unknown committed
3000
      ptr+=2;				/* Skip end mark and last 0 */
unknown's avatar
unknown committed
3001 3002 3003 3004 3005 3006 3007 3008 3009 3010 3011 3012
    }
    else
      ptr++;
    point_to_type->count= (uint) (*array - point_to_type->type_names);
    point_to_type++;
    *((*array)++)= NullS;		/* End of type */
  }
  *names=ptr;				/* Update end */
  return;
} /* fix_type_pointers */


3013
TYPELIB *typelib(MEM_ROOT *mem_root, List<String> &strings)
unknown's avatar
unknown committed
3014
{
3015
  TYPELIB *result= (TYPELIB*) alloc_root(mem_root, sizeof(TYPELIB));
unknown's avatar
unknown committed
3016 3017 3018 3019
  if (!result)
    return 0;
  result->count=strings.elements;
  result->name="";
3020
  uint nbytes= (sizeof(char*) + sizeof(uint)) * (result->count + 1);
3021
  if (!(result->type_names= (const char**) alloc_root(mem_root, nbytes)))
unknown's avatar
unknown committed
3022
    return 0;
3023
  result->type_lengths= (uint*) (result->type_names + result->count + 1);
unknown's avatar
unknown committed
3024 3025 3026
  List_iterator<String> it(strings);
  String *tmp;
  for (uint i=0; (tmp=it++) ; i++)
3027 3028 3029 3030 3031 3032
  {
    result->type_names[i]= tmp->ptr();
    result->type_lengths[i]= tmp->length();
  }
  result->type_names[result->count]= 0;		// End marker
  result->type_lengths[result->count]= 0;
unknown's avatar
unknown committed
3033 3034 3035 3036
  return result;
}


3037 3038 3039 3040 3041 3042 3043 3044 3045 3046 3047 3048
/*
 Search after a field with given start & length
 If an exact field isn't found, return longest field with starts
 at right position.
 
 NOTES
   This is needed because in some .frm fields 'fieldnr' was saved wrong

 RETURN
   0  error
   #  field number +1
*/
unknown's avatar
unknown committed
3049

3050
static uint find_field(Field **fields, uchar *record, uint start, uint length)
unknown's avatar
unknown committed
3051 3052
{
  Field **field;
unknown's avatar
unknown committed
3053
  uint i, pos;
unknown's avatar
unknown committed
3054

unknown's avatar
unknown committed
3055 3056
  pos= 0;
  for (field= fields, i=1 ; *field ; i++,field++)
unknown's avatar
unknown committed
3057
  {
3058
    if ((*field)->offset(record) == start)
unknown's avatar
unknown committed
3059 3060 3061
    {
      if ((*field)->key_length() == length)
	return (i);
unknown's avatar
unknown committed
3062
      if (!pos || fields[pos-1]->pack_length() <
unknown's avatar
unknown committed
3063
	  (*field)->pack_length())
unknown's avatar
unknown committed
3064
	pos= i;
unknown's avatar
unknown committed
3065 3066 3067 3068 3069 3070
    }
  }
  return (pos);
}


3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083
/*
  Store an SQL quoted string.

  SYNOPSIS  
    append_unescaped()
    res		result String
    pos		string to be quoted
    length	it's length

  NOTE
    This function works correctly with utf8 or single-byte charset strings.
    May fail with some multibyte charsets though.
*/
3084

3085
void append_unescaped(String *res, const char *pos, uint length)
unknown's avatar
unknown committed
3086
{
3087 3088 3089 3090
  const char *end= pos+length;
  res->append('\'');

  for (; pos != end ; pos++)
unknown's avatar
unknown committed
3091
  {
unknown's avatar
unknown committed
3092
#if defined(USE_MB) && MYSQL_VERSION_ID < 40100
unknown's avatar
unknown committed
3093 3094 3095 3096 3097 3098 3099 3100 3101 3102
    uint mblen;
    if (use_mb(default_charset_info) &&
        (mblen= my_ismbchar(default_charset_info, pos, end)))
    {
      res->append(pos, mblen);
      pos+= mblen;
      continue;
    }
#endif

unknown's avatar
unknown committed
3103 3104 3105 3106 3107 3108 3109 3110 3111 3112
    switch (*pos) {
    case 0:				/* Must be escaped for 'mysql' */
      res->append('\\');
      res->append('0');
      break;
    case '\n':				/* Must be escaped for logs */
      res->append('\\');
      res->append('n');
      break;
    case '\r':
3113
      res->append('\\');		/* This gives better readability */
unknown's avatar
unknown committed
3114 3115 3116 3117 3118 3119 3120 3121 3122 3123 3124 3125 3126 3127 3128
      res->append('r');
      break;
    case '\\':
      res->append('\\');		/* Because of the sql syntax */
      res->append('\\');
      break;
    case '\'':
      res->append('\'');		/* Because of the sql syntax */
      res->append('\'');
      break;
    default:
      res->append(*pos);
      break;
    }
  }
3129
  res->append('\'');
unknown's avatar
unknown committed
3130 3131
}

3132

Sergei Golubchik's avatar
Sergei Golubchik committed
3133 3134
void prepare_frm_header(THD *thd, uint reclength, uchar *fileinfo,
                        HA_CREATE_INFO *create_info, uint keys, KEY *key_info)
unknown's avatar
unknown committed
3135
{
3136 3137
  ulong key_comment_total_bytes= 0;
  uint i;
Sergei Golubchik's avatar
Sergei Golubchik committed
3138
  DBUG_ENTER("prepare_frm_header");
unknown's avatar
unknown committed
3139

3140
  /* Fix this when we have new .frm files;  Current limit is 4G rows (TODO) */
3141 3142 3143 3144
  if (create_info->max_rows > UINT_MAX32)
    create_info->max_rows= UINT_MAX32;
  if (create_info->min_rows > UINT_MAX32)
    create_info->min_rows= UINT_MAX32;
3145

Sergei Golubchik's avatar
Sergei Golubchik committed
3146 3147 3148 3149 3150 3151 3152 3153 3154
  uint key_length, tmp_key_length, tmp, csid;
  bzero((char*) fileinfo, FRM_HEADER_SIZE);
  /* header */
  fileinfo[0]=(uchar) 254;
  fileinfo[1]= 1;
  fileinfo[2]= FRM_VER+3+ test(create_info->varchar);

  fileinfo[3]= (uchar) ha_legacy_type(
        ha_checktype(thd,ha_legacy_type(create_info->db_type),0,0));
Sergei Golubchik's avatar
Sergei Golubchik committed
3155

Sergei Golubchik's avatar
Sergei Golubchik committed
3156 3157 3158 3159 3160 3161 3162 3163 3164 3165 3166 3167 3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180 3181 3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195 3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212 3213 3214 3215 3216
  /*
    Keep in sync with pack_keys() in unireg.cc
    For each key:
    8 bytes for the key header
    9 bytes for each key-part (MAX_REF_PARTS)
    NAME_LEN bytes for the name
    1 byte for the NAMES_SEP_CHAR (before the name)
    For all keys:
    6 bytes for the header
    1 byte for the NAMES_SEP_CHAR (after the last name)
    9 extra bytes (padding for safety? alignment?)
  */
  for (i= 0; i < keys; i++)
  {
    DBUG_ASSERT(test(key_info[i].flags & HA_USES_COMMENT) == 
               (key_info[i].comment.length > 0));
    if (key_info[i].flags & HA_USES_COMMENT)
      key_comment_total_bytes += 2 + key_info[i].comment.length;
  }

  key_length= keys * (8 + MAX_REF_PARTS * 9 + NAME_LEN + 1) + 16
              + key_comment_total_bytes;

  int2store(fileinfo+8,1);
  tmp_key_length= (key_length < 0xffff) ? key_length : 0xffff;
  int2store(fileinfo+14,tmp_key_length);
  int2store(fileinfo+16,reclength);
  int4store(fileinfo+18,create_info->max_rows);
  int4store(fileinfo+22,create_info->min_rows);
  /* fileinfo[26] is set in mysql_create_frm() */
  fileinfo[27]=2;				// Use long pack-fields
  /* fileinfo[28 & 29] is set to key_info_length in mysql_create_frm() */
  create_info->table_options|=HA_OPTION_LONG_BLOB_PTR; // Use portable blob pointers
  int2store(fileinfo+30,create_info->table_options);
  fileinfo[32]=0;				// No filename anymore
  fileinfo[33]=5;                             // Mark for 5.0 frm file
  int4store(fileinfo+34,create_info->avg_row_length);
  csid= (create_info->default_table_charset ?
         create_info->default_table_charset->number : 0);
  fileinfo[38]= (uchar) csid;
  fileinfo[39]= (uchar) ((uint) create_info->transactional |
                         ((uint) create_info->page_checksum << 2));
  fileinfo[40]= (uchar) create_info->row_type;
  /* Next few bytes where for RAID support */
  fileinfo[41]= (uchar) (csid >> 8);
  fileinfo[42]= 0;
  fileinfo[43]= 0;
  fileinfo[44]= 0;
  fileinfo[45]= 0;
  fileinfo[46]= 0;
  int4store(fileinfo+47, key_length);
  tmp= MYSQL_VERSION_ID;          // Store to avoid warning from int4store
  int4store(fileinfo+51, tmp);
  int4store(fileinfo+55, create_info->extra_size);
  /*
    59-60 is reserved for extra_rec_buf_length,
    61 for default_part_db_type
  */
  int2store(fileinfo+62, create_info->key_block_size);
  DBUG_VOID_RETURN;
} /* prepare_fileinfo */
unknown's avatar
unknown committed
3217 3218 3219 3220


void update_create_info_from_table(HA_CREATE_INFO *create_info, TABLE *table)
{
3221
  TABLE_SHARE *share= table->s;
3222
  DBUG_ENTER("update_create_info_from_table");
3223 3224 3225 3226 3227 3228 3229

  create_info->max_rows= share->max_rows;
  create_info->min_rows= share->min_rows;
  create_info->table_options= share->db_create_options;
  create_info->avg_row_length= share->avg_row_length;
  create_info->row_type= share->row_type;
  create_info->default_table_charset= share->table_charset;
3230
  create_info->table_charset= 0;
3231
  create_info->comment= share->comment;
3232 3233
  create_info->transactional= share->transactional;
  create_info->page_checksum= share->page_checksum;
3234
  create_info->option_list= share->option_list;
3235

3236
  DBUG_VOID_RETURN;
unknown's avatar
unknown committed
3237
}
unknown's avatar
unknown committed
3238 3239 3240 3241 3242

int
rename_file_ext(const char * from,const char * to,const char * ext)
{
  char from_b[FN_REFLEN],to_b[FN_REFLEN];
Konstantin Osipov's avatar
Konstantin Osipov committed
3243 3244
  (void) strxmov(from_b,from,ext,NullS);
  (void) strxmov(to_b,to,ext,NullS);
3245
  return (mysql_file_rename(key_file_frm, from_b, to_b, MYF(0)));
unknown's avatar
unknown committed
3246 3247 3248
}


unknown's avatar
unknown committed
3249 3250 3251 3252 3253 3254 3255 3256 3257 3258
/*
  Allocate string field in MEM_ROOT and return it as String

  SYNOPSIS
    get_field()
    mem   	MEM_ROOT for allocating
    field 	Field for retrieving of string
    res         result String

  RETURN VALUES
3259 3260
    1   string is empty
    0	all ok
unknown's avatar
unknown committed
3261 3262 3263 3264
*/

bool get_field(MEM_ROOT *mem, Field *field, String *res)
{
3265
  char buff[MAX_FIELD_WIDTH], *to;
unknown's avatar
unknown committed
3266
  String str(buff,sizeof(buff),&my_charset_bin);
3267 3268
  uint length;

3269
  field->val_str(&str);
3270
  if (!(length= str.length()))
3271 3272
  {
    res->length(0);
3273
    return 1;
3274 3275 3276
  }
  if (!(to= strmake_root(mem, str.ptr(), length)))
    length= 0;                                  // Safety fix
3277 3278
  res->set(to, length, ((Field_str*)field)->charset());
  return 0;
unknown's avatar
unknown committed
3279 3280
}

3281

unknown's avatar
unknown committed
3282
/*
3283 3284 3285 3286 3287 3288 3289 3290 3291 3292
  Allocate string field in MEM_ROOT and return it as NULL-terminated string

  SYNOPSIS
    get_field()
    mem   	MEM_ROOT for allocating
    field 	Field for retrieving of string

  RETURN VALUES
    NullS  string is empty
    #      pointer to NULL-terminated string value of field
unknown's avatar
unknown committed
3293 3294
*/

3295
char *get_field(MEM_ROOT *mem, Field *field)
unknown's avatar
unknown committed
3296
{
unknown's avatar
unknown committed
3297
  char buff[MAX_FIELD_WIDTH], *to;
3298
  String str(buff,sizeof(buff),&my_charset_bin);
3299 3300
  uint length;

3301
  field->val_str(&str);
unknown's avatar
unknown committed
3302
  length= str.length();
unknown's avatar
unknown committed
3303
  if (!length || !(to= (char*) alloc_root(mem,length+1)))
unknown's avatar
unknown committed
3304 3305 3306 3307 3308 3309
    return NullS;
  memcpy(to,str.ptr(),(uint) length);
  to[length]=0;
  return to;
}

3310 3311 3312 3313 3314
/*
  DESCRIPTION
    given a buffer with a key value, and a map of keyparts
    that are present in this value, returns the length of the value
*/
3315
uint calculate_key_len(TABLE *table, uint key, const uchar *buf,
unknown's avatar
unknown committed
3316
                       key_part_map keypart_map)
3317 3318 3319 3320 3321 3322
{
  /* works only with key prefixes */
  DBUG_ASSERT(((keypart_map + 1) & keypart_map) == 0);

  KEY *key_info= table->s->key_info+key;
  KEY_PART_INFO *key_part= key_info->key_part;
3323
  KEY_PART_INFO *end_key_part= key_part + table->actual_n_key_parts(key_info);
3324 3325 3326 3327 3328 3329 3330 3331 3332 3333
  uint length= 0;

  while (key_part < end_key_part && keypart_map)
  {
    length+= key_part->store_length;
    keypart_map >>= 1;
    key_part++;
  }
  return length;
}
3334 3335 3336 3337 3338 3339

/*
  Check if database name is valid

  SYNPOSIS
    check_db_name()
3340
    org_name		Name of database and length
3341 3342 3343 3344 3345 3346 3347 3348 3349

  NOTES
    If lower_case_table_names is set then database is converted to lower case

  RETURN
    0	ok
    1   error
*/

3350
bool check_db_name(LEX_STRING *org_name)
unknown's avatar
unknown committed
3351
{
3352
  char *name= org_name->str;
3353
  uint name_length= org_name->length;
3354
  bool check_for_path_chars;
3355

3356 3357 3358 3359 3360 3361
  if ((check_for_path_chars= check_mysql50_prefix(name)))
  {
    name+= MYSQL50_TABLE_NAME_PREFIX_LENGTH;
    name_length-= MYSQL50_TABLE_NAME_PREFIX_LENGTH;
  }

3362
  if (!name_length || name_length > NAME_LEN)
3363
    return 1;
3364

unknown's avatar
unknown committed
3365
  if (lower_case_table_names && name != any_db)
3366
    my_casedn_str(files_charset_info, name);
3367

3368 3369 3370
  if (db_name_is_in_ignore_db_dirs_list(name))
    return 1;

3371
  return check_table_name(name, name_length, check_for_path_chars);
unknown's avatar
unknown committed
3372 3373 3374 3375 3376
}


/*
  Allow anything as a table name, as long as it doesn't contain an
3377
  ' ' at the end
unknown's avatar
unknown committed
3378 3379 3380
  returns 1 on error
*/

3381
bool check_table_name(const char *name, size_t length, bool check_for_path_chars)
unknown's avatar
unknown committed
3382
{
3383 3384
  // name length in symbols
  size_t name_length= 0;
unknown's avatar
unknown committed
3385
  const char *end= name+length;
3386 3387 3388 3389 3390 3391 3392 3393 3394


  if (!check_for_path_chars &&
      (check_for_path_chars= check_mysql50_prefix(name)))
  {
    name+= MYSQL50_TABLE_NAME_PREFIX_LENGTH;
    length-= MYSQL50_TABLE_NAME_PREFIX_LENGTH;
  }

unknown's avatar
unknown committed
3395 3396
  if (!length || length > NAME_LEN)
    return 1;
unknown's avatar
unknown committed
3397
#if defined(USE_MB) && defined(USE_MB_IDENT)
3398
  bool last_char_is_space= FALSE;
unknown's avatar
unknown committed
3399 3400 3401 3402
#else
  if (name[length-1]==' ')
    return 1;
#endif
unknown's avatar
unknown committed
3403 3404 3405 3406

  while (name != end)
  {
#if defined(USE_MB) && defined(USE_MB_IDENT)
3407
    last_char_is_space= my_isspace(system_charset_info, *name);
3408
    if (use_mb(system_charset_info))
unknown's avatar
unknown committed
3409
    {
3410
      int len=my_ismbchar(system_charset_info, name, end);
unknown's avatar
unknown committed
3411 3412
      if (len)
      {
Michael Widenius's avatar
Michael Widenius committed
3413
        name+= len;
3414
        name_length++;
unknown's avatar
unknown committed
3415 3416 3417 3418
        continue;
      }
    }
#endif
3419 3420
    if (check_for_path_chars &&
        (*name == '/' || *name == '\\' || *name == '~' || *name == FN_EXTCHAR))
unknown's avatar
unknown committed
3421 3422
      return 1;
    name++;
3423
    name_length++;
unknown's avatar
unknown committed
3424
  }
unknown's avatar
unknown committed
3425
#if defined(USE_MB) && defined(USE_MB_IDENT)
3426
  return last_char_is_space || (name_length > NAME_CHAR_LEN);
3427
#else
3428
  return FALSE;
3429
#endif
unknown's avatar
unknown committed
3430 3431
}

unknown's avatar
unknown committed
3432

unknown's avatar
unknown committed
3433 3434
bool check_column_name(const char *name)
{
3435 3436
  // name length in symbols
  size_t name_length= 0;
unknown's avatar
unknown committed
3437
  bool last_char_is_space= TRUE;
3438

unknown's avatar
unknown committed
3439 3440 3441
  while (*name)
  {
#if defined(USE_MB) && defined(USE_MB_IDENT)
3442
    last_char_is_space= my_isspace(system_charset_info, *name);
3443
    if (use_mb(system_charset_info))
unknown's avatar
unknown committed
3444
    {
3445
      int len=my_ismbchar(system_charset_info, name, 
3446
                          name+system_charset_info->mbmaxlen);
unknown's avatar
unknown committed
3447 3448 3449
      if (len)
      {
        name += len;
3450
        name_length++;
unknown's avatar
unknown committed
3451 3452 3453
        continue;
      }
    }
unknown's avatar
unknown committed
3454
#else
3455
    last_char_is_space= *name==' ';
unknown's avatar
unknown committed
3456 3457 3458 3459
#endif
    if (*name == NAMES_SEP_CHAR)
      return 1;
    name++;
3460
    name_length++;
unknown's avatar
unknown committed
3461
  }
unknown's avatar
unknown committed
3462
  /* Error if empty or too long column name */
3463
  return last_char_is_space || (name_length > NAME_CHAR_LEN);
unknown's avatar
unknown committed
3464 3465
}

3466

3467
/**
3468 3469
  Checks whether a table is intact. Should be done *just* after the table has
  been opened.
3470 3471 3472 3473 3474 3475 3476 3477 3478 3479 3480 3481

  @param[in] table             The table to check
  @param[in] table_f_count     Expected number of columns in the table
  @param[in] table_def         Expected structure of the table (column name
                               and type)

  @retval  FALSE  OK
  @retval  TRUE   There was an error. An error message is output
                  to the error log.  We do not push an error
                  message into the error stack because this
                  function is currently only called at start up,
                  and such errors never reach the user.
3482 3483
*/

3484 3485
bool
Table_check_intact::check(TABLE *table, const TABLE_FIELD_DEF *table_def)
3486 3487 3488
{
  uint i;
  my_bool error= FALSE;
3489
  const TABLE_FIELD_TYPE *field_def= table_def->field;
3490
  DBUG_ENTER("table_check_intact");
3491
  DBUG_PRINT("info",("table: %s  expected_count: %d",
3492
                     table->alias.c_ptr(), table_def->count));
3493

3494 3495 3496
  /* Whether the table definition has already been validated. */
  if (table->s->table_field_def_cache == table_def)
    DBUG_RETURN(FALSE);
3497

3498
  if (table->s->fields != table_def->count)
3499
  {
3500 3501 3502 3503
    DBUG_PRINT("info", ("Column count has changed, checking the definition"));

    /* previous MySQL version */
    if (MYSQL_VERSION_ID > table->s->mysql_version)
3504
    {
3505 3506
      report_error(ER_COL_COUNT_DOESNT_MATCH_PLEASE_UPDATE,
                   ER(ER_COL_COUNT_DOESNT_MATCH_PLEASE_UPDATE),
3507
                   table->alias.c_ptr(), table_def->count, table->s->fields,
3508 3509
                   static_cast<int>(table->s->mysql_version),
                   MYSQL_VERSION_ID);
3510 3511 3512 3513
      DBUG_RETURN(TRUE);
    }
    else if (MYSQL_VERSION_ID == table->s->mysql_version)
    {
3514
      report_error(ER_COL_COUNT_DOESNT_MATCH_CORRUPTED,
3515 3516
                   ER(ER_COL_COUNT_DOESNT_MATCH_CORRUPTED),
                   table->alias.c_ptr(),
3517
                   table_def->count, table->s->fields);
3518 3519 3520 3521 3522 3523 3524 3525 3526 3527
      DBUG_RETURN(TRUE);
    }
    /*
      Something has definitely changed, but we're running an older
      version of MySQL with new system tables.
      Let's check column definitions. If a column was added at
      the end of the table, then we don't care much since such change
      is backward compatible.
    */
  }
3528
  char buffer[1024];
3529
  for (i=0 ; i < table_def->count; i++, field_def++)
3530 3531 3532
  {
    String sql_type(buffer, sizeof(buffer), system_charset_info);
    sql_type.length(0);
3533 3534
    /* Allocate min 256 characters at once */
    sql_type.extra_allocation(256);
3535 3536 3537
    if (i < table->s->fields)
    {
      Field *field= table->field[i];
3538

3539 3540
      if (strncmp(field->field_name, field_def->name.str,
                  field_def->name.length))
unknown's avatar
unknown committed
3541
      {
3542
        /*
3543 3544 3545
          Name changes are not fatal, we use ordinal numbers to access columns.
          Still this can be a sign of a tampered table, output an error
          to the error log.
3546
        */
3547 3548
        report_error(0, "Incorrect definition of table %s.%s: "
                     "expected column '%s' at position %d, found '%s'.",
3549 3550
                     table->s->db.str, table->alias.c_ptr(),
                     field_def->name.str, i,
3551
                     field->field_name);
unknown's avatar
unknown committed
3552
      }
3553
      field->sql_type(sql_type);
3554
      /*
3555 3556 3557 3558 3559 3560 3561 3562 3563 3564 3565 3566 3567 3568 3569 3570
        Generally, if column types don't match, then something is
        wrong.

        However, we only compare column definitions up to the
        length of the original definition, since we consider the
        following definitions compatible:

        1. DATETIME and DATETIM
        2. INT(11) and INT(11
        3. SET('one', 'two') and SET('one', 'two', 'more')

        For SETs or ENUMs, if the same prefix is there it's OK to
        add more elements - they will get higher ordinal numbers and
        the new table definition is backward compatible with the
        original one.
       */
3571 3572
      if (strncmp(sql_type.c_ptr_safe(), field_def->type.str,
                  field_def->type.length - 1))
3573
      {
3574 3575
        report_error(0, "Incorrect definition of table %s.%s: "
                     "expected column '%s' at position %d to have type "
3576 3577
                     "%s, found type %s.", table->s->db.str,
                     table->alias.c_ptr(),
3578 3579
                     field_def->name.str, i, field_def->type.str,
                     sql_type.c_ptr_safe());
3580
        error= TRUE;
3581
      }
3582
      else if (field_def->cset.str && !field->has_charset())
3583
      {
3584 3585 3586
        report_error(0, "Incorrect definition of table %s.%s: "
                     "expected the type of column '%s' at position %d "
                     "to have character set '%s' but the type has no "
3587 3588
                     "character set.", table->s->db.str,
                     table->alias.c_ptr(),
3589
                     field_def->name.str, i, field_def->cset.str);
3590 3591
        error= TRUE;
      }
3592 3593
      else if (field_def->cset.str &&
               strcmp(field->charset()->csname, field_def->cset.str))
3594
      {
3595 3596 3597
        report_error(0, "Incorrect definition of table %s.%s: "
                     "expected the type of column '%s' at position %d "
                     "to have character set '%s' but found "
3598 3599
                     "character set '%s'.", table->s->db.str,
                     table->alias.c_ptr(),
3600 3601
                     field_def->name.str, i, field_def->cset.str,
                     field->charset()->csname);
3602
        error= TRUE;
3603 3604
      }
    }
3605 3606
    else
    {
3607 3608 3609
      report_error(0, "Incorrect definition of table %s.%s: "
                   "expected column '%s' at position %d to have type %s "
                   " but the column is not found.",
3610
                   table->s->db.str, table->alias.c_ptr(),
3611
                   field_def->name.str, i, field_def->type.str);
3612 3613
      error= TRUE;
    }
3614
  }
3615 3616 3617 3618

  if (! error)
    table->s->table_field_def_cache= table_def;

3619
  DBUG_RETURN(error);
3620 3621 3622
}


3623 3624 3625 3626 3627 3628
/**
  Traverse portion of wait-for graph which is reachable through edge
  represented by this flush ticket in search for deadlocks.

  @retval TRUE  A deadlock is found. A victim is remembered
                by the visitor.
3629
  @retval FALSE Success, no deadlocks.
3630 3631
*/

3632
bool Wait_for_flush::accept_visitor(MDL_wait_for_graph_visitor *gvisitor)
3633
{
3634
  return m_share->visit_subgraph(this, gvisitor);
3635 3636 3637
}


3638
uint Wait_for_flush::get_deadlock_weight() const
3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652
{
  return m_deadlock_weight;
}


/**
  Traverse portion of wait-for graph which is reachable through this
  table share in search for deadlocks.

  @param waiting_ticket  Ticket representing wait for this share.
  @param dvisitor        Deadlock detection visitor.

  @retval TRUE  A deadlock is found. A victim is remembered
                by the visitor.
3653
  @retval FALSE No deadlocks, it's OK to begin wait.
3654 3655
*/

3656 3657
bool TABLE_SHARE::visit_subgraph(Wait_for_flush *wait_for_flush,
                                 MDL_wait_for_graph_visitor *gvisitor)
3658 3659
{
  TABLE *table;
3660
  MDL_context *src_ctx= wait_for_flush->get_ctx();
3661 3662 3663
  bool result= TRUE;

  /*
3664 3665 3666 3667 3668
    To protect used_tables list from being concurrently modified
    while we are iterating through it we acquire LOCK_open.
    This does not introduce deadlocks in the deadlock detector
    because we won't try to acquire LOCK_open while
    holding a write-lock on MDL_lock::m_rwlock.
3669
  */
3670
  if (gvisitor->m_lock_open_count++ == 0)
3671 3672 3673 3674
    mysql_mutex_lock(&LOCK_open);

  I_P_List_iterator <TABLE, TABLE_share> tables_it(used_tables);

3675 3676 3677 3678 3679
  /*
    In case of multiple searches running in parallel, avoid going
    over the same loop twice and shortcut the search.
    Do it after taking the lock to weed out unnecessary races.
  */
3680 3681 3682 3683 3684 3685
  if (src_ctx->m_wait.get_status() != MDL_wait::EMPTY)
  {
    result= FALSE;
    goto end;
  }

3686
  if (gvisitor->enter_node(src_ctx))
3687 3688 3689 3690
    goto end;

  while ((table= tables_it++))
  {
3691
    if (gvisitor->inspect_edge(&table->in_use->mdl_context))
3692 3693 3694 3695 3696 3697 3698 3699
    {
      goto end_leave_node;
    }
  }

  tables_it.rewind();
  while ((table= tables_it++))
  {
3700
    if (table->in_use->mdl_context.visit_subgraph(gvisitor))
3701 3702 3703 3704 3705 3706 3707 3708
    {
      goto end_leave_node;
    }
  }

  result= FALSE;

end_leave_node:
3709
  gvisitor->leave_node(src_ctx);
3710 3711

end:
3712
  if (gvisitor->m_lock_open_count-- == 1)
3713 3714 3715 3716 3717 3718 3719
    mysql_mutex_unlock(&LOCK_open);

  return result;
}


/**
3720 3721
  Wait until the subject share is removed from the table
  definition cache and make sure it's destroyed.
3722 3723 3724 3725 3726

  @param mdl_context     MDL context for thread which is going to wait.
  @param abstime         Timeout for waiting as absolute time value.
  @param deadlock_weight Weight of this wait for deadlock detector.

3727 3728 3729 3730
  @pre LOCK_open is write locked, the share is used (has
       non-zero reference count), is marked for flush and
       this connection does not reference the share.
       LOCK_open will be unlocked temporarily during execution.
3731 3732 3733 3734 3735

  @retval FALSE - Success.
  @retval TRUE  - Error (OOM, deadlock, timeout, etc...).
*/

3736 3737
bool TABLE_SHARE::wait_for_old_version(THD *thd, struct timespec *abstime,
                                       uint deadlock_weight)
3738
{
3739 3740
  MDL_context *mdl_context= &thd->mdl_context;
  Wait_for_flush ticket(mdl_context, this, deadlock_weight);
3741 3742 3743 3744
  MDL_wait::enum_wait_status wait_status;

  mysql_mutex_assert_owner(&LOCK_open);
  /*
3745 3746 3747
    We should enter this method only when share's version is not
    up to date and the share is referenced. Otherwise our
    thread will never be woken up from wait.
3748 3749 3750
  */
  DBUG_ASSERT(version != refresh_version && ref_count != 0);

3751
  m_flush_tickets.push_front(&ticket);
3752 3753 3754 3755 3756

  mdl_context->m_wait.reset_status();

  mysql_mutex_unlock(&LOCK_open);

3757
  mdl_context->will_wait_for(&ticket);
3758 3759 3760

  mdl_context->find_deadlock();

3761 3762
  wait_status= mdl_context->m_wait.timed_wait(thd, abstime, TRUE,
                                              "Waiting for table flush");
3763 3764 3765 3766 3767

  mdl_context->done_waiting_for();

  mysql_mutex_lock(&LOCK_open);

3768
  m_flush_tickets.remove(&ticket);
3769

3770
  if (m_flush_tickets.is_empty() && ref_count == 0)
3771
  {
3772 3773 3774 3775 3776
    /*
      If our thread was the last one using the share,
      we must destroy it here.
    */
    destroy();
3777 3778
  }

3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789
  /*
    In cases when our wait was aborted by KILL statement,
    a deadlock or a timeout, the share might still be referenced,
    so we don't delete it. Note, that we can't determine this
    condition by checking wait_status alone, since, for example,
    a timeout can happen after all references to the table share
    were released, but before the share is removed from the
    cache and we receive the notification. This is why
    we first destroy the share, and then look at
    wait_status.
  */
3790 3791 3792 3793 3794 3795 3796 3797 3798 3799 3800 3801 3802 3803 3804 3805 3806 3807 3808
  switch (wait_status)
  {
  case MDL_wait::GRANTED:
    return FALSE;
  case MDL_wait::VICTIM:
    my_error(ER_LOCK_DEADLOCK, MYF(0));
    return TRUE;
  case MDL_wait::TIMEOUT:
    my_error(ER_LOCK_WAIT_TIMEOUT, MYF(0));
    return TRUE;
  case MDL_wait::KILLED:
    return TRUE;
  default:
    DBUG_ASSERT(0);
    return TRUE;
  }
}


3809
/**
Alexander Nozdrin's avatar
Alexander Nozdrin committed
3810 3811 3812 3813 3814
  Initialize TABLE instance (newly created, or coming either from table
  cache or THD::temporary_tables list) and prepare it for further use
  during statement execution. Set the 'alias' attribute from the specified
  TABLE_LIST element. Remember the TABLE_LIST element in the
  TABLE::pos_in_table_list member.
3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828

  @param thd  Thread context.
  @param tl   TABLE_LIST element.
*/

void TABLE::init(THD *thd, TABLE_LIST *tl)
{
  DBUG_ASSERT(s->ref_count > 0 || s->tmp_table != NO_TMP_TABLE);

  if (thd->lex->need_correct_ident())
    alias_name_used= my_strcasecmp(table_alias_charset,
                                   s->table_name.str,
                                   tl->alias);
  /* Fix alias if table name changes. */
Sergei Golubchik's avatar
Sergei Golubchik committed
3829 3830
  if (strcmp(alias.c_ptr(), tl->alias))
    alias.copy(tl->alias, strlen(tl->alias), alias.charset());
3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842

  tablenr= thd->current_tablenr++;
  used_fields= 0;
  const_table= 0;
  null_row= 0;
  maybe_null= 0;
  force_index= 0;
  force_index_order= 0;
  force_index_group= 0;
  status= STATUS_NO_RECORD;
  insert_values= 0;
  fulltext_searched= 0;
Sergei Golubchik's avatar
Sergei Golubchik committed
3843
  file->ha_start_of_new_statement();
3844
  reginfo.impossible_range= 0;
Sergei Golubchik's avatar
Sergei Golubchik committed
3845
  created= TRUE;
3846 3847 3848 3849 3850 3851 3852 3853 3854 3855 3856

  /* Catch wrong handling of the auto_increment_field_not_null. */
  DBUG_ASSERT(!auto_increment_field_not_null);
  auto_increment_field_not_null= FALSE;

  pos_in_table_list= tl;

  clear_column_bitmaps();

  DBUG_ASSERT(key_read == 0);

Sergei Golubchik's avatar
Sergei Golubchik committed
3857
  /* mark the record[0] uninitialized */
3858
  TRASH(record[0], s->reclength);
Sergei Golubchik's avatar
Sergei Golubchik committed
3859

Sergei Golubchik's avatar
Sergei Golubchik committed
3860 3861 3862 3863 3864 3865 3866 3867
  /*
    Initialize the null marker bits, to ensure that if we are doing a read
    of only selected columns (like in keyread), all null markers are
    initialized.
  */
  memset(record[0], 255, s->null_bytes); 
  memset(record[1], 255, s->null_bytes); 

3868 3869 3870 3871 3872
  /* Tables may be reused in a sub statement. */
  DBUG_ASSERT(!file->extra(HA_EXTRA_IS_ATTACHED_CHILDREN));
}


3873 3874 3875 3876
/*
  Create Item_field for each column in the table.

  SYNPOSIS
Konstantin Osipov's avatar
Konstantin Osipov committed
3877
    TABLE::fill_item_list()
3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889
      item_list          a pointer to an empty list used to store items

  DESCRIPTION
    Create Item_field object for each column in the table and
    initialize it with the corresponding Field. New items are
    created in the current THD memory root.

  RETURN VALUE
    0                    success
    1                    out of memory
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
3890
bool TABLE::fill_item_list(List<Item> *item_list) const
3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909
{
  /*
    All Item_field's created using a direct pointer to a field
    are fixed in Item_field constructor.
  */
  for (Field **ptr= field; *ptr; ptr++)
  {
    Item_field *item= new Item_field(*ptr);
    if (!item || item_list->push_back(item))
      return TRUE;
  }
  return FALSE;
}

/*
  Reset an existing list of Item_field items to point to the
  Fields of this table.

  SYNPOSIS
Konstantin Osipov's avatar
Konstantin Osipov committed
3910
    TABLE::fill_item_list()
3911 3912 3913 3914 3915 3916 3917 3918 3919
      item_list          a non-empty list with Item_fields

  DESCRIPTION
    This is a counterpart of fill_item_list used to redirect
    Item_fields to the fields of a newly created table.
    The caller must ensure that number of items in the item_list
    is the same as the number of columns in the table.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
3920
void TABLE::reset_item_list(List<Item> *item_list) const
3921 3922 3923 3924 3925 3926 3927 3928 3929
{
  List_iterator_fast<Item> it(*item_list);
  for (Field **ptr= field; *ptr; ptr++)
  {
    Item_field *item_field= (Item_field*) it++;
    DBUG_ASSERT(item_field != 0);
    item_field->reset_field(*ptr);
  }
}
unknown's avatar
unknown committed
3930

unknown's avatar
VIEW  
unknown committed
3931 3932 3933 3934
/*
  calculate md5 of query

  SYNOPSIS
3935
    TABLE_LIST::calc_md5()
unknown's avatar
VIEW  
unknown committed
3936 3937
    buffer	buffer for md5 writing
*/
3938

3939
void  TABLE_LIST::calc_md5(char *buffer)
unknown's avatar
VIEW  
unknown committed
3940
{
3941
  uchar digest[16];
3942
  MY_MD5_HASH(digest, (uchar *) select_stmt.str, select_stmt.length);
unknown's avatar
VIEW  
unknown committed
3943 3944 3945 3946 3947 3948 3949 3950 3951
  sprintf((char *) buffer,
	    "%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x",
	    digest[0], digest[1], digest[2], digest[3],
	    digest[4], digest[5], digest[6], digest[7],
	    digest[8], digest[9], digest[10], digest[11],
	    digest[12], digest[13], digest[14], digest[15]);
}


3952
/**
3953 3954
  @brief
  Create field translation for mergeable derived table/view.
3955

3956
  @param thd  Thread handle
3957

3958 3959
  @details
  Create field translation for mergeable derived table/view.
3960

3961 3962
  @return FALSE ok.
  @return TRUE an error occur.
unknown's avatar
VIEW  
unknown committed
3963
*/
3964

3965
bool TABLE_LIST::create_field_translation(THD *thd)
unknown's avatar
VIEW  
unknown committed
3966
{
3967 3968 3969 3970 3971 3972 3973
  Item *item;
  Field_translator *transl;
  SELECT_LEX *select= get_single_select();
  List_iterator_fast<Item> it(select->item_list);
  uint field_count= 0;
  Query_arena *arena= thd->stmt_arena, backup;
  bool res= FALSE;
unknown's avatar
unknown committed
3974

unknown's avatar
unknown committed
3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987 3988 3989
  if (thd->stmt_arena->is_conventional() ||
      thd->stmt_arena->is_stmt_prepare_or_first_sp_execute())
  {
    /* initialize lists */
    used_items.empty();
    persistent_used_items.empty();
  }
  else
  {
    /*
      Copy the list created by natural join procedure because the procedure
      will not be repeated.
    */
    used_items= persistent_used_items;
  }
unknown's avatar
unknown committed
3990

3991
  if (field_translation)
unknown's avatar
merge  
unknown committed
3992
  {
3993 3994 3995 3996 3997 3998
    /*
      Update items in the field translation aftet view have been prepared.
      It's needed because some items in the select list, like IN subselects,
      might be substituted for optimized ones.
    */
    if (is_view() && get_unit()->prepared && !field_translation_updated)
unknown's avatar
unknown committed
3999
    {
4000
      while ((item= it++))
unknown's avatar
unknown committed
4001
      {
4002
        field_translation[field_count++].item= item;
unknown's avatar
unknown committed
4003
      }
4004
      field_translation_updated= TRUE;
unknown's avatar
unknown committed
4005
    }
4006 4007

    return FALSE;
unknown's avatar
merge  
unknown committed
4008
  }
4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 4023

  if (arena->is_conventional())
    arena= 0;                                   // For easier test
  else
    thd->set_n_backup_active_arena(arena, &backup);

  /* Create view fields translation table */

  if (!(transl=
        (Field_translator*)(thd->stmt_arena->
                            alloc(select->item_list.elements *
                                  sizeof(Field_translator)))))
  {
    res= TRUE;
    goto exit;
unknown's avatar
merge  
unknown committed
4024
  }
4025 4026 4027 4028 4029

  while ((item= it++))
  {
    transl[field_count].name= item->name;
    transl[field_count++].item= item;
unknown's avatar
merge  
unknown committed
4030
  }
4031 4032 4033 4034 4035 4036 4037 4038
  field_translation= transl;
  field_translation_end= transl + field_count;

exit:
  if (arena)
    thd->restore_active_arena(arena, &backup);

  return res;
4039 4040 4041
}


4042 4043 4044
/**
  @brief
  Create field translation for mergeable derived table/view.
unknown's avatar
VIEW  
unknown committed
4045

4046
  @param thd  Thread handle
4047

4048 4049
  @details
  Create field translation for mergeable derived table/view.
4050

4051 4052
  @return FALSE ok.
  @return TRUE an error occur.
unknown's avatar
VIEW  
unknown committed
4053
*/
4054

4055
bool TABLE_LIST::setup_underlying(THD *thd)
unknown's avatar
VIEW  
unknown committed
4056
{
4057
  DBUG_ENTER("TABLE_LIST::setup_underlying");
4058

4059
  if (!view || (!field_translation && merge_underlying_list))
4060
  {
4061
    SELECT_LEX *select= get_single_select();
4062
    
4063
    if (create_field_translation(thd))
4064
      DBUG_RETURN(TRUE);
4065

4066
    /* full text function moving to current select */
4067
    if (select->ftfunc_list->elements)
4068
    {
4069 4070 4071
      Item_func_match *ifm;
      SELECT_LEX *current_select= thd->lex->current_select;
      List_iterator_fast<Item_func_match>
4072
        li(*(select_lex->ftfunc_list));
4073 4074
      while ((ifm= li++))
        current_select->ftfunc_list->push_front(ifm);
unknown's avatar
VIEW  
unknown committed
4075 4076
    }
  }
4077 4078
  DBUG_RETURN(FALSE);
}
unknown's avatar
VIEW  
unknown committed
4079

unknown's avatar
unknown committed
4080

4081
/*
4082
   Prepare where expression of derived table/view
4083

4084
  SYNOPSIS
4085
    TABLE_LIST::prep_where()
4086 4087 4088 4089
    thd             - thread handler
    conds           - condition of this JOIN
    no_where_clause - do not build WHERE or ON outer qwery do not need it
                      (it is INSERT), we do not need conds if this flag is set
unknown's avatar
unknown committed
4090

4091 4092
  NOTE: have to be called befor CHECK OPTION preparation, because it makes
  fix_fields for view WHERE clause
unknown's avatar
VIEW  
unknown committed
4093

4094 4095 4096 4097
  RETURN
    FALSE - OK
    TRUE  - error
*/
unknown's avatar
VIEW  
unknown committed
4098

4099
bool TABLE_LIST::prep_where(THD *thd, Item **conds,
4100 4101
                               bool no_where_clause)
{
4102
  DBUG_ENTER("TABLE_LIST::prep_where");
4103

4104
  for (TABLE_LIST *tbl= merge_underlying_list; tbl; tbl= tbl->next_local)
4105
  {
4106 4107
    if (tbl->is_view_or_derived() &&
        tbl->prep_where(thd, conds, no_where_clause))
4108 4109 4110
    {
      DBUG_RETURN(TRUE);
    }
4111
  }
4112

4113 4114
  if (where)
  {
4115 4116
    if (where->fixed)
      where->update_used_tables();
4117
    if (!where->fixed && where->fix_fields(thd, &where))
unknown's avatar
VIEW  
unknown committed
4118
    {
4119
      DBUG_RETURN(TRUE);
unknown's avatar
VIEW  
unknown committed
4120
    }
unknown's avatar
unknown committed
4121 4122 4123 4124 4125

    /*
      check that it is not VIEW in which we insert with INSERT SELECT
      (in this case we can't add view WHERE condition to main SELECT_LEX)
    */
4126
    if (!no_where_clause && !where_processed)
unknown's avatar
VIEW  
unknown committed
4127
    {
4128
      TABLE_LIST *tbl= this;
unknown's avatar
Rename:  
unknown committed
4129 4130
      Query_arena *arena= thd->stmt_arena, backup;
      arena= thd->activate_stmt_arena_if_needed(&backup);  // For easier test
4131

unknown's avatar
unknown committed
4132 4133
      /* Go up to join tree and try to find left join */
      for (; tbl; tbl= tbl->embedding)
unknown's avatar
unknown committed
4134
      {
unknown's avatar
unknown committed
4135 4136 4137 4138
        if (tbl->outer_join)
        {
          /*
            Store WHERE condition to ON expression for outer join, because
4139
            we can't use WHERE to correctly execute left joins on VIEWs and
unknown's avatar
unknown committed
4140 4141 4142
            this expression will not be moved to WHERE condition (i.e. will
            be clean correctly for PS/SP)
          */
4143 4144
          tbl->on_expr= and_conds(tbl->on_expr,
                                  where->copy_andor_structure(thd));
unknown's avatar
unknown committed
4145 4146
          break;
        }
unknown's avatar
unknown committed
4147
      }
unknown's avatar
unknown committed
4148
      if (tbl == 0)
4149 4150 4151
      {
        if (*conds && !(*conds)->fixed)
	  (*conds)->fix_fields(thd, conds);
4152
        *conds= and_conds(*conds, where->copy_andor_structure(thd));
4153 4154 4155
        if (*conds && !(*conds)->fixed)
          (*conds)->fix_fields(thd, conds);        
      }
4156
      if (arena)
unknown's avatar
Rename:  
unknown committed
4157
        thd->restore_active_arena(arena, &backup);
4158
      where_processed= TRUE;
unknown's avatar
VIEW  
unknown committed
4159 4160
    }
  }
4161

4162 4163 4164
  DBUG_RETURN(FALSE);
}

4165 4166 4167 4168 4169 4170 4171 4172 4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186
/**
  Check that table/view is updatable and if it has single
  underlying tables/views it is also updatable

  @return Result of the check.
*/

bool TABLE_LIST::single_table_updatable()
{
  if (!updatable)
    return false;
  if (view_tables && view_tables->elements == 1)
  {
    /*
      We need to check deeply only single table views. Multi-table views
      will be turned to multi-table updates and then checked by leaf tables
    */
    return view_tables->head()->single_table_updatable();
  }
  return true;
}

4187

unknown's avatar
unknown committed
4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4213 4214 4215
/*
  Merge ON expressions for a view

  SYNOPSIS
    merge_on_conds()
    thd             thread handle
    table           table for the VIEW
    is_cascaded     TRUE <=> merge ON expressions from underlying views

  DESCRIPTION
    This function returns the result of ANDing the ON expressions
    of the given view and all underlying views. The ON expressions
    of the underlying views are added only if is_cascaded is TRUE.

  RETURN
    Pointer to the built expression if there is any.
    Otherwise and in the case of a failure NULL is returned.
*/

static Item *
merge_on_conds(THD *thd, TABLE_LIST *table, bool is_cascaded)
{
  DBUG_ENTER("merge_on_conds");

  Item *cond= NULL;
  DBUG_PRINT("info", ("alias: %s", table->alias));
  if (table->on_expr)
    cond= table->on_expr->copy_andor_structure(thd);
4216
  if (!table->view)
unknown's avatar
unknown committed
4217
    DBUG_RETURN(cond);
4218 4219 4220
  for (TABLE_LIST *tbl= (TABLE_LIST*)table->view->select_lex.table_list.first;
       tbl;
       tbl= tbl->next_local)
unknown's avatar
unknown committed
4221 4222 4223 4224 4225 4226 4227 4228 4229
  {
    if (tbl->view && !is_cascaded)
      continue;
    cond= and_conds(cond, merge_on_conds(thd, tbl, is_cascaded));
  }
  DBUG_RETURN(cond);
}


4230 4231 4232 4233
/*
  Prepare check option expression of table

  SYNOPSIS
4234
    TABLE_LIST::prep_check_option()
4235 4236 4237 4238 4239 4240 4241 4242 4243 4244 4245
    thd             - thread handler
    check_opt_type  - WITH CHECK OPTION type (VIEW_CHECK_NONE,
                      VIEW_CHECK_LOCAL, VIEW_CHECK_CASCADED)
                      we use this parameter instead of direct check of
                      effective_with_check to change type of underlying
                      views to VIEW_CHECK_CASCADED if outer view have
                      such option and prevent processing of underlying
                      view check options if outer view have just
                      VIEW_CHECK_LOCAL option.

  NOTE
unknown's avatar
unknown committed
4246 4247
    This method builds check option condition to use it later on
    every call (usual execution or every SP/PS call).
4248
    This method have to be called after WHERE preparation
4249
    (TABLE_LIST::prep_where)
unknown's avatar
VIEW  
unknown committed
4250

4251 4252 4253 4254 4255
  RETURN
    FALSE - OK
    TRUE  - error
*/

4256
bool TABLE_LIST::prep_check_option(THD *thd, uint8 check_opt_type)
4257
{
4258
  DBUG_ENTER("TABLE_LIST::prep_check_option");
unknown's avatar
unknown committed
4259
  bool is_cascaded= check_opt_type == VIEW_CHECK_CASCADED;
4260
  TABLE_LIST *merge_underlying_list= view->select_lex.get_table_list();
4261
  for (TABLE_LIST *tbl= merge_underlying_list; tbl; tbl= tbl->next_local)
4262
  {
4263
    /* see comment of check_opt_type parameter */
unknown's avatar
unknown committed
4264 4265 4266
    if (tbl->view && tbl->prep_check_option(thd, (is_cascaded ?
                                                  VIEW_CHECK_CASCADED :
                                                  VIEW_CHECK_NONE)))
4267
      DBUG_RETURN(TRUE);
4268
  }
unknown's avatar
VIEW  
unknown committed
4269

unknown's avatar
unknown committed
4270
  if (check_opt_type && !check_option_processed)
4271
  {
unknown's avatar
unknown committed
4272 4273 4274
    Query_arena *arena= thd->stmt_arena, backup;
    arena= thd->activate_stmt_arena_if_needed(&backup);  // For easier test

4275 4276
    if (where)
    {
unknown's avatar
unknown committed
4277
      check_option= where->copy_andor_structure(thd);
4278
    }
unknown's avatar
unknown committed
4279
    if (is_cascaded)
4280
    {
4281
      for (TABLE_LIST *tbl= merge_underlying_list; tbl; tbl= tbl->next_local)
4282 4283
      {
        if (tbl->check_option)
unknown's avatar
unknown committed
4284
          check_option= and_conds(check_option, tbl->check_option);
4285 4286
      }
    }
unknown's avatar
unknown committed
4287 4288 4289 4290 4291 4292 4293
    check_option= and_conds(check_option,
                            merge_on_conds(thd, this, is_cascaded));

    if (arena)
      thd->restore_active_arena(arena, &backup);
    check_option_processed= TRUE;

4294 4295 4296 4297 4298 4299
  }

  if (check_option)
  {
    const char *save_where= thd->where;
    thd->where= "check option";
4300
    if ((!check_option->fixed &&
4301
         check_option->fix_fields(thd, &check_option)) ||
4302 4303 4304 4305 4306
        check_option->check_cols(1))
    {
      DBUG_RETURN(TRUE);
    }
    thd->where= save_where;
4307
  }
4308 4309 4310
  DBUG_RETURN(FALSE);
}

4311

4312
/**
Martin Hansson's avatar
 
Martin Hansson committed
4313 4314 4315 4316
  Hide errors which show view underlying table information. 
  There are currently two mechanisms at work that handle errors for views,
  this one and a more general mechanism based on an Internal_error_handler,
  see Show_create_error_handler. The latter handles errors encountered during
4317
  execution of SHOW CREATE VIEW, while the mechanism using this method is
Martin Hansson's avatar
 
Martin Hansson committed
4318
  handles SELECT from views. The two methods should not clash.
4319

4320
  @param[in,out]  thd     thread handler
unknown's avatar
VIEW  
unknown committed
4321

4322
  @pre This method can be called only if there is an error.
4323 4324
*/

4325
void TABLE_LIST::hide_view_error(THD *thd)
4326
{
4327
  if (thd->killed || thd->get_internal_handler())
Martin Hansson's avatar
 
Martin Hansson committed
4328
    return;
4329
  /* Hide "Unknown column" or "Unknown function" error */
4330 4331
  DBUG_ASSERT(thd->is_error());

Marc Alff's avatar
Marc Alff committed
4332 4333 4334 4335 4336 4337 4338 4339
  if (thd->stmt_da->sql_errno() == ER_BAD_FIELD_ERROR ||
      thd->stmt_da->sql_errno() == ER_SP_DOES_NOT_EXIST ||
      thd->stmt_da->sql_errno() == ER_FUNC_INEXISTENT_NAME_COLLISION ||
      thd->stmt_da->sql_errno() == ER_PROCACCESS_DENIED_ERROR ||
      thd->stmt_da->sql_errno() == ER_COLUMNACCESS_DENIED_ERROR ||
      thd->stmt_da->sql_errno() == ER_TABLEACCESS_DENIED_ERROR ||
      thd->stmt_da->sql_errno() == ER_TABLE_NOT_LOCKED ||
      thd->stmt_da->sql_errno() == ER_NO_SUCH_TABLE)
4340
  {
4341
    TABLE_LIST *top= top_table();
4342
    thd->clear_error();
4343
    my_error(ER_VIEW_INVALID, MYF(0), top->view_db.str, top->view_name.str);
4344
  }
Marc Alff's avatar
Marc Alff committed
4345
  else if (thd->stmt_da->sql_errno() == ER_NO_DEFAULT_FOR_FIELD)
4346
  {
4347
    TABLE_LIST *top= top_table();
4348 4349
    thd->clear_error();
    // TODO: make correct error message
4350 4351
    my_error(ER_NO_DEFAULT_FOR_VIEW_FIELD, MYF(0),
             top->view_db.str, top->view_name.str);
4352
  }
unknown's avatar
VIEW  
unknown committed
4353 4354 4355
}


4356 4357 4358 4359 4360
/*
  Find underlying base tables (TABLE_LIST) which represent given
  table_to_find (TABLE)

  SYNOPSIS
4361
    TABLE_LIST::find_underlying_table()
4362 4363 4364 4365 4366 4367 4368
    table_to_find table to find

  RETURN
    0  table is not found
    found table reference
*/

4369
TABLE_LIST *TABLE_LIST::find_underlying_table(TABLE *table_to_find)
4370 4371
{
  /* is this real table and table which we are looking for? */
4372
  if (table == table_to_find && view == 0)
4373
    return this;
4374 4375
  if (!view)
    return 0;
4376

4377 4378 4379
  for (TABLE_LIST *tbl= view->select_lex.get_table_list();
       tbl;
       tbl= tbl->next_local)
4380 4381 4382 4383 4384 4385 4386 4387
  {
    TABLE_LIST *result;
    if ((result= tbl->find_underlying_table(table_to_find)))
      return result;
  }
  return 0;
}

unknown's avatar
unknown committed
4388
/*
4389
  cleanup items belonged to view fields translation table
unknown's avatar
unknown committed
4390 4391

  SYNOPSIS
4392
    TABLE_LIST::cleanup_items()
unknown's avatar
unknown committed
4393 4394
*/

4395
void TABLE_LIST::cleanup_items()
unknown's avatar
unknown committed
4396 4397 4398 4399
{
  if (!field_translation)
    return;

4400 4401 4402
  for (Field_translator *transl= field_translation;
       transl < field_translation_end;
       transl++)
4403
    transl->item->walk(&Item::cleanup_processor, 0, 0);
unknown's avatar
unknown committed
4404 4405 4406
}


unknown's avatar
unknown committed
4407 4408 4409 4410
/*
  check CHECK OPTION condition

  SYNOPSIS
4411
    TABLE_LIST::view_check_option()
unknown's avatar
unknown committed
4412 4413 4414 4415 4416 4417 4418 4419
    ignore_failure ignore check option fail

  RETURN
    VIEW_CHECK_OK     OK
    VIEW_CHECK_ERROR  FAILED
    VIEW_CHECK_SKIP   FAILED, but continue
*/

4420
int TABLE_LIST::view_check_option(THD *thd, bool ignore_failure)
unknown's avatar
unknown committed
4421 4422 4423
{
  if (check_option && check_option->val_int() == 0)
  {
4424
    TABLE_LIST *main_view= top_table();
unknown's avatar
unknown committed
4425 4426
    if (ignore_failure)
    {
Marc Alff's avatar
Marc Alff committed
4427
      push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_WARN,
unknown's avatar
unknown committed
4428
                          ER_VIEW_CHECK_FAILED, ER(ER_VIEW_CHECK_FAILED),
4429
                          main_view->view_db.str, main_view->view_name.str);
unknown's avatar
unknown committed
4430 4431
      return(VIEW_CHECK_SKIP);
    }
4432 4433 4434
    my_error(ER_VIEW_CHECK_FAILED, MYF(0), main_view->view_db.str,
             main_view->view_name.str);
    return(VIEW_CHECK_ERROR);
unknown's avatar
unknown committed
4435 4436 4437 4438 4439
  }
  return(VIEW_CHECK_OK);
}


4440
/*
4441
  Find table in underlying tables by mask and check that only this
unknown's avatar
unknown committed
4442
  table belong to given mask
4443 4444

  SYNOPSIS
4445
    TABLE_LIST::check_single_table()
4446
    table_arg	reference on variable where to store found table
4447 4448 4449
		(should be 0 on call, to find table, or point to table for
		unique test)
    map         bit mask of tables
4450
    view_arg    view for which we are looking table
4451 4452

  RETURN
unknown's avatar
unknown committed
4453 4454
    FALSE table not found or found only one
    TRUE  found several tables
4455 4456
*/

4457
bool TABLE_LIST::check_single_table(TABLE_LIST **table_arg,
4458
                                       table_map map,
4459
                                       TABLE_LIST *view_arg)
4460
{
4461 4462 4463 4464 4465 4466
  if (!select_lex)
    return FALSE;
  DBUG_ASSERT(is_merged_derived());
  for (TABLE_LIST *tbl= get_single_select()->get_table_list();
       tbl;
       tbl= tbl->next_local)
4467
  {
unknown's avatar
unknown committed
4468 4469 4470 4471 4472 4473 4474 4475
    /*
      Merged view has also temporary table attached (in 5.2 if it has table
      then it was real table), so we have filter such temporary tables out
      by checking that it is not merged view
    */
    if (tbl->table &&
        !(tbl->is_view() &&
          tbl->is_merged_derived()))
4476 4477 4478
    {
      if (tbl->table->map & map)
      {
4479
	if (*table_arg)
unknown's avatar
unknown committed
4480
	  return TRUE;
4481 4482
        *table_arg= tbl;
        tbl->check_option= view_arg->check_option;
4483 4484
      }
    }
4485
    else if (tbl->check_single_table(table_arg, map, view_arg))
unknown's avatar
unknown committed
4486
      return TRUE;
4487
  }
unknown's avatar
unknown committed
4488
  return FALSE;
4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502 4503
}


/*
  Set insert_values buffer

  SYNOPSIS
    set_insert_values()
    mem_root   memory pool for allocating

  RETURN
    FALSE - OK
    TRUE  - out of memory
*/

4504
bool TABLE_LIST::set_insert_values(MEM_ROOT *mem_root)
4505 4506 4507 4508
{
  if (table)
  {
    if (!table->insert_values &&
4509
        !(table->insert_values= (uchar *)alloc_root(mem_root,
4510
                                                   table->s->rec_buff_length)))
4511 4512 4513 4514
      return TRUE;
  }
  else
  {
4515 4516 4517 4518
    DBUG_ASSERT(is_view_or_derived() && is_merged_derived());
    for (TABLE_LIST *tbl= (TABLE_LIST*)view->select_lex.table_list.first;
         tbl;
         tbl= tbl->next_local)
4519 4520 4521 4522 4523 4524 4525
      if (tbl->set_insert_values(mem_root))
        return TRUE;
  }
  return FALSE;
}


unknown's avatar
unknown committed
4526 4527 4528 4529
/*
  Test if this is a leaf with respect to name resolution.

  SYNOPSIS
4530
    TABLE_LIST::is_leaf_for_name_resolution()
unknown's avatar
unknown committed
4531 4532 4533 4534 4535 4536 4537 4538 4539 4540 4541

  DESCRIPTION
    A table reference is a leaf with respect to name resolution if
    it is either a leaf node in a nested join tree (table, view,
    schema table, subquery), or an inner node that represents a
    NATURAL/USING join, or a nested join with materialized join
    columns.

  RETURN
    TRUE if a leaf, FALSE otherwise.
*/
4542
bool TABLE_LIST::is_leaf_for_name_resolution()
unknown's avatar
unknown committed
4543
{
4544
  return (is_merged_derived() || is_natural_join || is_join_columns_complete ||
unknown's avatar
unknown committed
4545 4546 4547 4548 4549 4550 4551 4552 4553
          !nested_join);
}


/*
  Retrieve the first (left-most) leaf in a nested join tree with
  respect to name resolution.

  SYNOPSIS
4554
    TABLE_LIST::first_leaf_for_name_resolution()
unknown's avatar
unknown committed
4555 4556 4557 4558 4559 4560 4561 4562 4563 4564 4565 4566

  DESCRIPTION
    Given that 'this' is a nested table reference, recursively walk
    down the left-most children of 'this' until we reach a leaf
    table reference with respect to name resolution.

  IMPLEMENTATION
    The left-most child of a nested table reference is the last element
    in the list of children because the children are inserted in
    reverse order.

  RETURN
4567
    If 'this' is a nested table reference - the left-most child of
unknown's avatar
unknown committed
4568
      the tree rooted in 'this',
4569
    else return 'this'
unknown's avatar
unknown committed
4570 4571
*/

4572
TABLE_LIST *TABLE_LIST::first_leaf_for_name_resolution()
unknown's avatar
unknown committed
4573
{
4574 4575 4576
  TABLE_LIST *cur_table_ref;
  NESTED_JOIN *cur_nested_join;
  LINT_INIT(cur_table_ref);
unknown's avatar
unknown committed
4577

4578
  if (is_leaf_for_name_resolution())
unknown's avatar
unknown committed
4579
    return this;
4580
  DBUG_ASSERT(nested_join);
unknown's avatar
unknown committed
4581

4582 4583 4584
  for (cur_nested_join= nested_join;
       cur_nested_join;
       cur_nested_join= cur_table_ref->nested_join)
unknown's avatar
unknown committed
4585 4586 4587 4588
  {
    List_iterator_fast<TABLE_LIST> it(cur_nested_join->join_list);
    cur_table_ref= it++;
    /*
4589 4590 4591 4592
      If the current nested join is a RIGHT JOIN, the operands in
      'join_list' are in reverse order, thus the first operand is
      already at the front of the list. Otherwise the first operand
      is in the end of the list of join operands.
unknown's avatar
unknown committed
4593 4594 4595
    */
    if (!(cur_table_ref->outer_join & JOIN_TYPE_RIGHT))
    {
4596
      TABLE_LIST *next;
unknown's avatar
unknown committed
4597 4598 4599 4600 4601 4602 4603 4604 4605 4606 4607 4608 4609 4610 4611
      while ((next= it++))
        cur_table_ref= next;
    }
    if (cur_table_ref->is_leaf_for_name_resolution())
      break;
  }
  return cur_table_ref;
}


/*
  Retrieve the last (right-most) leaf in a nested join tree with
  respect to name resolution.

  SYNOPSIS
4612
    TABLE_LIST::last_leaf_for_name_resolution()
unknown's avatar
unknown committed
4613 4614 4615 4616 4617 4618 4619 4620 4621 4622 4623 4624 4625 4626 4627 4628 4629

  DESCRIPTION
    Given that 'this' is a nested table reference, recursively walk
    down the right-most children of 'this' until we reach a leaf
    table reference with respect to name resolution.

  IMPLEMENTATION
    The right-most child of a nested table reference is the first
    element in the list of children because the children are inserted
    in reverse order.

  RETURN
    - If 'this' is a nested table reference - the right-most child of
      the tree rooted in 'this',
    - else - 'this'
*/

4630
TABLE_LIST *TABLE_LIST::last_leaf_for_name_resolution()
unknown's avatar
unknown committed
4631 4632
{
  TABLE_LIST *cur_table_ref= this;
4633
  NESTED_JOIN *cur_nested_join;
unknown's avatar
unknown committed
4634

4635
  if (is_leaf_for_name_resolution())
unknown's avatar
unknown committed
4636
    return this;
4637
  DBUG_ASSERT(nested_join);
unknown's avatar
unknown committed
4638

4639 4640 4641
  for (cur_nested_join= nested_join;
       cur_nested_join;
       cur_nested_join= cur_table_ref->nested_join)
unknown's avatar
unknown committed
4642
  {
4643
    cur_table_ref= cur_nested_join->join_list.head();
unknown's avatar
unknown committed
4644
    /*
4645 4646 4647
      If the current nested is a RIGHT JOIN, the operands in
      'join_list' are in reverse order, thus the last operand is in the
      end of the list.
unknown's avatar
unknown committed
4648 4649 4650 4651
    */
    if ((cur_table_ref->outer_join & JOIN_TYPE_RIGHT))
    {
      List_iterator_fast<TABLE_LIST> it(cur_nested_join->join_list);
4652
      TABLE_LIST *next;
unknown's avatar
unknown committed
4653 4654 4655 4656 4657 4658 4659 4660 4661 4662 4663
      cur_table_ref= it++;
      while ((next= it++))
        cur_table_ref= next;
    }
    if (cur_table_ref->is_leaf_for_name_resolution())
      break;
  }
  return cur_table_ref;
}


4664 4665 4666 4667 4668 4669 4670 4671
/*
  Register access mode which we need for underlying tables

  SYNOPSIS
    register_want_access()
    want_access          Acess which we require
*/

4672
void TABLE_LIST::register_want_access(ulong want_access)
4673 4674 4675 4676 4677 4678 4679 4680 4681
{
  /* Remove SHOW_VIEW_ACL, because it will be checked during making view */
  want_access&= ~SHOW_VIEW_ACL;
  if (belong_to_view)
  {
    grant.want_privilege= want_access;
    if (table)
      table->grant.want_privilege= want_access;
  }
4682 4683 4684 4685 4686
  if (!view)
    return;
  for (TABLE_LIST *tbl= view->select_lex.get_table_list();
       tbl;
       tbl= tbl->next_local)
4687 4688 4689 4690 4691
    tbl->register_want_access(want_access);
}


/*
unknown's avatar
unknown committed
4692
  Load security context information for this view
4693 4694

  SYNOPSIS
Sergei Golubchik's avatar
Sergei Golubchik committed
4695
    TABLE_LIST::prepare_view_security_context()
4696 4697 4698 4699 4700 4701 4702 4703
    thd                  [in] thread handler

  RETURN
    FALSE  OK
    TRUE   Error
*/

#ifndef NO_EMBEDDED_ACCESS_CHECKS
Sergei Golubchik's avatar
Sergei Golubchik committed
4704
bool TABLE_LIST::prepare_view_security_context(THD *thd)
4705
{
Sergei Golubchik's avatar
Sergei Golubchik committed
4706
  DBUG_ENTER("TABLE_LIST::prepare_view_security_context");
4707 4708 4709 4710 4711 4712 4713
  DBUG_PRINT("enter", ("table: %s", alias));

  DBUG_ASSERT(!prelocking_placeholder && view);
  if (view_suid)
  {
    DBUG_PRINT("info", ("This table is suid view => load contest"));
    DBUG_ASSERT(view && view_sctx);
4714 4715
    if (acl_getroot(view_sctx, definer.user.str, definer.host.str,
                                definer.host.str, thd->db))
4716
    {
4717 4718
      if ((thd->lex->sql_command == SQLCOM_SHOW_CREATE) ||
          (thd->lex->sql_command == SQLCOM_SHOW_FIELDS))
4719 4720 4721 4722 4723 4724 4725 4726
      {
        push_warning_printf(thd, MYSQL_ERROR::WARN_LEVEL_NOTE, 
                            ER_NO_SUCH_USER, 
                            ER(ER_NO_SUCH_USER),
                            definer.user.str, definer.host.str);
      }
      else
      {
4727 4728 4729 4730 4731 4732 4733
        if (thd->security_ctx->master_access & SUPER_ACL)
        {
          my_error(ER_NO_SUCH_USER, MYF(0), definer.user.str, definer.host.str);

        }
        else
        {
4734 4735 4736 4737 4738 4739 4740 4741 4742
          if (thd->password == 2)
            my_error(ER_ACCESS_DENIED_NO_PASSWORD_ERROR, MYF(0),
                     thd->security_ctx->priv_user,
                     thd->security_ctx->priv_host);
          else
            my_error(ER_ACCESS_DENIED_ERROR, MYF(0),
                     thd->security_ctx->priv_user,
                     thd->security_ctx->priv_host,
                     (thd->password ?  ER(ER_YES) : ER(ER_NO)));
4743
        }
4744 4745
        DBUG_RETURN(TRUE);
      }
4746 4747 4748 4749 4750 4751 4752 4753 4754 4755 4756
    }
  }
  DBUG_RETURN(FALSE);
}
#endif


/*
  Find security context of current view

  SYNOPSIS
4757
    TABLE_LIST::find_view_security_context()
4758 4759 4760 4761 4762
    thd                  [in] thread handler

*/

#ifndef NO_EMBEDDED_ACCESS_CHECKS
4763
Security_context *TABLE_LIST::find_view_security_context(THD *thd)
4764 4765 4766
{
  Security_context *sctx;
  TABLE_LIST *upper_view= this;
4767
  DBUG_ENTER("TABLE_LIST::find_view_security_context");
4768 4769 4770 4771 4772 4773 4774 4775 4776 4777 4778 4779 4780 4781 4782 4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 4795

  DBUG_ASSERT(view);
  while (upper_view && !upper_view->view_suid)
  {
    DBUG_ASSERT(!upper_view->prelocking_placeholder);
    upper_view= upper_view->referencing_view;
  }
  if (upper_view)
  {
    DBUG_PRINT("info", ("Securety context of view %s will be used",
                        upper_view->alias));
    sctx= upper_view->view_sctx;
    DBUG_ASSERT(sctx);
  }
  else
  {
    DBUG_PRINT("info", ("Current global context will be used"));
    sctx= thd->security_ctx;
  }
  DBUG_RETURN(sctx);
}
#endif


/*
  Prepare security context and load underlying tables priveleges for view

  SYNOPSIS
4796
    TABLE_LIST::prepare_security()
4797 4798 4799 4800 4801 4802 4803
    thd                  [in] thread handler

  RETURN
    FALSE  OK
    TRUE   Error
*/

4804
bool TABLE_LIST::prepare_security(THD *thd)
4805 4806 4807
{
  List_iterator_fast<TABLE_LIST> tb(*view_tables);
  TABLE_LIST *tbl;
4808
  DBUG_ENTER("TABLE_LIST::prepare_security");
4809 4810 4811 4812
#ifndef NO_EMBEDDED_ACCESS_CHECKS
  Security_context *save_security_ctx= thd->security_ctx;

  DBUG_ASSERT(!prelocking_placeholder);
Sergei Golubchik's avatar
Sergei Golubchik committed
4813
  if (prepare_view_security_context(thd))
4814 4815 4816 4817 4818
    DBUG_RETURN(TRUE);
  thd->security_ctx= find_view_security_context(thd);
  while ((tbl= tb++))
  {
    DBUG_ASSERT(tbl->referencing_view);
4819
    char *local_db, *local_table_name;
4820 4821
    if (tbl->view)
    {
4822 4823
      local_db= tbl->view_db.str;
      local_table_name= tbl->view_name.str;
4824 4825 4826
    }
    else
    {
4827 4828
      local_db= tbl->db;
      local_table_name= tbl->table_name;
4829
    }
4830 4831
    fill_effective_table_privileges(thd, &tbl->grant, local_db,
                                    local_table_name);
4832 4833 4834 4835 4836 4837 4838 4839
    if (tbl->table)
      tbl->table->grant= grant;
  }
  thd->security_ctx= save_security_ctx;
#else
  while ((tbl= tb++))
    tbl->grant.privilege= ~NO_ACCESS;
#endif
unknown's avatar
unknown committed
4840
  DBUG_RETURN(FALSE);
4841 4842
}

4843 4844 4845 4846 4847 4848 4849 4850 4851 4852 4853 4854 4855 4856 4857 4858 4859 4860 4861 4862 4863 4864 4865 4866 4867 4868 4869 4870 4871 4872
#ifndef DBUG_OFF
void TABLE_LIST::set_check_merged()
{
  DBUG_ASSERT(derived);
  /*
    It is not simple to check all, but at least this should be checked:
    this select is not excluded or the exclusion came from above.
  */
  DBUG_ASSERT(!derived->first_select()->exclude_from_table_unique_test ||
              derived->outer_select()->
              exclude_from_table_unique_test);
}
#endif

void TABLE_LIST::set_check_materialized()
{
  DBUG_ASSERT(derived);
  if (!derived->first_select()->exclude_from_table_unique_test)
    derived->set_unique_exclude();
  else
  {
    /*
      The subtree should be already excluded
    */
    DBUG_ASSERT(!derived->first_select()->first_inner_unit() ||
                derived->first_select()->first_inner_unit()->first_select()->
                exclude_from_table_unique_test);
  }
}

unknown's avatar
unknown committed
4873 4874 4875 4876 4877 4878 4879 4880 4881 4882 4883 4884 4885
TABLE *TABLE_LIST::get_real_join_table()
{
  TABLE_LIST *tbl= this;
  while (tbl->table == NULL || tbl->table->reginfo.join_tab == NULL)
  {
    if (tbl->view == NULL && tbl->derived == NULL)
      break;
    /* we do not support merging of union yet */
    DBUG_ASSERT(tbl->view == NULL ||
               tbl->view->select_lex.next_select() == NULL);
    DBUG_ASSERT(tbl->derived == NULL ||
               tbl->derived->first_select()->next_select() == NULL);

unknown's avatar
unknown committed
4886
    {
unknown's avatar
unknown committed
4887 4888 4889 4890 4891 4892 4893 4894 4895 4896 4897 4898 4899 4900 4901 4902 4903 4904 4905 4906 4907 4908 4909 4910 4911
      List_iterator_fast<TABLE_LIST> ti;
      {
        List_iterator_fast<TABLE_LIST>
          ti(tbl->view != NULL ?
             tbl->view->select_lex.top_join_list :
             tbl->derived->first_select()->top_join_list);
        for (;;)
        {
          tbl= NULL;
          /*
            Find left table in outer join on this level
            (the list is reverted).
          */
          for (TABLE_LIST *t= ti++; t; t= ti++)
            tbl= t;
          /*
            It is impossible that the list is empty
            so tbl can't be NULL after above loop.
          */
          if (!tbl->nested_join)
            break;
          /* go deeper if we've found nested join */
          ti= tbl->nested_join->join_list;
        }
      }
unknown's avatar
unknown committed
4912
    }
unknown's avatar
unknown committed
4913
  }
unknown's avatar
unknown committed
4914

unknown's avatar
unknown committed
4915 4916 4917
  return tbl->table;
}

4918

unknown's avatar
unknown committed
4919 4920 4921 4922 4923 4924 4925 4926 4927 4928 4929
Natural_join_column::Natural_join_column(Field_translator *field_param,
                                         TABLE_LIST *tab)
{
  DBUG_ASSERT(tab->field_translation);
  view_field= field_param;
  table_field= NULL;
  table_ref= tab;
  is_common= FALSE;
}


4930
Natural_join_column::Natural_join_column(Item_field *field_param,
unknown's avatar
unknown committed
4931 4932
                                         TABLE_LIST *tab)
{
4933
  DBUG_ASSERT(tab->table == field_param->field->table);
unknown's avatar
unknown committed
4934 4935 4936 4937 4938 4939 4940 4941 4942 4943 4944 4945 4946 4947
  table_field= field_param;
  view_field= NULL;
  table_ref= tab;
  is_common= FALSE;
}


const char *Natural_join_column::name()
{
  if (view_field)
  {
    DBUG_ASSERT(table_field == NULL);
    return view_field->name;
  }
4948 4949

  return table_field->field_name;
unknown's avatar
unknown committed
4950 4951 4952 4953 4954 4955 4956 4957
}


Item *Natural_join_column::create_item(THD *thd)
{
  if (view_field)
  {
    DBUG_ASSERT(table_field == NULL);
4958 4959
    return create_view_field(thd, table_ref, &view_field->item,
                             view_field->name);
unknown's avatar
unknown committed
4960
  }
4961
  return table_field;
unknown's avatar
unknown committed
4962 4963 4964 4965 4966 4967 4968 4969 4970 4971
}


Field *Natural_join_column::field()
{
  if (view_field)
  {
    DBUG_ASSERT(table_field == NULL);
    return NULL;
  }
4972
  return table_field->field;
unknown's avatar
unknown committed
4973 4974 4975 4976 4977
}


const char *Natural_join_column::table_name()
{
4978
  DBUG_ASSERT(table_ref);
unknown's avatar
unknown committed
4979 4980 4981 4982 4983 4984 4985 4986
  return table_ref->alias;
}


const char *Natural_join_column::db_name()
{
  if (view_field)
    return table_ref->view_db.str;
4987

4988
  /*
Konstantin Osipov's avatar
Konstantin Osipov committed
4989
    Test that TABLE_LIST::db is the same as TABLE_SHARE::db to
4990 4991 4992
    ensure consistency. An exception are I_S schema tables, which
    are inconsistent in this respect.
  */
4993
  DBUG_ASSERT(!strcmp(table_ref->db,
4994
                      table_ref->table->s->db.str) ||
4995
              (table_ref->schema_table &&
4996
               is_infoschema_db(table_ref->table->s->db.str,
Sergei Golubchik's avatar
Sergei Golubchik committed
4997
                                table_ref->table->s->db.length)) ||
4998
               table_ref->is_materialized_derived());
4999
  return table_ref->db;
unknown's avatar
unknown committed
5000 5001 5002 5003 5004
}


GRANT_INFO *Natural_join_column::grant()
{
5005 5006 5007 5008 5009 5010 5011 5012 5013
/*  if (view_field)
    return &(table_ref->grant);
  return &(table_ref->table->grant);*/
  /*
    Have to check algorithm because merged derived also has
    field_translation.
  */
//if (table_ref->effective_algorithm == DTYPE_ALGORITHM_MERGE)
  if (table_ref->is_merged_derived())
unknown's avatar
unknown committed
5014
    return &(table_ref->grant);
5015
  return &(table_ref->table->grant);
unknown's avatar
unknown committed
5016 5017 5018
}


unknown's avatar
VIEW  
unknown committed
5019 5020
void Field_iterator_view::set(TABLE_LIST *table)
{
unknown's avatar
unknown committed
5021
  DBUG_ASSERT(table->field_translation);
5022
  view= table;
unknown's avatar
VIEW  
unknown committed
5023
  ptr= table->field_translation;
5024
  array_end= table->field_translation_end;
unknown's avatar
VIEW  
unknown committed
5025 5026 5027 5028 5029 5030 5031 5032 5033
}


const char *Field_iterator_table::name()
{
  return (*ptr)->field_name;
}


5034
Item *Field_iterator_table::create_item(THD *thd)
unknown's avatar
VIEW  
unknown committed
5035
{
5036 5037 5038 5039 5040 5041 5042 5043
  SELECT_LEX *select= thd->lex->current_select;

  Item_field *item= new Item_field(thd, &select->context, *ptr);
  if (item && thd->variables.sql_mode & MODE_ONLY_FULL_GROUP_BY &&
      !thd->lex->in_sum_func && select->cur_pos_in_select_list != UNDEF_POS)
  {
    select->non_agg_fields.push_back(item);
    item->marker= select->cur_pos_in_select_list;
5044
    select->set_non_agg_field_used(true);
5045 5046
  }
  return item;
unknown's avatar
VIEW  
unknown committed
5047 5048 5049 5050 5051
}


const char *Field_iterator_view::name()
{
5052
  return ptr->name;
unknown's avatar
VIEW  
unknown committed
5053 5054 5055
}


5056 5057 5058 5059 5060 5061 5062 5063 5064 5065 5066 5067 5068 5069 5070
Item *Field_iterator_view::create_item(THD *thd)
{
  return create_view_field(thd, view, &ptr->item, ptr->name);
}

Item *create_view_field(THD *thd, TABLE_LIST *view, Item **field_ref,
                        const char *name)
{
  bool save_wrapper= thd->lex->select_lex.no_wrap_view_item;
  Item *field= *field_ref;
  DBUG_ENTER("create_view_field");

  if (view->schema_table_reformed)
  {
    /*
5071 5072 5073
      Translation table items are always Item_fields and already fixed
      ('mysql_schema_table' function). So we can return directly the
      field. This case happens only for 'show & where' commands.
5074 5075 5076 5077 5078 5079 5080 5081 5082 5083 5084 5085 5086 5087 5088 5089 5090
    */
    DBUG_ASSERT(field && field->fixed);
    DBUG_RETURN(field);
  }

  DBUG_ASSERT(field);
  thd->lex->current_select->no_wrap_view_item= TRUE;
  if (!field->fixed)
  {
    if (field->fix_fields(thd, field_ref))
    {
      thd->lex->current_select->no_wrap_view_item= save_wrapper;
      DBUG_RETURN(0);
    }
    field= *field_ref;
  }
  thd->lex->current_select->no_wrap_view_item= save_wrapper;
5091
  if (save_wrapper)
5092 5093 5094 5095
  {
    DBUG_RETURN(field);
  }
  Item *item= new Item_direct_view_ref(&view->view->select_lex.context,
5096
                                       field_ref, view->alias,
5097 5098 5099 5100 5101
                                       name, view);
  /*
    Force creation of nullable item for the result tmp table for outer joined
    views/derived tables.
  */
Igor Babaev's avatar
Igor Babaev committed
5102
  if (view->table && view->table->maybe_null)
5103 5104
    item->maybe_null= TRUE;
  /* Save item in case we will need to fall back to materialization. */
unknown's avatar
unknown committed
5105
  view->used_items.push_front(item);
5106 5107 5108 5109
  DBUG_RETURN(item);
}


unknown's avatar
unknown committed
5110 5111 5112
void Field_iterator_natural_join::set(TABLE_LIST *table_ref)
{
  DBUG_ASSERT(table_ref->join_columns);
5113 5114
  column_ref_it.init(*(table_ref->join_columns));
  cur_column_ref= column_ref_it++;
unknown's avatar
unknown committed
5115 5116 5117
}


5118 5119
void Field_iterator_natural_join::next()
{
5120
  cur_column_ref= column_ref_it++;
5121 5122
  DBUG_ASSERT(!cur_column_ref || ! cur_column_ref->table_field ||
              cur_column_ref->table_ref->table ==
5123
              cur_column_ref->table_field->field->table);
5124 5125 5126
}


unknown's avatar
unknown committed
5127 5128 5129 5130 5131 5132 5133 5134 5135 5136 5137 5138 5139 5140 5141
void Field_iterator_table_ref::set_field_iterator()
{
  DBUG_ENTER("Field_iterator_table_ref::set_field_iterator");
  /*
    If the table reference we are iterating over is a natural join, or it is
    an operand of a natural join, and TABLE_LIST::join_columns contains all
    the columns of the join operand, then we pick the columns from
    TABLE_LIST::join_columns, instead of the  orginial container of the
    columns of the join operator.
  */
  if (table_ref->is_join_columns_complete)
  {
    /* Necesary, but insufficient conditions. */
    DBUG_ASSERT(table_ref->is_natural_join ||
                table_ref->nested_join ||
5142
                (table_ref->join_columns &&
5143 5144 5145 5146 5147 5148 5149 5150 5151
                 /* This is a merge view. */
                 ((table_ref->field_translation &&
                   table_ref->join_columns->elements ==
                   (ulong)(table_ref->field_translation_end -
                           table_ref->field_translation)) ||
                  /* This is stored table or a tmptable view. */
                  (!table_ref->field_translation &&
                   table_ref->join_columns->elements ==
                   table_ref->table->s->fields))));
unknown's avatar
unknown committed
5152 5153
    field_it= &natural_join_it;
    DBUG_PRINT("info",("field_it for '%s' is Field_iterator_natural_join",
unknown's avatar
unknown committed
5154
                       table_ref->alias));
unknown's avatar
unknown committed
5155 5156 5157 5158
  }
  /* This is a merge view, so use field_translation. */
  else if (table_ref->field_translation)
  {
5159
    DBUG_ASSERT(table_ref->is_merged_derived());
unknown's avatar
unknown committed
5160 5161
    field_it= &view_field_it;
    DBUG_PRINT("info", ("field_it for '%s' is Field_iterator_view",
unknown's avatar
unknown committed
5162
                        table_ref->alias));
unknown's avatar
unknown committed
5163 5164 5165 5166 5167 5168 5169
  }
  /* This is a base table or stored view. */
  else
  {
    DBUG_ASSERT(table_ref->table || table_ref->view);
    field_it= &table_field_it;
    DBUG_PRINT("info", ("field_it for '%s' is Field_iterator_table",
unknown's avatar
unknown committed
5170
                        table_ref->alias));
unknown's avatar
unknown committed
5171
  }
5172
  field_it->set(table_ref);
unknown's avatar
unknown committed
5173 5174 5175 5176 5177 5178 5179 5180 5181 5182 5183 5184 5185 5186 5187 5188 5189 5190 5191 5192 5193 5194 5195 5196 5197 5198 5199 5200 5201 5202 5203 5204
  DBUG_VOID_RETURN;
}


void Field_iterator_table_ref::set(TABLE_LIST *table)
{
  DBUG_ASSERT(table);
  first_leaf= table->first_leaf_for_name_resolution();
  last_leaf=  table->last_leaf_for_name_resolution();
  DBUG_ASSERT(first_leaf && last_leaf);
  table_ref= first_leaf;
  set_field_iterator();
}


void Field_iterator_table_ref::next()
{
  /* Move to the next field in the current table reference. */
  field_it->next();
  /*
    If all fields of the current table reference are exhausted, move to
    the next leaf table reference.
  */
  if (field_it->end_of_fields() && table_ref != last_leaf)
  {
    table_ref= table_ref->next_name_resolution_table;
    DBUG_ASSERT(table_ref);
    set_field_iterator();
  }
}


5205
const char *Field_iterator_table_ref::get_table_name()
unknown's avatar
unknown committed
5206 5207 5208 5209 5210
{
  if (table_ref->view)
    return table_ref->view_name.str;
  else if (table_ref->is_natural_join)
    return natural_join_it.column_ref()->table_name();
5211 5212

  DBUG_ASSERT(!strcmp(table_ref->table_name,
unknown's avatar
unknown committed
5213
                      table_ref->table->s->table_name.str));
5214
  return table_ref->table_name;
unknown's avatar
unknown committed
5215 5216 5217
}


5218
const char *Field_iterator_table_ref::get_db_name()
unknown's avatar
unknown committed
5219 5220 5221 5222 5223
{
  if (table_ref->view)
    return table_ref->view_db.str;
  else if (table_ref->is_natural_join)
    return natural_join_it.column_ref()->db_name();
5224

5225
  /*
Konstantin Osipov's avatar
Konstantin Osipov committed
5226
    Test that TABLE_LIST::db is the same as TABLE_SHARE::db to
5227 5228 5229
    ensure consistency. An exception are I_S schema tables, which
    are inconsistent in this respect.
  */
5230
  DBUG_ASSERT(!strcmp(table_ref->db, table_ref->table->s->db.str) ||
5231
              (table_ref->schema_table &&
5232 5233
               is_infoschema_db(table_ref->table->s->db.str,
                                table_ref->table->s->db.length)));
5234

5235
  return table_ref->db;
unknown's avatar
unknown committed
5236 5237 5238 5239 5240 5241 5242 5243 5244
}


GRANT_INFO *Field_iterator_table_ref::grant()
{
  if (table_ref->view)
    return &(table_ref->grant);
  else if (table_ref->is_natural_join)
    return natural_join_it.column_ref()->grant();
5245
  return &(table_ref->table->grant);
unknown's avatar
unknown committed
5246 5247 5248 5249 5250 5251 5252 5253 5254
}


/*
  Create new or return existing column reference to a column of a
  natural/using join.

  SYNOPSIS
    Field_iterator_table_ref::get_or_create_column_ref()
unknown's avatar
unknown committed
5255 5256
    parent_table_ref  the parent table reference over which the
                      iterator is iterating
unknown's avatar
unknown committed
5257 5258

  DESCRIPTION
unknown's avatar
unknown committed
5259 5260 5261 5262 5263 5264 5265 5266 5267 5268 5269 5270 5271 5272 5273 5274 5275 5276 5277 5278 5279
    Create a new natural join column for the current field of the
    iterator if no such column was created, or return an already
    created natural join column. The former happens for base tables or
    views, and the latter for natural/using joins. If a new field is
    created, then the field is added to 'parent_table_ref' if it is
    given, or to the original table referene of the field if
    parent_table_ref == NULL.

  NOTES
    This method is designed so that when a Field_iterator_table_ref
    walks through the fields of a table reference, all its fields
    are created and stored as follows:
    - If the table reference being iterated is a stored table, view or
      natural/using join, store all natural join columns in a list
      attached to that table reference.
    - If the table reference being iterated is a nested join that is
      not natural/using join, then do not materialize its result
      fields. This is OK because for such table references
      Field_iterator_table_ref iterates over the fields of the nested
      table references (recursively). In this way we avoid the storage
      of unnecessay copies of result columns of nested joins.
unknown's avatar
unknown committed
5280 5281

  RETURN
5282 5283
    #     Pointer to a column of a natural join (or its operand)
    NULL  No memory to allocate the column
unknown's avatar
unknown committed
5284 5285 5286
*/

Natural_join_column *
5287
Field_iterator_table_ref::get_or_create_column_ref(THD *thd, TABLE_LIST *parent_table_ref)
unknown's avatar
unknown committed
5288
{
5289
  Natural_join_column *nj_col;
unknown's avatar
unknown committed
5290 5291 5292 5293
  bool is_created= TRUE;
  uint field_count;
  TABLE_LIST *add_table_ref= parent_table_ref ?
                             parent_table_ref : table_ref;
unknown's avatar
unknown committed
5294
  LINT_INIT(field_count);
unknown's avatar
unknown committed
5295

unknown's avatar
unknown committed
5296
  if (field_it == &table_field_it)
5297 5298
  {
    /* The field belongs to a stored table. */
5299
    Field *tmp_field= table_field_it.field();
5300 5301 5302 5303 5304
    Item_field *tmp_item=
      new Item_field(thd, &thd->lex->current_select->context, tmp_field);
    if (!tmp_item)
      return NULL;
    nj_col= new Natural_join_column(tmp_item, table_ref);
unknown's avatar
unknown committed
5305
    field_count= table_ref->table->s->fields;
5306 5307 5308 5309 5310 5311
  }
  else if (field_it == &view_field_it)
  {
    /* The field belongs to a merge view or information schema table. */
    Field_translator *translated_field= view_field_it.field_translator();
    nj_col= new Natural_join_column(translated_field, table_ref);
unknown's avatar
unknown committed
5312 5313
    field_count= table_ref->field_translation_end -
                 table_ref->field_translation;
5314 5315 5316 5317 5318 5319 5320 5321
  }
  else
  {
    /*
      The field belongs to a NATURAL join, therefore the column reference was
      already created via one of the two constructor calls above. In this case
      we just return the already created column reference.
    */
unknown's avatar
unknown committed
5322 5323
    DBUG_ASSERT(table_ref->is_join_columns_complete);
    is_created= FALSE;
5324 5325 5326
    nj_col= natural_join_it.column_ref();
    DBUG_ASSERT(nj_col);
  }
5327
  DBUG_ASSERT(!nj_col->table_field ||
5328
              nj_col->table_ref->table == nj_col->table_field->field->table);
unknown's avatar
unknown committed
5329 5330 5331 5332 5333 5334 5335 5336 5337 5338 5339 5340 5341 5342 5343 5344 5345 5346 5347 5348 5349 5350 5351 5352 5353 5354 5355 5356 5357 5358

  /*
    If the natural join column was just created add it to the list of
    natural join columns of either 'parent_table_ref' or to the table
    reference that directly contains the original field.
  */
  if (is_created)
  {
    /* Make sure not all columns were materialized. */
    DBUG_ASSERT(!add_table_ref->is_join_columns_complete);
    if (!add_table_ref->join_columns)
    {
      /* Create a list of natural join columns on demand. */
      if (!(add_table_ref->join_columns= new List<Natural_join_column>))
        return NULL;
      add_table_ref->is_join_columns_complete= FALSE;
    }
    add_table_ref->join_columns->push_back(nj_col);
    /*
      If new fields are added to their original table reference, mark if
      all fields were added. We do it here as the caller has no easy way
      of knowing when to do it.
      If the fields are being added to parent_table_ref, then the caller
      must take care to mark when all fields are created/added.
    */
    if (!parent_table_ref &&
        add_table_ref->join_columns->elements == field_count)
      add_table_ref->is_join_columns_complete= TRUE;
  }

5359
  return nj_col;
unknown's avatar
unknown committed
5360 5361 5362
}


5363 5364 5365 5366 5367 5368 5369 5370 5371 5372 5373 5374 5375 5376 5377 5378 5379 5380 5381 5382 5383 5384 5385 5386 5387 5388 5389 5390 5391 5392
/*
  Return an existing reference to a column of a natural/using join.

  SYNOPSIS
    Field_iterator_table_ref::get_natural_column_ref()

  DESCRIPTION
    The method should be called in contexts where it is expected that
    all natural join columns are already created, and that the column
    being retrieved is a Natural_join_column.

  RETURN
    #     Pointer to a column of a natural join (or its operand)
    NULL  No memory to allocate the column
*/

Natural_join_column *
Field_iterator_table_ref::get_natural_column_ref()
{
  Natural_join_column *nj_col;

  DBUG_ASSERT(field_it == &natural_join_it);
  /*
    The field belongs to a NATURAL join, therefore the column reference was
    already created via one of the two constructor calls above. In this case
    we just return the already created column reference.
  */
  nj_col= natural_join_it.column_ref();
  DBUG_ASSERT(nj_col &&
              (!nj_col->table_field ||
5393
               nj_col->table_ref->table == nj_col->table_field->field->table));
5394 5395 5396
  return nj_col;
}

5397 5398 5399 5400 5401 5402
/*****************************************************************************
  Functions to handle column usage bitmaps (read_set, write_set etc...)
*****************************************************************************/

/* Reset all columns bitmaps */

Konstantin Osipov's avatar
Konstantin Osipov committed
5403
void TABLE::clear_column_bitmaps()
5404 5405 5406 5407 5408
{
  /*
    Reset column read/write usage. It's identical to:
    bitmap_clear_all(&table->def_read_set);
    bitmap_clear_all(&table->def_write_set);
Igor Babaev's avatar
Igor Babaev committed
5409
    bitmap_clear_all(&table->def_vcol_set);
5410
  */
Igor Babaev's avatar
Igor Babaev committed
5411 5412
  bzero((char*) def_read_set.bitmap, s->column_bitmap_size*3);
  column_bitmaps_set(&def_read_set, &def_write_set, &def_vcol_set);
5413 5414 5415 5416 5417 5418 5419 5420 5421 5422 5423 5424
}


/*
  Tell handler we are going to call position() and rnd_pos() later.
  
  NOTES:
  This is needed for handlers that uses the primary key to find the
  row. In this case we have to extend the read bitmap with the primary
  key fields.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5425
void TABLE::prepare_for_position()
5426
{
Konstantin Osipov's avatar
Konstantin Osipov committed
5427
  DBUG_ENTER("TABLE::prepare_for_position");
5428 5429 5430 5431 5432 5433 5434 5435 5436 5437 5438 5439 5440 5441 5442 5443 5444 5445

  if ((file->ha_table_flags() & HA_PRIMARY_KEY_IN_READ_INDEX) &&
      s->primary_key < MAX_KEY)
  {
    mark_columns_used_by_index_no_reset(s->primary_key, read_set);
    /* signal change */
    file->column_bitmaps_signal();
  }
  DBUG_VOID_RETURN;
}


/*
  Mark that only fields from one key is used

  NOTE:
    This changes the bitmap to use the tmp bitmap
    After this, you can't access any other columns in the table until
Konstantin Osipov's avatar
Konstantin Osipov committed
5446 5447
    bitmaps are reset, for example with TABLE::clear_column_bitmaps()
    or TABLE::restore_column_maps_after_mark_index()
5448 5449
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5450
void TABLE::mark_columns_used_by_index(uint index)
5451 5452
{
  MY_BITMAP *bitmap= &tmp_set;
Konstantin Osipov's avatar
Konstantin Osipov committed
5453
  DBUG_ENTER("TABLE::mark_columns_used_by_index");
5454

5455
  enable_keyread();
5456 5457 5458 5459 5460 5461 5462
  bitmap_clear_all(bitmap);
  mark_columns_used_by_index_no_reset(index, bitmap);
  column_bitmaps_set(bitmap, bitmap);
  DBUG_VOID_RETURN;
}


5463 5464 5465 5466 5467 5468 5469 5470
/*
  Add fields used by a specified index to the table's read_set.

  NOTE:
    The original state can be restored with
    restore_column_maps_after_mark_index().
*/

5471
void TABLE::add_read_columns_used_by_index(uint index)
5472 5473
{
  MY_BITMAP *bitmap= &tmp_set;
5474
  DBUG_ENTER("TABLE::add_read_columns_used_by_index");
5475

Michael Widenius's avatar
Michael Widenius committed
5476
  enable_keyread();
5477 5478 5479 5480 5481 5482 5483
  bitmap_copy(bitmap, read_set);
  mark_columns_used_by_index_no_reset(index, bitmap);
  column_bitmaps_set(bitmap, write_set);
  DBUG_VOID_RETURN;
}


5484 5485 5486 5487 5488 5489 5490 5491 5492 5493 5494
/*
  Restore to use normal column maps after key read

  NOTES
    This reverse the change done by mark_columns_used_by_index

  WARNING
    For this to work, one must have the normal table maps in place
    when calling mark_columns_used_by_index
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5495
void TABLE::restore_column_maps_after_mark_index()
5496
{
Konstantin Osipov's avatar
Konstantin Osipov committed
5497
  DBUG_ENTER("TABLE::restore_column_maps_after_mark_index");
5498

5499
  disable_keyread();
5500 5501 5502 5503 5504 5505 5506 5507 5508 5509
  default_column_bitmaps();
  file->column_bitmaps_signal();
  DBUG_VOID_RETURN;
}


/*
  mark columns used by key, but don't reset other fields
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5510
void TABLE::mark_columns_used_by_index_no_reset(uint index,
5511 5512 5513 5514 5515 5516
                                                   MY_BITMAP *bitmap)
{
  KEY_PART_INFO *key_part= key_info[index].key_part;
  KEY_PART_INFO *key_part_end= (key_part +
                                key_info[index].key_parts);
  for (;key_part != key_part_end; key_part++)
5517
  {
5518
    bitmap_set_bit(bitmap, key_part->fieldnr-1);
5519 5520 5521 5522 5523 5524
    if (key_part->field->vcol_info &&
        key_part->field->vcol_info->expr_item)
      key_part->field->vcol_info->
               expr_item->walk(&Item::register_field_in_bitmap, 
                               1, (uchar *) bitmap);
  }
5525 5526 5527 5528 5529 5530 5531 5532 5533 5534 5535
}


/*
  Mark auto-increment fields as used fields in both read and write maps

  NOTES
    This is needed in insert & update as the auto-increment field is
    always set and sometimes read.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5536
void TABLE::mark_auto_increment_column()
5537 5538 5539 5540 5541 5542 5543 5544
{
  DBUG_ASSERT(found_next_number_field);
  /*
    We must set bit in read set as update_auto_increment() is using the
    store() to check overflow of auto_increment values
  */
  bitmap_set_bit(read_set, found_next_number_field->field_index);
  bitmap_set_bit(write_set, found_next_number_field->field_index);
5545
  if (s->next_number_keypart)
5546 5547 5548 5549 5550 5551 5552 5553 5554 5555 5556 5557 5558 5559 5560 5561 5562 5563 5564 5565 5566 5567 5568
    mark_columns_used_by_index_no_reset(s->next_number_index, read_set);
  file->column_bitmaps_signal();
}


/*
  Mark columns needed for doing an delete of a row

  DESCRIPTON
    Some table engines don't have a cursor on the retrieve rows
    so they need either to use the primary key or all columns to
    be able to delete a row.

    If the engine needs this, the function works as follows:
    - If primary key exits, mark the primary key columns to be read.
    - If not, mark all columns to be read

    If the engine has HA_REQUIRES_KEY_COLUMNS_FOR_DELETE, we will
    mark all key columns as 'to-be-read'. This allows the engine to
    loop over the given record to find all keys and doesn't have to
    retrieve the row again.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5569
void TABLE::mark_columns_needed_for_delete()
5570 5571
{
  if (triggers)
5572
    triggers->mark_fields_used(TRG_EVENT_DELETE);
5573 5574 5575 5576 5577 5578 5579 5580 5581 5582 5583 5584 5585 5586 5587 5588 5589 5590 5591 5592 5593 5594 5595 5596 5597 5598 5599 5600 5601 5602 5603 5604 5605 5606 5607 5608 5609 5610 5611 5612 5613 5614 5615 5616 5617 5618
  if (file->ha_table_flags() & HA_REQUIRES_KEY_COLUMNS_FOR_DELETE)
  {
    Field **reg_field;
    for (reg_field= field ; *reg_field ; reg_field++)
    {
      if ((*reg_field)->flags & PART_KEY_FLAG)
        bitmap_set_bit(read_set, (*reg_field)->field_index);
    }
    file->column_bitmaps_signal();
  }
  if (file->ha_table_flags() & HA_PRIMARY_KEY_REQUIRED_FOR_DELETE)
  {
    /*
      If the handler has no cursor capabilites, we have to read either
      the primary key, the hidden primary key or all columns to be
      able to do an delete
    */
    if (s->primary_key == MAX_KEY)
      file->use_hidden_primary_key();
    else
    {
      mark_columns_used_by_index_no_reset(s->primary_key, read_set);
      file->column_bitmaps_signal();
    }
  }
}


/*
  Mark columns needed for doing an update of a row

  DESCRIPTON
    Some engines needs to have all columns in an update (to be able to
    build a complete row). If this is the case, we mark all not
    updated columns to be read.

    If this is no the case, we do like in the delete case and mark
    if neeed, either the primary key column or all columns to be read.
    (see mark_columns_needed_for_delete() for details)

    If the engine has HA_REQUIRES_KEY_COLUMNS_FOR_DELETE, we will
    mark all USED key columns as 'to-be-read'. This allows the engine to
    loop over the given record to find all changed keys and doesn't have to
    retrieve the row again.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5619
void TABLE::mark_columns_needed_for_update()
5620 5621 5622
{
  DBUG_ENTER("mark_columns_needed_for_update");
  if (triggers)
5623
    triggers->mark_fields_used(TRG_EVENT_UPDATE);
5624 5625 5626 5627 5628 5629 5630 5631 5632 5633 5634 5635 5636 5637 5638 5639 5640 5641 5642 5643 5644 5645 5646 5647 5648 5649 5650
  if (file->ha_table_flags() & HA_REQUIRES_KEY_COLUMNS_FOR_DELETE)
  {
    /* Mark all used key columns for read */
    Field **reg_field;
    for (reg_field= field ; *reg_field ; reg_field++)
    {
      /* Merge keys is all keys that had a column refered to in the query */
      if (merge_keys.is_overlapping((*reg_field)->part_of_key))
        bitmap_set_bit(read_set, (*reg_field)->field_index);
    }
    file->column_bitmaps_signal();
  }
  if (file->ha_table_flags() & HA_PRIMARY_KEY_REQUIRED_FOR_DELETE)
  {
    /*
      If the handler has no cursor capabilites, we have to read either
      the primary key, the hidden primary key or all columns to be
      able to do an update
    */
    if (s->primary_key == MAX_KEY)
      file->use_hidden_primary_key();
    else
    {
      mark_columns_used_by_index_no_reset(s->primary_key, read_set);
      file->column_bitmaps_signal();
    }
  }
5651
  /* Mark all virtual columns needed for update */
Igor Babaev's avatar
Igor Babaev committed
5652
  mark_virtual_columns_for_write(FALSE);
5653 5654 5655 5656 5657 5658 5659 5660 5661 5662 5663
  DBUG_VOID_RETURN;
}


/*
  Mark columns the handler needs for doing an insert

  For now, this is used to mark fields used by the trigger
  as changed.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
5664
void TABLE::mark_columns_needed_for_insert()
5665 5666 5667
{
  if (triggers)
  {
5668 5669 5670 5671 5672 5673 5674 5675
    /*
      We don't need to mark columns which are used by ON DELETE and
      ON UPDATE triggers, which may be invoked in case of REPLACE or
      INSERT ... ON DUPLICATE KEY UPDATE, since before doing actual
      row replacement or update write_record() will mark all table
      fields as used.
    */
    triggers->mark_fields_used(TRG_EVENT_INSERT);
5676 5677 5678
  }
  if (found_next_number_field)
    mark_auto_increment_column();
5679
  /* Mark virtual columns for insert */
Igor Babaev's avatar
Igor Babaev committed
5680
  mark_virtual_columns_for_write(TRUE);
5681 5682 5683 5684 5685 5686 5687 5688 5689 5690 5691 5692 5693 5694 5695 5696 5697 5698 5699 5700 5701
}


/*
   @brief Mark a column as virtual used by the query

   @param field           the field for the column to be marked

   @details
     The function marks the column for 'field' as virtual (computed)
     in the bitmap vcol_set.
     If the column is marked for the first time the expression to compute
     the column is traversed and all columns that are occurred there are
     marked in the read_set of the table.

   @retval
     TRUE       if column is marked for the first time
   @retval
     FALSE      otherwise
*/

Sergei Golubchik's avatar
Sergei Golubchik committed
5702
bool TABLE::mark_virtual_col(Field *field)
5703 5704 5705
{
  bool res;
  DBUG_ASSERT(field->vcol_info);
Igor Babaev's avatar
Igor Babaev committed
5706
  if (!(res= bitmap_fast_test_and_set(vcol_set, field->field_index)))
5707 5708 5709 5710 5711 5712
  {
    Item *vcol_item= field->vcol_info->expr_item;
    DBUG_ASSERT(vcol_item);
    vcol_item->walk(&Item::register_field_in_read_map, 1, (uchar *) 0);
  }
  return res;
5713 5714
}

5715

5716 5717
/* 
  @brief Mark virtual columns for update/insert commands
Igor Babaev's avatar
Igor Babaev committed
5718 5719
    
  @param insert_fl    <-> virtual columns are marked for insert command 
5720 5721 5722 5723

  @details
    The function marks virtual columns used in a update/insert commands
    in the vcol_set bitmap.
Igor Babaev's avatar
Igor Babaev committed
5724 5725
    For an insert command a virtual column is always marked in write_set if
    it is a stored column.
5726 5727 5728 5729 5730 5731 5732 5733 5734 5735 5736 5737 5738 5739 5740 5741 5742 5743
    If a virtual column is from  write_set it is always marked in vcol_set.
    If a stored virtual column is not from write_set but it is computed
    through columns from write_set it is also marked in vcol_set, and,
    besides, it is added to write_set. 

  @return       void

  @note
    Let table t1 have columns a,b,c and let column c be a stored virtual 
    column computed through columns a and b. Then for the query
      UPDATE t1 SET a=1
    column c will be placed into vcol_set and into write_set while
    column b will be placed into read_set.
    If column c was a virtual column, but not a stored virtual column
    then it would not be added to any of the sets. Column b would not
    be added to read_set either.           
*/

Sergei Golubchik's avatar
Sergei Golubchik committed
5744
void TABLE::mark_virtual_columns_for_write(bool insert_fl)
5745 5746 5747 5748
{
  Field **vfield_ptr, *tmp_vfield;
  bool bitmap_updated= FALSE;

5749 5750 5751
  if (!vfield)
    return;

Igor Babaev's avatar
Igor Babaev committed
5752 5753 5754
  if (!vfield)
    return;

5755 5756 5757 5758 5759 5760 5761
  for (vfield_ptr= vfield; *vfield_ptr; vfield_ptr++)
  {
    tmp_vfield= *vfield_ptr;
    if (bitmap_is_set(write_set, tmp_vfield->field_index))
      bitmap_updated= mark_virtual_col(tmp_vfield);
    else if (tmp_vfield->stored_in_db)
    {
Igor Babaev's avatar
Igor Babaev committed
5762 5763 5764 5765 5766 5767 5768 5769 5770 5771 5772 5773 5774 5775 5776
      bool mark_fl= insert_fl;
      if (!mark_fl)
      {
        MY_BITMAP *save_read_set;
        Item *vcol_item= tmp_vfield->vcol_info->expr_item;
        DBUG_ASSERT(vcol_item);
        bitmap_clear_all(&tmp_set);
        save_read_set= read_set;
        read_set= &tmp_set;
        vcol_item->walk(&Item::register_field_in_read_map, 1, (uchar *) 0);
        read_set= save_read_set;
        bitmap_intersect(&tmp_set, write_set);
        mark_fl= !bitmap_is_clear_all(&tmp_set);
      }
      if (mark_fl)
5777 5778 5779 5780 5781 5782 5783 5784 5785 5786 5787
      {
        bitmap_set_bit(write_set, tmp_vfield->field_index);
        mark_virtual_col(tmp_vfield);
        bitmap_updated= TRUE;
      }
    } 
  }
  if (bitmap_updated)
    file->column_bitmaps_signal();
}

unknown's avatar
unknown committed
5788

5789
/**
5790 5791 5792 5793
  Check if a table has a default function either for INSERT or UPDATE-like
  operation
  @retval true  there is a default function
  @retval false there is no default function
5794 5795 5796 5797 5798 5799 5800 5801 5802 5803 5804 5805 5806 5807 5808 5809 5810 5811 5812 5813 5814
*/

bool TABLE::has_default_function(bool is_update)
{
  Field **dfield_ptr, *dfield;
  bool res= false;
  for (dfield_ptr= default_field; *dfield_ptr; dfield_ptr++)
  {
    dfield= (*dfield_ptr);
    if (is_update)
      res= dfield->has_update_default_function();
    else
      res= dfield->has_insert_default_function();
    if (res)
      return res;
  }
  return res;
}


/**
5815
  Add all fields that have a default function to the table write set.
5816 5817 5818 5819 5820 5821 5822 5823 5824
*/

void TABLE::mark_default_fields_for_write()
{
  Field **dfield_ptr, *dfield;
  enum_sql_command cmd= in_use->lex->sql_command;
  for (dfield_ptr= default_field; *dfield_ptr; dfield_ptr++)
  {
    dfield= (*dfield_ptr);
5825
    if (((sql_command_flags[cmd] & CF_INSERTS_DATA) &&
5826
         dfield->has_insert_default_function()) ||
5827
        ((sql_command_flags[cmd] & CF_UPDATES_DATA) &&
5828 5829 5830 5831 5832 5833
         dfield->has_update_default_function()))
      bitmap_set_bit(write_set, dfield->field_index);
  }
}


unknown's avatar
unknown committed
5834
/**
5835
  @brief
unknown's avatar
unknown committed
5836 5837
  Allocate space for keys

Igor Babaev's avatar
Igor Babaev committed
5838
  @param key_count  number of keys to allocate additionally
unknown's avatar
unknown committed
5839 5840

  @details
Igor Babaev's avatar
Igor Babaev committed
5841 5842
  The function allocates memory  to fit additionally 'key_count' keys 
  for this table.
unknown's avatar
unknown committed
5843

Igor Babaev's avatar
Igor Babaev committed
5844 5845
  @return FALSE   space was successfully allocated
  @return TRUE    an error occur
unknown's avatar
unknown committed
5846 5847 5848 5849
*/

bool TABLE::alloc_keys(uint key_count)
{
Igor Babaev's avatar
Igor Babaev committed
5850 5851 5852 5853 5854
  key_info= (KEY*) alloc_root(&mem_root, sizeof(KEY)*(s->keys+key_count));
  if (s->keys)
    memmove(key_info, s->key_info, sizeof(KEY)*s->keys);
  s->key_info= key_info;
  max_keys= s->keys+key_count;
unknown's avatar
unknown committed
5855 5856 5857 5858
  return !(key_info);
}


5859 5860
void TABLE::create_key_part_by_field(KEY *keyinfo,
                                     KEY_PART_INFO *key_part_info,
Igor Babaev's avatar
Igor Babaev committed
5861
                                     Field *field, uint fieldnr)
5862 5863 5864 5865 5866 5867
{   
  field->flags|= PART_KEY_FLAG;
  key_part_info->null_bit= field->null_bit;
  key_part_info->null_offset= (uint) (field->null_ptr -
                                      (uchar*) record[0]);
  key_part_info->field= field;
Igor Babaev's avatar
Igor Babaev committed
5868
  key_part_info->fieldnr= fieldnr;
5869 5870 5871 5872 5873 5874 5875 5876 5877 5878 5879 5880 5881 5882 5883 5884 5885 5886 5887 5888
  key_part_info->offset= field->offset(record[0]);
  key_part_info->length=   (uint16) field->pack_length();
  keyinfo->key_length+= key_part_info->length;
  key_part_info->key_part_flag= 0;
  /* TODO:
    The below method of computing the key format length of the
    key part is a copy/paste from opt_range.cc, and table.cc.
    This should be factored out, e.g. as a method of Field.
    In addition it is not clear if any of the Field::*_length
    methods is supposed to compute the same length. If so, it
    might be reused.
  */
  key_part_info->store_length= key_part_info->length;

  if (field->real_maybe_null())
  {
    key_part_info->store_length+= HA_KEY_NULL_LENGTH;
    keyinfo->key_length+= HA_KEY_NULL_LENGTH;
  }
  if (field->type() == MYSQL_TYPE_BLOB || 
5889
      field->type() == MYSQL_TYPE_GEOMETRY ||
5890 5891 5892 5893 5894 5895 5896 5897 5898 5899 5900 5901 5902 5903 5904 5905 5906
      field->real_type() == MYSQL_TYPE_VARCHAR)
  {
    key_part_info->store_length+= HA_KEY_BLOB_LENGTH;
    keyinfo->key_length+= HA_KEY_BLOB_LENGTH; // ???
    key_part_info->key_part_flag|=
      field->type() == MYSQL_TYPE_BLOB ? HA_BLOB_PART: HA_VAR_LENGTH_PART;
  }

  key_part_info->type=     (uint8) field->key_type();
  key_part_info->key_type =
    ((ha_base_keytype) key_part_info->type == HA_KEYTYPE_TEXT ||
    (ha_base_keytype) key_part_info->type == HA_KEYTYPE_VARTEXT1 ||
    (ha_base_keytype) key_part_info->type == HA_KEYTYPE_VARTEXT2) ?
    0 : FIELDFLAG_BINARY;
}


unknown's avatar
unknown committed
5907
/**
5908 5909
  @brief
  Add one key to a temporary table
unknown's avatar
unknown committed
5910 5911 5912 5913 5914 5915

  @param key            the number of the key
  @param key_parts      number of components of the key
  @param next_field_no  the call-back function that returns the number of
                        the field used as the next component of the key
  @param arg            the argument for the above function
Igor Babaev's avatar
Igor Babaev committed
5916
  @param unique         TRUE <=> it is a unique index
unknown's avatar
unknown committed
5917 5918

  @details
Igor Babaev's avatar
Igor Babaev committed
5919 5920 5921
  The function adds a new key to the table that is assumed to be a temporary
  table. At each its invocation the call-back function must return
  the number of the field that is used as the next component of this key.
unknown's avatar
unknown committed
5922 5923 5924

  @return FALSE is a success
  @return TRUE if a failure
5925

unknown's avatar
unknown committed
5926 5927 5928
*/

bool TABLE::add_tmp_key(uint key, uint key_parts,
unknown's avatar
unknown committed
5929 5930
                        uint (*next_field_no) (uchar *), uchar *arg,
                        bool unique)
unknown's avatar
unknown committed
5931 5932 5933 5934 5935 5936 5937 5938 5939 5940 5941 5942 5943 5944 5945
{
  DBUG_ASSERT(key < max_keys);

  char buf[NAME_CHAR_LEN];
  KEY* keyinfo;
  Field **reg_field;
  uint i;
  bool key_start= TRUE;
  KEY_PART_INFO* key_part_info=
      (KEY_PART_INFO*) alloc_root(&mem_root, sizeof(KEY_PART_INFO)*key_parts);
  if (!key_part_info)
    return TRUE;
  keyinfo= key_info + key;
  keyinfo->key_part= key_part_info;
  keyinfo->usable_key_parts= keyinfo->key_parts = key_parts;
Igor Babaev's avatar
Igor Babaev committed
5946
  keyinfo->ext_key_parts= keyinfo->key_parts;
unknown's avatar
unknown committed
5947 5948 5949
  keyinfo->key_length=0;
  keyinfo->algorithm= HA_KEY_ALG_UNDEF;
  keyinfo->flags= HA_GENERATED_KEY;
Igor Babaev's avatar
Igor Babaev committed
5950
  keyinfo->ext_key_flags= keyinfo->flags;
5951
  keyinfo->is_statistics_from_stat_tables= FALSE;
unknown's avatar
unknown committed
5952 5953
  if (unique)
    keyinfo->flags|= HA_NOSAME;
unknown's avatar
unknown committed
5954 5955 5956 5957 5958 5959 5960 5961
  sprintf(buf, "key%i", key);
  if (!(keyinfo->name= strdup_root(&mem_root, buf)))
    return TRUE;
  keyinfo->rec_per_key= (ulong*) alloc_root(&mem_root,
                                            sizeof(ulong)*key_parts);
  if (!keyinfo->rec_per_key)
    return TRUE;
  bzero(keyinfo->rec_per_key, sizeof(ulong)*key_parts);
5962 5963
  keyinfo->read_stats= NULL;
  keyinfo->collected_stats= NULL;
5964

unknown's avatar
unknown committed
5965 5966
  for (i= 0; i < key_parts; i++)
  {
Igor Babaev's avatar
Igor Babaev committed
5967 5968
    uint fld_idx= next_field_no(arg); 
    reg_field= field + fld_idx;
unknown's avatar
unknown committed
5969 5970
    if (key_start)
      (*reg_field)->key_start.set_bit(key);
5971
    (*reg_field)->part_of_key.set_bit(key);
Igor Babaev's avatar
Igor Babaev committed
5972
    create_key_part_by_field(keyinfo, key_part_info, *reg_field, fld_idx+1);
unknown's avatar
unknown committed
5973 5974 5975
    key_start= FALSE;
    key_part_info++;
  }
5976

unknown's avatar
unknown committed
5977 5978 5979
  set_if_bigger(s->max_key_length, keyinfo->key_length);
  s->keys++;
  return FALSE;
5980 5981
}

5982 5983 5984 5985 5986 5987 5988 5989 5990 5991 5992 5993 5994 5995 5996 5997 5998 5999
/*
  @brief
  Drop all indexes except specified one.

  @param key_to_save the key to save

  @details
  Drop all indexes on this table except 'key_to_save'. The saved key becomes
  key #0. Memory occupied by key parts of dropped keys are freed.
  If the 'key_to_save' is negative then all keys are freed.
*/

void TABLE::use_index(int key_to_save)
{
  uint i= 1;
  DBUG_ASSERT(!created && key_to_save < (int)s->keys);
  if (key_to_save >= 0)
    /* Save the given key. */
Igor Babaev's avatar
Igor Babaev committed
6000
    memmove(key_info, key_info + key_to_save, sizeof(KEY));
6001 6002 6003 6004
  else
    /* Drop all keys; */
    i= 0;

Igor Babaev's avatar
Igor Babaev committed
6005
  s->keys= i;
6006
}
unknown's avatar
unknown committed
6007

6008 6009 6010 6011 6012 6013 6014
/*
  Return TRUE if the table is filled at execution phase 
  
  (and so, the optimizer must not do anything that depends on the contents of
   the table, like range analysis or constant table detection)
*/

Sergei Golubchik's avatar
Sergei Golubchik committed
6015
bool TABLE::is_filled_at_execution()
6016
{ 
unknown's avatar
unknown committed
6017 6018 6019 6020 6021 6022 6023
  /*
    pos_in_table_list == NULL for internal temporary tables because they
    do not have a corresponding table reference. Such tables are filled
    during execution.
  */
  return test(!pos_in_table_list ||
              pos_in_table_list->jtbm_subselect || 
6024
              pos_in_table_list->is_active_sjm());
6025 6026
}

6027

6028 6029 6030 6031 6032 6033 6034 6035 6036 6037 6038 6039 6040 6041
/**
  @brief
  Get actual number of key components

  @param keyinfo

  @details
  The function calculates actual number of key components, possibly including
  components of extended keys, taken into consideration by the optimizer for the
  key described by the parameter keyinfo.

  @return number of considered key components
*/ 

6042
uint TABLE::actual_n_key_parts(KEY *keyinfo)
6043 6044 6045 6046 6047 6048 6049 6050 6051 6052 6053 6054 6055 6056 6057 6058 6059 6060 6061
{
  return optimizer_flag(in_use, OPTIMIZER_SWITCH_EXTENDED_KEYS) ?
           keyinfo->ext_key_parts : keyinfo->key_parts;
}

 
/**
  @brief
  Get actual key flags for a table key 

  @param keyinfo

  @details
  The function finds out actual key flags taken into consideration by the
  optimizer for the key described by the parameter keyinfo.

  @return actual key flags
*/ 

6062
ulong TABLE::actual_key_flags(KEY *keyinfo)
6063 6064 6065 6066 6067 6068
{
  return optimizer_flag(in_use, OPTIMIZER_SWITCH_EXTENDED_KEYS) ?
           keyinfo->ext_key_flags : keyinfo->flags;
} 


6069 6070 6071 6072
/*
  Cleanup this table for re-execution.

  SYNOPSIS
6073
    TABLE_LIST::reinit_before_use()
6074 6075
*/

6076
void TABLE_LIST::reinit_before_use(THD *thd)
6077 6078 6079 6080 6081 6082
{
  /*
    Reset old pointers to TABLEs: they are not valid since the tables
    were closed in the end of previous prepare or execute call.
  */
  table= 0;
6083
  /* Reset is_schema_table_processed value(needed for I_S tables */
6084
  schema_table_state= NOT_PROCESSED;
6085 6086

  TABLE_LIST *embedded; /* The table at the current level of nesting. */
6087
  TABLE_LIST *parent_embedding= this; /* The parent nested table reference. */
6088 6089
  do
  {
6090
    embedded= parent_embedding;
6091 6092
    if (embedded->prep_on_expr)
      embedded->on_expr= embedded->prep_on_expr->copy_andor_structure(thd);
6093
    parent_embedding= embedded->embedding;
6094
  }
6095 6096
  while (parent_embedding &&
         parent_embedding->nested_join->join_list.head() == embedded);
Konstantin Osipov's avatar
Konstantin Osipov committed
6097 6098

  mdl_request.ticket= NULL;
6099 6100
}

6101

unknown's avatar
unknown committed
6102 6103 6104 6105
/*
  Return subselect that contains the FROM list this table is taken from

  SYNOPSIS
6106
    TABLE_LIST::containing_subselect()
unknown's avatar
unknown committed
6107 6108 6109 6110 6111 6112 6113 6114
 
  RETURN
    Subselect item for the subquery that contains the FROM list
    this table is taken from if there is any
    0 - otherwise

*/

6115
Item_subselect *TABLE_LIST::containing_subselect()
unknown's avatar
unknown committed
6116 6117 6118
{    
  return (select_lex ? select_lex->master_unit()->item : 0);
}
6119

6120 6121 6122 6123 6124 6125 6126 6127 6128
/*
  Compiles the tagged hints list and fills up the bitmasks.

  SYNOPSIS
    process_index_hints()
      table         the TABLE to operate on.

  DESCRIPTION
    The parser collects the index hints for each table in a "tagged list" 
6129
    (TABLE_LIST::index_hints). Using the information in this tagged list
Sergei Golubchik's avatar
Sergei Golubchik committed
6130 6131 6132 6133
    this function sets the members TABLE::keys_in_use_for_query,
    TABLE::keys_in_use_for_group_by, TABLE::keys_in_use_for_order_by,
    TABLE::force_index, TABLE::force_index_order,
    TABLE::force_index_group and TABLE::covering_keys.
6134 6135 6136 6137 6138 6139 6140 6141 6142 6143 6144 6145 6146 6147 6148 6149 6150 6151 6152 6153 6154 6155 6156 6157 6158 6159 6160 6161 6162 6163 6164 6165 6166 6167 6168 6169 6170 6171

    Current implementation of the runtime does not allow mixing FORCE INDEX
    and USE INDEX, so this is checked here. Then the FORCE INDEX list 
    (if non-empty) is appended to the USE INDEX list and a flag is set.

    Multiple hints of the same kind are processed so that each clause 
    is applied to what is computed in the previous clause.
    For example:
        USE INDEX (i1) USE INDEX (i2)
    is equivalent to
        USE INDEX (i1,i2)
    and means "consider only i1 and i2".
        
    Similarly
        USE INDEX () USE INDEX (i1)
    is equivalent to
        USE INDEX (i1)
    and means "consider only the index i1"

    It is OK to have the same index several times, e.g. "USE INDEX (i1,i1)" is
    not an error.
        
    Different kind of hints (USE/FORCE/IGNORE) are processed in the following
    order:
      1. All indexes in USE (or FORCE) INDEX are added to the mask.
      2. All IGNORE INDEX

    e.g. "USE INDEX i1, IGNORE INDEX i1, USE INDEX i1" will not use i1 at all
    as if we had "USE INDEX i1, USE INDEX i1, IGNORE INDEX i1".

    As an optimization if there is a covering index, and we have 
    IGNORE INDEX FOR GROUP/ORDER, and this index is used for the JOIN part, 
    then we have to ignore the IGNORE INDEX FROM GROUP/ORDER.

  RETURN VALUE
    FALSE                no errors found
    TRUE                 found and reported an error.
*/
6172
bool TABLE_LIST::process_index_hints(TABLE *tbl)
6173 6174
{
  /* initialize the result variables */
6175 6176
  tbl->keys_in_use_for_query= tbl->keys_in_use_for_group_by= 
    tbl->keys_in_use_for_order_by= tbl->s->keys_in_use;
6177 6178 6179 6180 6181 6182 6183

  /* index hint list processing */
  if (index_hints)
  {
    key_map index_join[INDEX_HINT_FORCE + 1];
    key_map index_order[INDEX_HINT_FORCE + 1];
    key_map index_group[INDEX_HINT_FORCE + 1];
unknown's avatar
unknown committed
6184
    Index_hint *hint;
6185 6186 6187
    int type;
    bool have_empty_use_join= FALSE, have_empty_use_order= FALSE, 
         have_empty_use_group= FALSE;
unknown's avatar
unknown committed
6188
    List_iterator <Index_hint> iter(*index_hints);
6189 6190 6191 6192 6193 6194 6195 6196 6197 6198 6199 6200 6201 6202 6203 6204 6205 6206 6207 6208 6209 6210 6211 6212 6213 6214 6215 6216 6217 6218 6219 6220 6221 6222 6223 6224 6225 6226 6227

    /* initialize temporary variables used to collect hints of each kind */
    for (type= INDEX_HINT_IGNORE; type <= INDEX_HINT_FORCE; type++)
    {
      index_join[type].clear_all();
      index_order[type].clear_all();
      index_group[type].clear_all();
    }

    /* iterate over the hints list */
    while ((hint= iter++))
    {
      uint pos;

      /* process empty USE INDEX () */
      if (hint->type == INDEX_HINT_USE && !hint->key_name.str)
      {
        if (hint->clause & INDEX_HINT_MASK_JOIN)
        {
          index_join[hint->type].clear_all();
          have_empty_use_join= TRUE;
        }
        if (hint->clause & INDEX_HINT_MASK_ORDER)
        {
          index_order[hint->type].clear_all();
          have_empty_use_order= TRUE;
        }
        if (hint->clause & INDEX_HINT_MASK_GROUP)
        {
          index_group[hint->type].clear_all();
          have_empty_use_group= TRUE;
        }
        continue;
      }

      /* 
        Check if an index with the given name exists and get his offset in 
        the keys bitmask for the table 
      */
6228 6229
      if (tbl->s->keynames.type_names == 0 ||
          (pos= find_type(&tbl->s->keynames, hint->key_name.str,
6230 6231 6232 6233 6234 6235 6236 6237 6238 6239 6240 6241 6242 6243 6244 6245 6246 6247 6248 6249 6250 6251 6252 6253 6254 6255 6256 6257 6258 6259 6260
                          hint->key_name.length, 1)) <= 0)
      {
        my_error(ER_KEY_DOES_NOT_EXITS, MYF(0), hint->key_name.str, alias);
        return 1;
      }

      pos--;

      /* add to the appropriate clause mask */
      if (hint->clause & INDEX_HINT_MASK_JOIN)
        index_join[hint->type].set_bit (pos);
      if (hint->clause & INDEX_HINT_MASK_ORDER)
        index_order[hint->type].set_bit (pos);
      if (hint->clause & INDEX_HINT_MASK_GROUP)
        index_group[hint->type].set_bit (pos);
    }

    /* cannot mix USE INDEX and FORCE INDEX */
    if ((!index_join[INDEX_HINT_FORCE].is_clear_all() ||
         !index_order[INDEX_HINT_FORCE].is_clear_all() ||
         !index_group[INDEX_HINT_FORCE].is_clear_all()) &&
        (!index_join[INDEX_HINT_USE].is_clear_all() ||  have_empty_use_join ||
         !index_order[INDEX_HINT_USE].is_clear_all() || have_empty_use_order ||
         !index_group[INDEX_HINT_USE].is_clear_all() || have_empty_use_group))
    {
      my_error(ER_WRONG_USAGE, MYF(0), index_hint_type_name[INDEX_HINT_USE],
               index_hint_type_name[INDEX_HINT_FORCE]);
      return 1;
    }

    /* process FORCE INDEX as USE INDEX with a flag */
6261 6262 6263 6264 6265 6266 6267 6268 6269 6270 6271 6272 6273 6274 6275 6276 6277
    if (!index_order[INDEX_HINT_FORCE].is_clear_all())
    {
      tbl->force_index_order= TRUE;
      index_order[INDEX_HINT_USE].merge(index_order[INDEX_HINT_FORCE]);
    }

    if (!index_group[INDEX_HINT_FORCE].is_clear_all())
    {
      tbl->force_index_group= TRUE;
      index_group[INDEX_HINT_USE].merge(index_group[INDEX_HINT_FORCE]);
    }

    /*
      TODO: get rid of tbl->force_index (on if any FORCE INDEX is specified) and
      create tbl->force_index_join instead.
      Then use the correct force_index_XX instead of the global one.
    */
6278
    if (!index_join[INDEX_HINT_FORCE].is_clear_all() ||
6279
        tbl->force_index_group || tbl->force_index_order)
6280
    {
6281
      tbl->force_index= TRUE;
6282 6283 6284 6285 6286
      index_join[INDEX_HINT_USE].merge(index_join[INDEX_HINT_FORCE]);
    }

    /* apply USE INDEX */
    if (!index_join[INDEX_HINT_USE].is_clear_all() || have_empty_use_join)
6287
      tbl->keys_in_use_for_query.intersect(index_join[INDEX_HINT_USE]);
6288
    if (!index_order[INDEX_HINT_USE].is_clear_all() || have_empty_use_order)
6289
      tbl->keys_in_use_for_order_by.intersect (index_order[INDEX_HINT_USE]);
6290
    if (!index_group[INDEX_HINT_USE].is_clear_all() || have_empty_use_group)
6291
      tbl->keys_in_use_for_group_by.intersect (index_group[INDEX_HINT_USE]);
6292 6293

    /* apply IGNORE INDEX */
6294 6295 6296
    tbl->keys_in_use_for_query.subtract (index_join[INDEX_HINT_IGNORE]);
    tbl->keys_in_use_for_order_by.subtract (index_order[INDEX_HINT_IGNORE]);
    tbl->keys_in_use_for_group_by.subtract (index_group[INDEX_HINT_IGNORE]);
6297 6298 6299
  }

  /* make sure covering_keys don't include indexes disabled with a hint */
6300
  tbl->covering_keys.intersect(tbl->keys_in_use_for_query);
6301 6302 6303
  return 0;
}

6304 6305 6306 6307 6308 6309 6310 6311 6312 6313 6314 6315 6316 6317 6318 6319 6320 6321

size_t max_row_length(TABLE *table, const uchar *data)
{
  TABLE_SHARE *table_s= table->s;
  size_t length= table_s->reclength + 2 * table_s->fields;
  uint *const beg= table_s->blob_field;
  uint *const end= beg + table_s->blob_fields;

  for (uint *ptr= beg ; ptr != end ; ++ptr)
  {
    Field_blob* const blob= (Field_blob*) table->field[*ptr];
    length+= blob->get_length((const uchar*)
                              (data + blob->offset(table->record[0]))) +
      HA_KEY_BLOB_LENGTH;
  }
  return length;
}

6322 6323 6324 6325 6326 6327

/**
   Helper function which allows to allocate metadata lock request
   objects for all elements of table list.
*/

Konstantin Osipov's avatar
Konstantin Osipov committed
6328
void init_mdl_requests(TABLE_LIST *table_list)
6329 6330
{
  for ( ; table_list ; table_list= table_list->next_global)
Konstantin Osipov's avatar
Konstantin Osipov committed
6331 6332
    table_list->mdl_request.init(MDL_key::TABLE,
                                 table_list->db, table_list->table_name,
6333
                                 table_list->lock_type >= TL_WRITE_ALLOW_WRITE ?
6334 6335
                                 MDL_SHARED_WRITE : MDL_SHARED_READ,
                                 MDL_TRANSACTION);
6336 6337 6338
}


6339 6340 6341 6342 6343 6344 6345 6346 6347 6348 6349 6350 6351 6352 6353 6354 6355 6356 6357 6358 6359 6360 6361 6362 6363 6364 6365 6366 6367 6368 6369 6370 6371 6372 6373 6374 6375 6376 6377 6378 6379 6380 6381 6382 6383 6384 6385 6386 6387 6388 6389 6390 6391 6392
/**
  Update TABLE::const_key_parts for single table UPDATE/DELETE query

  @param conds               WHERE clause expression

  @retval TRUE   error (OOM)
  @retval FALSE  success

  @note
    Set const_key_parts bits if key fields are equal to constants in
    the WHERE expression.
*/

bool TABLE::update_const_key_parts(COND *conds)
{
  bzero((char*) const_key_parts, sizeof(key_part_map) * s->keys);

  if (conds == NULL)
    return FALSE;

  for (uint index= 0; index < s->keys; index++)
  {
    KEY_PART_INFO *keyinfo= key_info[index].key_part;
    KEY_PART_INFO *keyinfo_end= keyinfo + key_info[index].key_parts;

    for (key_part_map part_map= (key_part_map)1; 
        keyinfo < keyinfo_end;
        keyinfo++, part_map<<= 1)
    {
      if (const_expression_in_where(conds, NULL, keyinfo->field))
        const_key_parts[index]|= part_map;
    }
  }
  return FALSE;
}

/**
  Test if the order list consists of simple field expressions

  @param order                Linked list of ORDER BY arguments

  @return TRUE if @a order is empty or consist of simple field expressions
*/

bool is_simple_order(ORDER *order)
{
  for (ORDER *ord= order; ord; ord= ord->next)
  {
    if (ord->item[0]->real_item()->type() != Item::FIELD_ITEM)
      return FALSE;
  }
  return TRUE;
}

6393 6394 6395
/*
  @brief Compute values for virtual columns used in query

Igor Babaev's avatar
Igor Babaev committed
6396
  @param  thd              Thread handle
6397
  @param  table            The TABLE object
Igor Babaev's avatar
Igor Babaev committed
6398
  @param  vcol_update_mode Specifies what virtual column are computed   
6399 6400 6401 6402
  
  @details
    The function computes the values of the virtual columns of the table and
    stores them in the table record buffer.
Igor Babaev's avatar
Igor Babaev committed
6403 6404 6405 6406 6407 6408
    If vcol_update_mode is set to VCOL_UPDATE_ALL then all virtual column are
    computed. Otherwise, only fields from vcol_set are computed: all of them,
    if vcol_update_mode is set to VCOL_UPDATE_FOR_WRITE, and, only those with
    the stored_in_db flag set to false, if vcol_update_mode is equal to
    VCOL_UPDATE_FOR_READ.

6409 6410 6411 6412 6413 6414
  @retval
    0    Success
  @retval
    >0   Error occurred when storing a virtual field value
*/

Igor Babaev's avatar
Igor Babaev committed
6415 6416
int update_virtual_fields(THD *thd, TABLE *table,
                          enum enum_vcol_update_mode vcol_update_mode)
6417 6418 6419
{
  DBUG_ENTER("update_virtual_fields");
  Field **vfield_ptr, *vfield;
6420
  int error __attribute__ ((unused))= 0;
Michael Widenius's avatar
Michael Widenius committed
6421
  DBUG_ASSERT(table && table->vfield);
6422

Igor Babaev's avatar
Igor Babaev committed
6423
  thd->reset_arena_for_cached_items(table->expr_arena);
6424 6425 6426 6427 6428
  /* Iterate over virtual fields in the table */
  for (vfield_ptr= table->vfield; *vfield_ptr; vfield_ptr++)
  {
    vfield= (*vfield_ptr);
    DBUG_ASSERT(vfield->vcol_info && vfield->vcol_info->expr_item);
Igor Babaev's avatar
Igor Babaev committed
6429 6430 6431
    if ((bitmap_is_set(table->vcol_set, vfield->field_index) &&
         (vcol_update_mode == VCOL_UPDATE_FOR_WRITE || !vfield->stored_in_db)) ||
        vcol_update_mode == VCOL_UPDATE_ALL)
6432 6433 6434 6435 6436 6437 6438 6439 6440 6441
    {
      /* Compute the actual value of the virtual fields */
      error= vfield->vcol_info->expr_item->save_in_field(vfield, 0);
      DBUG_PRINT("info", ("field '%s' - updated", vfield->field_name));
    }
    else
    {
      DBUG_PRINT("info", ("field '%s' - skipped", vfield->field_name));
    }
  }
Igor Babaev's avatar
Igor Babaev committed
6442
  thd->reset_arena_for_cached_items(0);
6443 6444
  DBUG_RETURN(0);
}
6445

6446 6447 6448 6449 6450

/**
  Update all DEFAULT and/or ON INSERT fields.

  @details
6451 6452 6453 6454 6455
    Compute and set the default value of all fields with a default function.
    There are two kinds of default functions - one is used for INSERT-like
    operations, the other for UPDATE-like operations. Depending on the field
    definition and the current operation one or the other kind of update
    function is evaluated.
6456 6457 6458 6459 6460 6461 6462 6463 6464 6465 6466 6467 6468 6469 6470

  @retval
    0    Success
  @retval
    >0   Error occurred when storing a virtual field value
*/

int TABLE::update_default_fields()
{
  DBUG_ENTER("update_default_fields");
  Field **dfield_ptr, *dfield;
  int res= 0;
  enum_sql_command cmd= in_use->lex->sql_command;

  DBUG_ASSERT(default_field);
6471

6472 6473 6474 6475 6476 6477 6478 6479
  /* Iterate over virtual fields in the table */
  for (dfield_ptr= default_field; *dfield_ptr; dfield_ptr++)
  {
    dfield= (*dfield_ptr);
    /*
      If an explicit default value for a filed overrides the default,
      do not update the field with its automatic default value.
    */
6480
    if (!(dfield->flags & HAS_EXPLICIT_VALUE))
6481 6482 6483 6484 6485 6486 6487 6488 6489
    {
      if (sql_command_flags[cmd] & CF_INSERTS_DATA)
        res= dfield->evaluate_insert_default_function();
      if (sql_command_flags[cmd] & CF_UPDATES_DATA)
        res= dfield->evaluate_update_default_function();
      if (res)
        DBUG_RETURN(res);
    }
    /* Unset the explicit default flag for the next record. */
6490
    dfield->flags&= ~HAS_EXPLICIT_VALUE;
6491 6492 6493 6494 6495
  }
  DBUG_RETURN(res);
}


6496 6497 6498 6499 6500 6501 6502 6503 6504 6505 6506 6507 6508 6509 6510 6511 6512 6513 6514 6515 6516 6517 6518 6519 6520 6521 6522 6523 6524 6525 6526 6527 6528 6529 6530 6531 6532 6533
/*
  @brief Reset const_table flag

  @detail
  Reset const_table flag for this table. If this table is a merged derived
  table/view the flag is recursively reseted for all tables of the underlying
  select.
*/

void TABLE_LIST::reset_const_table()
{
  table->const_table= 0;
  if (is_merged_derived())
  {
    SELECT_LEX *select_lex= get_unit()->first_select();
    TABLE_LIST *tl;
    List_iterator<TABLE_LIST> ti(select_lex->leaf_tables);
    while ((tl= ti++))
      tl->reset_const_table();
  }
}


/*
  @brief Run derived tables/view handling phases on underlying select_lex.

  @param lex    LEX for this thread
  @param phases derived tables/views handling phases to run
                (set of DT_XXX constants)
  @details
  This function runs this derived table through specified 'phases'.
  Underlying tables of this select are handled prior to this derived.
  'lex' is passed as an argument to called functions.

  @return TRUE on error
  @return FALSE ok
*/

Sergei Golubchik's avatar
Sergei Golubchik committed
6534
bool TABLE_LIST::handle_derived(LEX *lex, uint phases)
6535 6536 6537 6538 6539 6540 6541 6542 6543 6544 6545 6546 6547 6548 6549 6550 6551 6552 6553 6554 6555 6556 6557 6558 6559 6560 6561 6562 6563 6564 6565 6566 6567 6568 6569 6570 6571 6572 6573 6574 6575 6576 6577 6578 6579 6580 6581 6582 6583 6584 6585 6586 6587 6588 6589 6590 6591 6592 6593 6594 6595 6596 6597 6598 6599 6600 6601 6602 6603 6604 6605 6606 6607 6608 6609 6610 6611 6612 6613 6614 6615 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 6633 6634 6635 6636 6637
{
  SELECT_LEX_UNIT *unit= get_unit();
  if (unit)
  {
    for (SELECT_LEX *sl= unit->first_select(); sl; sl= sl->next_select())
      if (sl->handle_derived(lex, phases))
        return TRUE;
    return mysql_handle_single_derived(lex, this, phases);
  }
  return FALSE;
}


/**
  @brief
  Return unit of this derived table/view

  @return reference to a unit  if it's a derived table/view.
  @return 0                    when it's not a derived table/view.
*/

st_select_lex_unit *TABLE_LIST::get_unit()
{
  return (view ? &view->unit : derived);
}


/**
  @brief
  Return select_lex of this derived table/view

  @return select_lex of this derived table/view.
  @return 0          when it's not a derived table.
*/

st_select_lex *TABLE_LIST::get_single_select()
{
  SELECT_LEX_UNIT *unit= get_unit();
  return (unit ? unit->first_select() : 0);
}


/**
  @brief
  Attach a join table list as a nested join to this TABLE_LIST.

  @param join_list join table list to attach

  @details
  This function wraps 'join_list' into a nested_join of this table, thus
  turning it to a nested join leaf.
*/

void TABLE_LIST::wrap_into_nested_join(List<TABLE_LIST> &join_list)
{
  TABLE_LIST *tl;
  /*
    Walk through derived table top list and set 'embedding' to point to
    the nesting table.
  */
  nested_join->join_list.empty();
  List_iterator_fast<TABLE_LIST> li(join_list);
  nested_join->join_list= join_list;
  while ((tl= li++))
  {
    tl->embedding= this;
    tl->join_list= &nested_join->join_list;
  }
}


/**
  @brief
  Initialize this derived table/view

  @param thd  Thread handle

  @details
  This function makes initial preparations of this derived table/view for
  further processing:
    if it's a derived table this function marks it either as mergeable or
      materializable
    creates temporary table for name resolution purposes
    creates field translation for mergeable derived table/view

  @return TRUE  an error occur
  @return FALSE ok
*/

bool TABLE_LIST::init_derived(THD *thd, bool init_view)
{
  SELECT_LEX *first_select= get_single_select();
  SELECT_LEX_UNIT *unit= get_unit();

  if (!unit)
    return FALSE;
  /*
    Check whether we can merge this derived table into main select.
    Depending on the result field translation will or will not
    be created.
  */
  TABLE_LIST *first_table= (TABLE_LIST *) first_select->table_list.first;
  if (first_select->table_list.elements > 1 ||
6638
      (first_table && first_table->is_multitable()))
6639 6640 6641 6642 6643 6644 6645 6646 6647 6648 6649 6650
    set_multitable();

  unit->derived= this;
  if (init_view && !view)
  {
    /* This is all what we can do for a derived table for now. */
    set_derived();
  }

  if (!is_view())
  {
    /* A subquery might be forced to be materialized due to a side-effect. */
6651
    if (!is_materialized_derived() && first_select->is_mergeable() &&
6652
        optimizer_flag(thd, OPTIMIZER_SWITCH_DERIVED_MERGE) &&
6653
        !(thd->lex->sql_command == SQLCOM_UPDATE_MULTI ||
6654
          thd->lex->sql_command == SQLCOM_DELETE_MULTI))
6655 6656 6657 6658 6659 6660 6661 6662 6663 6664
      set_merged_derived();
    else
      set_materialized_derived();
  }
  /*
    Derived tables/view are materialized prior to UPDATE, thus we can skip
    them from table uniqueness check
  */
  if (is_materialized_derived())
  {
6665
    set_check_materialized();
6666
  }
6667

6668 6669 6670 6671 6672 6673 6674 6675 6676 6677 6678 6679 6680 6681 6682 6683 6684 6685 6686 6687 6688 6689 6690 6691 6692 6693 6694 6695 6696 6697 6698 6699
  /*
    Create field translation for mergeable derived tables/views.
    For derived tables field translation can be created only after
    unit is prepared so all '*' are get unrolled.
  */
  if (is_merged_derived())
  {
    if (is_view() || unit->prepared)
      create_field_translation(thd);
  }

  return FALSE;
}


/**
  @brief
  Retrieve number of rows in the table

  @details
  Retrieve number of rows in the table referred by this TABLE_LIST and
  store it in the table's stats.records variable. If this TABLE_LIST refers
  to a materialized derived table/view then the estimated number of rows of
  the derived table/view is used instead.

  @return 0          ok
  @return non zero   error
*/

int TABLE_LIST::fetch_number_of_rows()
{
  int error= 0;
6700 6701
  if (jtbm_subselect)
    return 0;
6702 6703 6704 6705 6706
  if (is_materialized_derived() && !fill_me)

  {
    table->file->stats.records= ((select_union*)derived->result)->records;
    set_if_bigger(table->file->stats.records, 2);
6707
    table->used_stat_records= table->file->stats.records;
6708 6709 6710 6711 6712 6713 6714 6715 6716 6717 6718 6719 6720 6721 6722 6723 6724 6725 6726 6727 6728 6729 6730 6731 6732 6733 6734 6735 6736 6737 6738 6739 6740 6741 6742 6743 6744 6745 6746 6747 6748 6749 6750 6751 6752 6753 6754 6755 6756 6757 6758 6759 6760 6761 6762 6763 6764 6765 6766 6767 6768 6769 6770 6771 6772 6773 6774 6775 6776 6777 6778 6779 6780 6781 6782 6783
  }
  else
    error= table->file->info(HA_STATUS_VARIABLE | HA_STATUS_NO_LOCK);
  return error;
}

/*
  Procedure of keys generation for result tables of materialized derived
  tables/views.

  A key is generated for each equi-join pair derived table-another table.
  Each generated key consists of fields of derived table used in equi-join.
  Example:

    SELECT * FROM (SELECT * FROM t1 GROUP BY 1) tt JOIN
                  t1 ON tt.f1=t1.f3 and tt.f2.=t1.f4;
  In this case for the derived table tt one key will be generated. It will
  consist of two parts f1 and f2.
  Example:

    SELECT * FROM (SELECT * FROM t1 GROUP BY 1) tt JOIN
                  t1 ON tt.f1=t1.f3 JOIN
                  t2 ON tt.f2=t2.f4;
  In this case for the derived table tt two keys will be generated.
  One key over f1 field, and another key over f2 field.
  Currently optimizer may choose to use only one such key, thus the second
  one will be dropped after range optimizer is finished.
  See also JOIN::drop_unused_derived_keys function.
  Example:

    SELECT * FROM (SELECT * FROM t1 GROUP BY 1) tt JOIN
                  t1 ON tt.f1=a_function(t1.f3);
  In this case for the derived table tt one key will be generated. It will
  consist of one field - f1.
*/



/*
  @brief
  Change references to underlying items of a merged derived table/view
  for fields in derived table's result table.

  @return FALSE ok
  @return TRUE  Out of memory
*/
bool TABLE_LIST::change_refs_to_fields()
{
  List_iterator<Item> li(used_items);
  Item_direct_ref *ref;
  Field_iterator_view field_it;
  THD *thd= table->in_use;
  DBUG_ASSERT(is_merged_derived());

  if (!used_items.elements)
    return FALSE;

  materialized_items= (Item**)thd->calloc(sizeof(void*) * table->s->fields);

  while ((ref= (Item_direct_ref*)li++))
  {
    uint idx;
    Item *orig_item= *ref->ref;
    field_it.set(this);
    for (idx= 0; !field_it.end_of_fields(); field_it.next(), idx++)
    {
      if (field_it.item() == orig_item)
        break;
    }
    DBUG_ASSERT(!field_it.end_of_fields());
    if (!materialized_items[idx])
    {
      materialized_items[idx]= new Item_field(table->field[idx]);
      if (!materialized_items[idx])
        return TRUE;
    }
unknown's avatar
unknown committed
6784 6785 6786 6787
    /*
      We need to restore the pointers after the execution of the
      prepared statement.
    */
unknown's avatar
unknown committed
6788 6789
    thd->change_item_tree((Item **)&ref->ref,
                          (Item*)(materialized_items + idx));
6790 6791 6792 6793 6794 6795
  }

  return FALSE;
}


6796 6797 6798 6799 6800 6801 6802 6803
uint TABLE_SHARE::actual_n_key_parts(THD *thd)
{
  return use_ext_keys &&
         optimizer_flag(thd, OPTIMIZER_SWITCH_EXTENDED_KEYS) ?
           ext_key_parts : key_parts;
}  


6804
double KEY::actual_rec_per_key(uint i)
6805 6806 6807 6808 6809 6810 6811
{ 
  if (rec_per_key == 0)
    return 0;
  return (is_statistics_from_stat_tables ?
          read_stats->get_avg_frequency(i) : (double) rec_per_key[i]);
}