Skip to content

Fuzzing Crash: unknown in file_io#8018

Open
vortex-claude[bot] wants to merge 1 commit into
developfrom
claude/issue-7957-20260519-1039
Open

Fuzzing Crash: unknown in file_io#8018
vortex-claude[bot] wants to merge 1 commit into
developfrom
claude/issue-7957-20260519-1039

Conversation

@vortex-claude
Copy link
Copy Markdown

@vortex-claude vortex-claude Bot commented May 19, 2026

Fixes #7957

Generated with Claude Code.

View Claude run

When arrow_compare_arrays falls back to make_comparator for nested
types (struct, list, etc.), both sides were independently converted to
Arrow with target=None, letting each array choose its own nearest
physical type. A struct child backed by VarBinArray would produce
Binary while a VarBinViewArray child would produce BinaryView. Both
represent the same logical DType::Binary, but the assert_eq! on the
data types panicked.

Fix: convert lhs first (target=None) then use its Arrow DataType as
the target Field when converting rhs. This mirrors the non-nested fast
path which uses Datum::try_new_with_target_datatype for the same
reason, and removes the now-redundant assert.

Add a regression test that directly reproduces the fuzz crash pattern:
a struct with a VarBinArray child on the left and a VarBinViewArray
child on the right.

Fixes #7957

Signed-off-by: Claude <claude@anthropic.com>
Co-authored-by: Joe Isaacs <joseph-isaacs@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fuzzing Crash: unknown in file_io

1 participant