102d98d18SDag-Erling Smørgrav /*-
202d98d18SDag-Erling Smørgrav * Copyright (c) 2024 Klara, Inc.
302d98d18SDag-Erling Smørgrav *
402d98d18SDag-Erling Smørgrav * SPDX-License-Identifier: BSD-2-Clause
502d98d18SDag-Erling Smørgrav */
602d98d18SDag-Erling Smørgrav
702d98d18SDag-Erling Smørgrav #include <sys/types.h>
802d98d18SDag-Erling Smørgrav #include <sys/mman.h>
902d98d18SDag-Erling Smørgrav
1002d98d18SDag-Erling Smørgrav #include <assert.h>
1102d98d18SDag-Erling Smørgrav #include <errno.h>
12*9c7f83bbSDag-Erling Smørgrav #include <stdint.h>
1302d98d18SDag-Erling Smørgrav #include <stdio.h>
1402d98d18SDag-Erling Smørgrav #include <string.h>
1502d98d18SDag-Erling Smørgrav #include <unistd.h>
1602d98d18SDag-Erling Smørgrav
1702d98d18SDag-Erling Smørgrav #include <arraylist.h>
1802d98d18SDag-Erling Smørgrav #include <diff_main.h>
1902d98d18SDag-Erling Smørgrav
2002d98d18SDag-Erling Smørgrav #include <atf-c.h>
2102d98d18SDag-Erling Smørgrav
2202d98d18SDag-Erling Smørgrav ATF_TC_WITH_CLEANUP(diff_atomize_truncated);
ATF_TC_HEAD(diff_atomize_truncated,tc)2302d98d18SDag-Erling Smørgrav ATF_TC_HEAD(diff_atomize_truncated, tc)
2402d98d18SDag-Erling Smørgrav {
2502d98d18SDag-Erling Smørgrav atf_tc_set_md_var(tc, "descr", "Verify that the atomizer "
2602d98d18SDag-Erling Smørgrav "does not crash when an input file is truncated");
2702d98d18SDag-Erling Smørgrav }
ATF_TC_BODY(diff_atomize_truncated,tc)2802d98d18SDag-Erling Smørgrav ATF_TC_BODY(diff_atomize_truncated, tc)
2902d98d18SDag-Erling Smørgrav {
3002d98d18SDag-Erling Smørgrav char line[128];
3102d98d18SDag-Erling Smørgrav struct diff_config cfg = { .atomize_func = diff_atomize_text_by_line };
3202d98d18SDag-Erling Smørgrav struct diff_data d = { };
3302d98d18SDag-Erling Smørgrav const char *fn = atf_tc_get_ident(tc);
3402d98d18SDag-Erling Smørgrav FILE *f;
3502d98d18SDag-Erling Smørgrav unsigned char *p;
3602d98d18SDag-Erling Smørgrav size_t size = 65536;
3702d98d18SDag-Erling Smørgrav
3802d98d18SDag-Erling Smørgrav ATF_REQUIRE((f = fopen(fn, "w+")) != NULL);
3902d98d18SDag-Erling Smørgrav line[sizeof(line) - 1] = '\n';
4002d98d18SDag-Erling Smørgrav for (unsigned int i = 0; i <= size / sizeof(line); i++) {
4102d98d18SDag-Erling Smørgrav memset(line, 'a' + i % 26, sizeof(line) - 1);
4202d98d18SDag-Erling Smørgrav ATF_REQUIRE(fwrite(line, sizeof(line), 1, f) == 1);
4302d98d18SDag-Erling Smørgrav }
4402d98d18SDag-Erling Smørgrav ATF_REQUIRE(fsync(fileno(f)) == 0);
4502d98d18SDag-Erling Smørgrav rewind(f);
4602d98d18SDag-Erling Smørgrav ATF_REQUIRE(truncate(fn, size / 2) == 0);
4702d98d18SDag-Erling Smørgrav ATF_REQUIRE((p = mmap(NULL, size, PROT_READ, MAP_PRIVATE, fileno(f), 0)) != MAP_FAILED);
4802d98d18SDag-Erling Smørgrav ATF_REQUIRE(diff_atomize_file(&d, &cfg, f, p, size, 0) == 0);
4902d98d18SDag-Erling Smørgrav ATF_REQUIRE((size_t)d.len <= size / 2);
5002d98d18SDag-Erling Smørgrav ATF_REQUIRE((size_t)d.len >= size / 2 - sizeof(line));
5102d98d18SDag-Erling Smørgrav ATF_REQUIRE(d.atomizer_flags & DIFF_ATOMIZER_FILE_TRUNCATED);
5202d98d18SDag-Erling Smørgrav }
ATF_TC_CLEANUP(diff_atomize_truncated,tc)5302d98d18SDag-Erling Smørgrav ATF_TC_CLEANUP(diff_atomize_truncated, tc)
5402d98d18SDag-Erling Smørgrav {
5502d98d18SDag-Erling Smørgrav unlink(atf_tc_get_ident(tc));
5602d98d18SDag-Erling Smørgrav }
5702d98d18SDag-Erling Smørgrav
ATF_TP_ADD_TCS(tp)5802d98d18SDag-Erling Smørgrav ATF_TP_ADD_TCS(tp)
5902d98d18SDag-Erling Smørgrav {
6002d98d18SDag-Erling Smørgrav ATF_TP_ADD_TC(tp, diff_atomize_truncated);
6102d98d18SDag-Erling Smørgrav return atf_no_error();
6202d98d18SDag-Erling Smørgrav }
63