GH-51043: [Python] Reject null required Arrow objects - #51161
Conversation
Generated-by: GitHub Copilot CLI (GPT-5.6 Sol) Signed-off-by: 1fanwang <1fannnw@gmail.com>
|
|
There was a problem hiding this comment.
🟡 Changes recommended
DictionaryArray.from_buffers() still allows dictionary=None while dereferencing it unconditionally, so a None argument can still trigger a crash.
Once you've addressed the issues Copilot identified, you can request another Copilot review.
Pull request overview
This PR hardens several PyArrow Cython entry points by rejecting None for required Arrow extension objects, preventing null C++ pointer dereferences that can segfault the Python interpreter (GH-51043).
Changes:
- Mark required
Schema,FileFormat, andDataTypeparameters as non-nullable (not None) at the Cython boundary to raiseTypeErrorinstead of crashing. - Add an explicit
Nonecheck forFileSystemDatasetfragments before unwrapping. - Add focused regression tests covering the newly rejected
Nonearguments.
File summaries
| File | Description |
|---|---|
| python/pyarrow/_dataset.pyx | Reject None fragments and make schema/format non-nullable in FileSystemDataset. |
| python/pyarrow/_parquet.pyx | Make SortingColumn conversion helpers reject schema=None at the boundary. |
| python/pyarrow/array.pxi | Make DictionaryArray.from_buffers reject type=None at the boundary. |
| python/pyarrow/tests/test_dataset.py | Add regression assertions for FileSystemDataset(..., schema=None/format=None) and [None] fragments. |
| python/pyarrow/tests/parquet/test_metadata.py | Add regression assertions for SortingColumn.* with schema=None. |
| python/pyarrow/tests/test_array.py | Add regression assertion for DictionaryArray.from_buffers(type=None, ...). |
Review details
- Files reviewed: 6/6 changed files
- Comments generated: 1
- Review effort level: Lite
💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.
Generated-by: GitHub Copilot CLI (GPT-5.6 Sol) Signed-off-by: 1fanwang <1fannnw@gmail.com>
|
|
There was a problem hiding this comment.
🟢 Approval recommended
The changes directly address the null-dereference crash at the Cython boundary and are covered by targeted regression tests for the reported cases.
Review details
- Files reviewed: 6/6 changed files
- Comments generated: 0 new
- Review effort level: Lite
AlenkaF
left a comment
There was a problem hiding this comment.
Are there any other instances of this pattern anywhere else in the Cython bindings? They might produce other errors (like AttributeError) but would still benefit from similar change.
| @staticmethod | ||
| def from_buffers(DataType type, int64_t length, buffers, Array dictionary, | ||
| int64_t null_count=-1, int64_t offset=0): | ||
| def from_buffers(DataType type not None, int64_t length, buffers, |
There was a problem hiding this comment.
Would it make sense to also update other from_buffer() methods (base Array class too)?
Ah, ok, there is another PR aiming at other files in PyArrow: #51163 For future work we could try keeping the number of PRs down and tackle similar issues in one. |
Signed-off-by: 1fanwang <1fannnw@gmail.com>
|
|
Rationale for this change
Passing null values for required Arrow objects can terminate Python or raise an unrelated AttributeError. Array buffer constructors should reject missing types and child arrays with TypeError.
Fixes #51043.
What changes are included in this PR?
Required schema, file-format, data-type, dictionary, fragment, and child-array arguments reject null before use. The base Array and RunEndEncodedArray buffer constructors require a data type. String constructors retain their existing buffer validation, including null offsets for empty arrays.
Are these changes tested?
Native Arrow 26.0.0-SNAPSHOT reproduced the remaining AttributeErrors before the fix and TypeErrors afterward. The focused buffer tests include dictionary construction and both string variants.
Raw logs
Are there any user-facing changes?
Missing required objects raise TypeError. Valid null buffers keep their existing behavior.
New Contributor's Guide |
Contributing Overview |
AI-generated Code Guidance
None#51043