GH-51223: [C++] Fix copying sliced boolean arrays

[A-makarim]

Rationale for this change

Boolean values are bit-packed. When copying values from a sliced boolean array,
the copy path did not include the array's slice offset. This caused
fill_null_forward, fill_null_backward, and replace_with_mask to read
values from earlier positions in the parent array.

What changes are included in this PR?

• Apply ArraySpan::offset to the bit index when copying boolean values from
  an ArraySpan.
• Add regression coverage for sliced boolean inputs in replace_with_mask,
  fill_null_forward, and fill_null_backward.

Are these changes tested?

Yes. I ran arrow-compute-vector-test locally.

Are there any user-facing changes?

Only a bugfix.

This PR contains a "Critical Fix".

This fixes a bug that caused compute operations on sliced boolean arrays with
a non-zero offset to produce incorrect values.

• GitHub Issue: [C++] fill_null_forward, fill_null_backward and replace_with_mask read the wrong bits on a sliced boolean array #51223

[github-actions]

⚠️ GitHub issue #51223 has no components, please add labels for components.

[Copilot]

🟢 Approval recommended

The boolean ArraySpan copy now correctly accounts for slice offsets and the added regression tests directly cover the reported failure modes.

Pull request overview

Fixes incorrect bit indexing when copying from sliced boolean ArraySpans by ensuring the slice offset is applied during bitmap copies, and adds regression tests covering the affected compute kernels.

Changes:

• Apply ArraySpan::offset to the bit index when copying boolean values via CopyDataUtils<BooleanType>.
• Add regression tests for sliced boolean inputs in replace_with_mask, fill_null_forward, and fill_null_backward.

File summaries

File	Description
cpp/src/arrow/compute/kernels/copy_data_internal.h	Fix boolean ArraySpan copy to include in.offset in the bit index passed to CopyBitmap.
cpp/src/arrow/compute/kernels/vector_replace_test.cc	Add regression tests that exercise non-byte-aligned (offset=3) sliced boolean arrays for replace_with_mask and fill-null kernels.

Review details

• Files reviewed: 2/2 changed files
• Comments generated: 0
• Review effort level: Lite

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.