Commit a2503315 authored by Sergey Glukhov's avatar Sergey Glukhov

Bug#16095534 CRASH: PREPARED STATEMENT CRASHES IN ITEM_BOOL_FUNC2::FIX_LENGTH_AND_DEC

The problem happened due to broken left expression in Item_in_optimizer object.
In case of the bug left expression is runtime created Item_outer_ref item which
is deleted at the end of the statement and one of Item_in_optimizer arguments
becomes bad when re-executed. The fix is to use real_item() instead of original
left expression. Note: It feels a bit weird that after preparing, the field is
directly part of the generated Item_func_eq, whereas in execution it is replaced
with an Item_outer_ref wrapper object.
parent 068e6673
...@@ -1054,8 +1054,15 @@ Item_in_subselect::single_value_transformer(JOIN *join, ...@@ -1054,8 +1054,15 @@ Item_in_subselect::single_value_transformer(JOIN *join,
if (upper_item) if (upper_item)
upper_item->set_sub_test(item); upper_item->set_sub_test(item);
} }
/* fix fields is already called for left expression */ /*
substitution= func->create(left_expr, subs); fix fields is already called for left expression.
Note that real_item() should be used instead of
original left expression because left_expr can be
runtime created Ref item which is deleted at the end
of the statement. Thus one of 'substitution' arguments
can be broken in case of PS.
*/
substitution= func->create(left_expr->real_item(), subs);
DBUG_RETURN(RES_OK); DBUG_RETURN(RES_OK);
} }
...@@ -1249,8 +1256,16 @@ Item_in_subselect::single_value_transformer(JOIN *join, ...@@ -1249,8 +1256,16 @@ Item_in_subselect::single_value_transformer(JOIN *join,
// select and is not outer anymore. // select and is not outer anymore.
item->walk(&Item::remove_dependence_processor, 0, item->walk(&Item::remove_dependence_processor, 0,
(uchar *) select_lex->outer_select()); (uchar *) select_lex->outer_select());
item= func->create(left_expr, item); item= func->create(left_expr->real_item(), item);
// fix_field of item will be done in time of substituting /*
fix_field of substitution item will be done in time of
substituting.
Note that real_item() should be used instead of
original left expression because left_expr can be
runtime created Ref item which is deleted at the end
of the statement. Thus one of 'substitution' arguments
can be broken in case of PS.
*/
substitution= item; substitution= item;
have_to_be_excluded= 1; have_to_be_excluded= 1;
if (thd->lex->describe) if (thd->lex->describe)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment