test: add a repro for ocaml#8284 (ocaml#8292)

Signed-off-by: Etienne Millon <me@emillon.org>
emillon · Jul 31, 2023 · 5ae4ae1 · 5ae4ae1
1 parent 4a6287d
commit 5ae4ae1
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/test/blackbox-tests/test-cases/dune b/test/blackbox-tests/test-cases/dune
@@ -136,4 +136,4 @@
  (applies_to github8041)
  (enabled_if
   (= %{system} linux))
- (deps %{bin:strace}))
+ (deps %{bin:strace} %{bin:head}))
diff --git a/test/blackbox-tests/test-cases/github8041.t b/test/blackbox-tests/test-cases/github8041.t
@@ -8,15 +8,26 @@
   > (rule (copy data.txt data2.txt))
   > 
   > (install
-  >  (files data.txt data2.txt)
+  >  (files data.txt data2.txt data3.txt)
   >  (section share))
   > EOF
 
   $ echo contents > data.txt
+  $ head -c 100000 /dev/zero > data3.txt
 
 If sendfile fails, we should fallback to the portable implementation.
 
   $ strace -e inject=sendfile:error=EINVAL -o /dev/null dune build @install
 
 #8210: data2.txt is copied from readonly-file data.txt (#3092), so it needs to
 be adequately unlinked before starting the fallback.
+
+#8284: the buffer needs to be flushed, or there will be incomplete data in
+larger files.
+
+  $ if cmp -s data3.txt _build/default/data3.txt ; then
+  >   echo "File copied correctly"
+  > else
+  >   echo "File copied incorrectly"
+  > fi
+  File copied incorrectly