GH-49617: [C++][CI] Validate all batches in IPC file fuzzer (#49618)

pitrou · web-flow · commit 9e413fa83565 · 2026-03-31T10:46:10.000+02:00
### Rationale for this change When using the IPC stream reader for differential fuzzing against the IPC file reader, ensure we validate batches because otherwise we might be doing invalid memory accesses down the road. ### Are these changes tested? By additional fuzz regression file. ### Are there any user-facing changes? No. * GitHub Issue: #49617 Authored-by: Antoine Pitrou <antoine@python.org> Signed-off-by: Antoine Pitrou <antoine@python.org>
diff --git a/cpp/src/arrow/ipc/reader.cc b/cpp/src/arrow/ipc/reader.cc
@@ -2807,6 +2807,7 @@ Status FuzzIpcFile(const uint8_t* data, int64_t size) {
         // EOS
         break;
       }
+      RETURN_NOT_OK(ValidateFuzzBatch(batch));
       batches.push_back(batch);
     }
     return IpcReadResult{batch_reader->schema(), batches};
diff --git a/testing b/testing
@@ -1 +1 @@
-Subproject commit afcdeba44006e05b2b09c0971373b36bb263e0aa
+Subproject commit 015d80bd2012a0629b8b269bb97dec4e96f28b6b

Original file line number	Diff line number	Diff line change
`@@ -2807,6 +2807,7 @@ Status FuzzIpcFile(const uint8_t* data, int64_t size) {`
`2807`	`2807`	`// EOS`
`2808`	`2808`	`break;`
`2809`	`2809`	`}`
	`2810`	`+ RETURN_NOT_OK(ValidateFuzzBatch(batch));`
`2810`	`2811`	`batches.push_back(batch);`
`2811`	`2812`	`}`
`2812`	`2813`	`return IpcReadResult{batch_reader->schema(), batches};`