[jira] [Resolved] (IMPALA-11416) SlotRef::tuple_is_nullable_ uninitialised for struct children

["Quanlong Huang (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/IMPALA-11416?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Quanlong Huang resolved IMPALA-11416.
-------------------------------------
    Fix Version/s: Impala 4.2.0
       Resolution: Fixed

> SlotRef::tuple_is_nullable_ uninitialised for struct children
> -------------------------------------------------------------
>
>                 Key: IMPALA-11416
>                 URL: https://issues.apache.org/jira/browse/IMPALA-11416
>             Project: IMPALA
>          Issue Type: Bug
>          Components: Backend
>            Reporter: Daniel Becker
>            Assignee: Daniel Becker
>            Priority: Major
>             Fix For: Impala 4.2.0
>
>
> In {{SlotRef::Init}}, {{tuple_is_nullable_}} is only assigned a value if the {{SlotRef}} is not within a struct:
> {code:cpp}
> if (!slot_desc_->parent()->isTupleOfStructSlot()) {
>       tuple_is_nullable_ = row_desc.TupleIsNullable(tuple_idx_);
> }
> {code}
> https://github.com/apache/impala/blob/fefb9f24be1f99ac0077a8d6ef00834d8e90ef45/be/src/exprs/slot-ref.cc#L103
> Otherwise {{tuple_is_nullable_}} remains uninitialised, leading to undefined behaviour when it is read.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)