/* Copyright (c) 2002, 2024, Oracle and/or its affiliates. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License, version 2.0, as published by the Free Software Foundation. This program is designed to work with certain software (including but not limited to OpenSSL) that is licensed under separate terms, as designated in a particular file or component or in included license documentation. The authors of MySQL hereby grant you an additional permission to link the program and your derivative works with the separately licensed software that they have either included with the program or referenced in the documentation. 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, version 2.0, for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */ #include "sql/item_row.h" #include "my_alloc.h" // MEM_ROOT #include "my_dbug.h" #include "my_inttypes.h" #include "my_sys.h" #include "mysqld_error.h" #include "sql/current_thd.h" #include "sql/sql_class.h" // THD #include "sql/sql_lex.h" #include "sql/sql_list.h" #include "sql/thr_malloc.h" #include "sql_string.h" struct Parse_context; Item_row::Item_row(const POS &pos, Item *head, const mem_root_deque &tail) : super(pos), used_tables_cache(0), not_null_tables_cache(0), with_null(false) { set_data_type(MYSQL_TYPE_INVALID); arg_count = 1 + tail.size(); items = (*THR_MALLOC)->ArrayAlloc(arg_count); if (items == nullptr) { arg_count = 0; return; // OOM } items[0] = head; uint i = 1; for (Item *item : tail) { items[i++] = item; } } Item_row::Item_row(Item *head, const mem_root_deque &tail) : used_tables_cache(0), not_null_tables_cache(0), with_null(false) { set_data_type(MYSQL_TYPE_INVALID); // TODO: think placing 2-3 component items in item (as it done for function) arg_count = 1 + tail.size(); items = (*THR_MALLOC)->ArrayAlloc(arg_count); if (items == nullptr) { arg_count = 0; return; // OOM } items[0] = head; uint i = 1; for (Item *item : tail) { items[i] = item; i++; } } bool Item_row::do_itemize(Parse_context *pc, Item **res) { if (skip_itemize(res)) return false; if (super::do_itemize(pc, res)) return true; for (uint i = 0; i < arg_count; i++) { if (items[i]->itemize(pc, &items[i])) return true; } return false; } void Item_row::illegal_method_call(const char *method [[maybe_unused]]) const { DBUG_TRACE; DBUG_PRINT("error", ("!!! %s method was called for row item", method)); assert(0); my_error(ER_OPERAND_COLUMNS, MYF(0), 1); } bool Item_row::fix_fields(THD *thd, Item **) { assert(!fixed); null_value = false; set_nullable(false); bool types_assigned = true; Item **arg, **arg_end; for (arg = items, arg_end = items + arg_count; arg != arg_end; arg++) { if ((!(*arg)->fixed && (*arg)->fix_fields(thd, arg))) return true; // we can't assign 'item' before, because fix_fields() can change arg Item *item = *arg; used_tables_cache |= item->used_tables(); not_null_tables_cache |= item->not_null_tables(); types_assigned &= item->data_type() != MYSQL_TYPE_INVALID; if (const_item() && !thd->lex->is_view_context_analysis()) { if (item->cols() > 1) with_null |= item->null_inside(); else with_null |= item->is_null(); } // item->is_null() may have raised an error. if (thd->is_error()) return true; set_nullable(is_nullable() || item->is_nullable()); add_accum_properties(item); } if (types_assigned) set_data_type(MYSQL_TYPE_NULL); fixed = true; return false; } void Item_row::cleanup() { DBUG_TRACE; Item::cleanup(); } bool Item_row::split_sum_func(THD *thd, Ref_item_array ref_item_array, mem_root_deque *fields) { Item **arg, **arg_end; for (arg = items, arg_end = items + arg_count; arg != arg_end; arg++) { if ((*arg)->split_sum_func2(thd, ref_item_array, fields, arg, true)) { return true; } } return false; } void Item_row::update_used_tables() { used_tables_cache = 0; // Reset all flags except Grouping Set dependency m_accum_properties &= PROP_HAS_GROUPING_SET_DEP; not_null_tables_cache = 0; for (uint i = 0; i < arg_count; i++) { items[i]->update_used_tables(); used_tables_cache |= items[i]->used_tables(); not_null_tables_cache |= items[i]->not_null_tables(); add_accum_properties(items[i]); } } void Item_row::fix_after_pullout(Query_block *parent_query_block, Query_block *removed_query_block) { used_tables_cache = 0; not_null_tables_cache = 0; for (uint i = 0; i < arg_count; i++) { items[i]->fix_after_pullout(parent_query_block, removed_query_block); used_tables_cache |= items[i]->used_tables(); not_null_tables_cache |= items[i]->not_null_tables(); } } bool Item_row::propagate_type(THD *thd, const Type_properties &type) { assert(data_type() == MYSQL_TYPE_INVALID); for (uint i = 0; i < arg_count; i++) { if (items[i]->data_type() == MYSQL_TYPE_INVALID && items[i]->propagate_type(thd, type)) return true; } set_data_type(MYSQL_TYPE_NULL); return false; } bool Item_row::check_cols(uint c) { if (c != arg_count) { my_error(ER_OPERAND_COLUMNS, MYF(0), c); return true; } return false; } void Item_row::print(const THD *thd, String *str, enum_query_type query_type) const { str->append('('); for (uint i = 0; i < arg_count; i++) { if (i) str->append(','); items[i]->print(thd, str, query_type); } str->append(')'); } bool Item_row::walk(Item_processor processor, enum_walk walk, uchar *arg) { if ((walk & enum_walk::PREFIX) && (this->*processor)(arg)) return true; for (uint i = 0; i < arg_count; i++) { if (items[i]->walk(processor, walk, arg)) return true; } return (walk & enum_walk::POSTFIX) && (this->*processor)(arg); } Item *Item_row::transform(Item_transformer transformer, uchar *arg) { for (uint i = 0; i < arg_count; i++) { items[i] = items[i]->transform(transformer, arg); if (items[i] == nullptr) return nullptr; /* purecov: inspected */ } return (this->*transformer)(arg); } Item *Item_row::compile(Item_analyzer analyzer, uchar **arg_p, Item_transformer transformer, uchar *arg_t) { if (!(this->*analyzer)(arg_p)) return this; for (uint i = 0; i < arg_count; i++) { uchar *arg_v = *arg_p; Item *new_item = items[i]->compile(analyzer, &arg_v, transformer, arg_t); if (new_item == nullptr) return nullptr; if (items[i] != new_item) current_thd->change_item_tree(&items[i], new_item); } return (this->*transformer)(arg_t); } void Item_row::bring_value() { for (uint i = 0; i < arg_count; i++) items[i]->bring_value(); }