tst-strlcat2.c 9.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402
  1. /* Test strlcat functions.
  2. Copyright (C) 2023-2026 Free Software Foundation, Inc.
  3. The GNU C Library is free software; you can redistribute it and/or
  4. modify it under the terms of the GNU Lesser General Public
  5. License as published by the Free Software Foundation; either
  6. version 2.1 of the License, or (at your option) any later version.
  7. The GNU C Library is distributed in the hope that it will be useful,
  8. but WITHOUT ANY WARRANTY; without even the implied warranty of
  9. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  10. Lesser General Public License for more details.
  11. You should have received a copy of the GNU Lesser General Public
  12. License along with the GNU C Library; if not, see
  13. <https://www.gnu.org/licenses/>. */
  14. #define TEST_MAIN
  15. #ifndef WIDE
  16. # define TEST_NAME "strlcat"
  17. #else
  18. # define TEST_NAME "wcslcat"
  19. #endif /* WIDE */
  20. #include "test-string.h"
  21. #ifdef WIDE
  22. # include <wchar.h>
  23. # define BIG_CHAR WCHAR_MAX
  24. # define CHAR wchar_t
  25. # define MEMCMP wmemcmp
  26. # define MEMCPY wmemcpy
  27. # define MEMSET wmemset
  28. # define SIMPLE_STRLCAT simple_wcslcat
  29. # define SMALL_CHAR 1273
  30. # define STRLCAT wcslcat
  31. # define STRLEN wcslen
  32. # define STRNLEN wcsnlen
  33. # define UCHAR wchar_t
  34. #else
  35. # define BIG_CHAR CHAR_MAX
  36. # define CHAR char
  37. # define MEMCMP memcmp
  38. # define MEMCPY memcpy
  39. # define MEMSET memset
  40. # define SMALL_CHAR 127
  41. # define SIMPLE_STRLCAT simple_strlcat
  42. # define STRLCAT strlcat
  43. # define STRLEN strlen
  44. # define STRNLEN strnlen
  45. # define UCHAR unsigned char
  46. #endif /* !WIDE */
  47. /* Naive implementation to verify results. */
  48. size_t
  49. SIMPLE_STRLCAT (CHAR *dst, const CHAR *src, size_t n)
  50. {
  51. size_t src_length = STRLEN (src);
  52. if (n == 0)
  53. return src_length;
  54. size_t dst_length = STRNLEN (dst, n);
  55. if (dst_length != n)
  56. {
  57. size_t to_copy = n - dst_length - 1;
  58. if (to_copy > src_length)
  59. to_copy = src_length;
  60. CHAR *target = dst + dst_length;
  61. MEMCPY (target, src, to_copy);
  62. target[to_copy] = '\0';
  63. }
  64. return dst_length + src_length;
  65. }
  66. IMPL (SIMPLE_STRLCAT, 0)
  67. IMPL (STRLCAT, 1)
  68. typedef size_t (*proto_t) (CHAR *, const CHAR *, size_t);
  69. static void
  70. __attribute__((noinline))
  71. do_one_test (impl_t *impl, CHAR *dst, const CHAR *src,
  72. size_t n)
  73. {
  74. size_t exp_ret, func_ret;
  75. size_t src_length = STRLEN (src);
  76. size_t dst_length = STRNLEN (dst, n);
  77. if (n == 0)
  78. exp_ret = src_length;
  79. else
  80. exp_ret = src_length + dst_length;
  81. func_ret = CALL (impl, dst, src, n);
  82. if (exp_ret != func_ret)
  83. {
  84. error (0, 0, "Wrong result in function %s %zd != %zd", impl->name,
  85. exp_ret, func_ret);
  86. ret = 1;
  87. return;
  88. }
  89. if (dst_length != n)
  90. {
  91. size_t to_copy = n - dst_length - 1;
  92. if (to_copy > src_length)
  93. to_copy = src_length;
  94. if (MEMCMP (dst + dst_length, src, to_copy) != 0)
  95. {
  96. error (0, 0, "Incorrect concatenation in function %s",
  97. impl->name);
  98. ret = 1;
  99. return;
  100. }
  101. if (dst[dst_length + to_copy] != '\0')
  102. {
  103. error (0, 0, "There is no zero in the end of output string in %s",
  104. impl->name);
  105. ret = 1;
  106. return;
  107. }
  108. }
  109. return;
  110. }
  111. static void
  112. do_test (size_t align1, size_t align2, size_t len1, size_t len2,
  113. size_t n, int max_char)
  114. {
  115. size_t i;
  116. CHAR *s1, *s2;
  117. align1 &= 7;
  118. if ((align1 + len1) * sizeof (CHAR) >= page_size)
  119. return;
  120. if ((align1 + n) * sizeof (CHAR) > page_size)
  121. return;
  122. align2 &= 7;
  123. if ((align2 + len1 + len2) * sizeof (CHAR) >= page_size)
  124. return;
  125. if ((align2 + len1 + n) * sizeof (CHAR) > page_size)
  126. return;
  127. s1 = (CHAR *) (buf1) + align1;
  128. s2 = (CHAR *) (buf2) + align2;
  129. for (i = 0; i < len1; ++i)
  130. s1[i] = 32 + 23 * i % (max_char - 32);
  131. s1[len1] = '\0';
  132. FOR_EACH_IMPL (impl, 0)
  133. {
  134. for (i = 0; i < len2; i++)
  135. s2[i] = 32 + 23 * i % (max_char - 32);
  136. s2[len2] = '\0';
  137. do_one_test (impl, s2, s1, n);
  138. }
  139. }
  140. static void
  141. do_overflow_tests (void)
  142. {
  143. size_t i, j, len;
  144. const size_t one = 1;
  145. CHAR *s1, *s2;
  146. uintptr_t s1_addr;
  147. s1 = (CHAR *) buf1;
  148. s2 = (CHAR *) buf2;
  149. s1_addr = (uintptr_t)s1;
  150. for (j = 0; j < 200; ++j)
  151. s2[j] = 32 + 23 * j % (BIG_CHAR - 32);
  152. s2[200] = 0;
  153. for (i = 0; i < 750; ++i) {
  154. for (j = 0; j < i; ++j)
  155. s1[j] = 32 + 23 * j % (BIG_CHAR - 32);
  156. s1[i] = '\0';
  157. FOR_EACH_IMPL (impl, 0)
  158. {
  159. s2[200] = '\0';
  160. do_one_test (impl, s2, s1, SIZE_MAX - i);
  161. s2[200] = '\0';
  162. do_one_test (impl, s2, s1, i - s1_addr);
  163. s2[200] = '\0';
  164. do_one_test (impl, s2, s1, -s1_addr - i);
  165. s2[200] = '\0';
  166. do_one_test (impl, s2, s1, SIZE_MAX - s1_addr - i);
  167. s2[200] = '\0';
  168. do_one_test (impl, s2, s1, SIZE_MAX - s1_addr + i);
  169. }
  170. len = 0;
  171. for (j = 8 * sizeof(size_t) - 1; j ; --j)
  172. {
  173. len |= one << j;
  174. FOR_EACH_IMPL (impl, 0)
  175. {
  176. s2[200] = '\0';
  177. do_one_test (impl, s2, s1, len - i);
  178. s2[200] = '\0';
  179. do_one_test (impl, s2, s1, len + i);
  180. s2[200] = '\0';
  181. do_one_test (impl, s2, s1, len - s1_addr - i);
  182. s2[200] = '\0';
  183. do_one_test (impl, s2, s1, len - s1_addr + i);
  184. s2[200] = '\0';
  185. do_one_test (impl, s2, s1, ~len - i);
  186. s2[200] = '\0';
  187. do_one_test (impl, s2, s1, ~len + i);
  188. s2[200] = '\0';
  189. do_one_test (impl, s2, s1, ~len - s1_addr - i);
  190. s2[200] = '\0';
  191. do_one_test (impl, s2, s1, ~len - s1_addr + i);
  192. }
  193. }
  194. }
  195. }
  196. static void
  197. do_random_tests (void)
  198. {
  199. size_t i, j, n, align1, align2, len1, len2, N;
  200. UCHAR *p1 = (UCHAR *) (buf1 + page_size) - 1024;
  201. UCHAR *p2 = (UCHAR *) (buf2 + page_size) - 1024;
  202. UCHAR *p3 = (UCHAR *) buf1;
  203. size_t res;
  204. fprintf (stdout, "Number of iterations in random test = %zd\n",
  205. ITERATIONS);
  206. for (n = 0; n < ITERATIONS; n++)
  207. {
  208. N = random () & 1023;
  209. align1 = random () & 255;
  210. align2 = random () & 255;
  211. len1 = random () & 255;
  212. len2 = random () & 255;
  213. for (i = 0; i < len1; i++)
  214. {
  215. p1[align1 + i] = random () & BIG_CHAR;
  216. if (!p1[align1 + i])
  217. p1[align1 + i] = (random () & SMALL_CHAR) + 3;
  218. }
  219. p1[align1 + len1] = 0;
  220. for (i = 0; i < len2; i++)
  221. {
  222. p3[i] = random () & BIG_CHAR;
  223. if (!p3[i])
  224. p3[i] = (random () & SMALL_CHAR) + 3;
  225. }
  226. p3[len2] = 0;
  227. size_t exp_ret;
  228. size_t src_length = STRLEN ((CHAR *) (p1 + align1));
  229. size_t dst_length = STRNLEN ((CHAR *) (p3), N);
  230. if (N == 0)
  231. exp_ret = src_length;
  232. else
  233. exp_ret = src_length + dst_length;
  234. FOR_EACH_IMPL (impl, 1)
  235. {
  236. MEMSET (p2 - 64, '\1', align2 + 64);
  237. MEMSET (p2 + align2 + len2 + 1, '\1', 1024 - align2 - len2 - 1);
  238. MEMCPY (p2 + align2, p3, len2 + 1);
  239. res = CALL (impl, (CHAR *) (p2 + align2),
  240. (CHAR *) (p1 + align1), N);
  241. if (res != exp_ret)
  242. {
  243. error (0, 0, "Iteration %zd - wrong result in function %s "
  244. "(%zd, %zd, %zd, %zd, %zd) %zd != %zd",
  245. n, impl->name, align1, align2, len1, len2, N,
  246. res, exp_ret);
  247. ret = 1;
  248. }
  249. for (j = 0; j < align2 + 64; ++j)
  250. {
  251. if (p2[j - 64] != '\1')
  252. {
  253. error (0, 0, "Iteration %zd - garbage before dst, %s "
  254. "%zd, %zd, %zd, %zd, %zd)",
  255. n, impl->name, align1, align2, len1, len2, N);
  256. ret = 1;
  257. break;
  258. }
  259. }
  260. if (MEMCMP (p2 + align2, p3, len2))
  261. {
  262. error (0, 0, "Iteration %zd - garbage in string before, %s "
  263. "(%zd, %zd, %zd, %zd, %zd)",
  264. n, impl->name, align1, align2, len1, len2, N);
  265. ret = 1;
  266. }
  267. if (N > len2 + 1)
  268. {
  269. j = (N - len2 - 1 >= len1) ? len1 : N - len2 - 1;
  270. if (MEMCMP (p2 + align2 + len2, p1 + align1, j))
  271. {
  272. error (0, 0, "Iteration %zd - different strings, %s "
  273. "(%zd, %zd, %zd, %zd)", n, impl->name, align1,
  274. align2, len2, j);
  275. ret = 1;
  276. }
  277. if (p2[align2 + len2 + j] != '\0')
  278. {
  279. error (0, 0, "Iteration %zd - there is no zero at the "
  280. "end of output string, %s (%zd, %zd, %zd, %zd, %zd)",
  281. n, impl->name, align1, align2, len1, len2, N);
  282. ret = 1;
  283. }
  284. for (j = j + align2 + len2 + 1; j < 1024; ++j)
  285. {
  286. if (p2[j] != '\1')
  287. {
  288. error (0, 0, "Iteration %zd - garbage after, %s "
  289. "(%zd, %zd, %zd, %zd, %zd)",
  290. n, impl->name, align1, align2, len1, len2, N);
  291. ret = 1;
  292. break;
  293. }
  294. }
  295. }
  296. else
  297. {
  298. if (p2[align2 + len2] != '\0')
  299. {
  300. error (0, 0, "Iteration %zd - destination modified, %s "
  301. "(%zd, %zd, %zd, %zd, %zd)",
  302. n, impl->name, align1, align2, len1, len2, N);
  303. ret = 1;
  304. }
  305. }
  306. }
  307. }
  308. }
  309. int
  310. test_main (void)
  311. {
  312. size_t i, n;
  313. test_init ();
  314. printf ("%28s", "");
  315. FOR_EACH_IMPL (impl, 0)
  316. printf ("\t%s", impl->name);
  317. putchar ('\n');
  318. for (n = 2; n <= 2048; n*=4)
  319. {
  320. do_test (0, 2, 2, 2, n, SMALL_CHAR);
  321. do_test (0, 0, 4, 4, n, SMALL_CHAR);
  322. do_test (4, 0, 4, 4, n, BIG_CHAR);
  323. do_test (0, 0, 8, 8, n, SMALL_CHAR);
  324. do_test (0, 8, 8, 8, n, SMALL_CHAR);
  325. do_test (0, 2, 2, 2, SIZE_MAX, SMALL_CHAR);
  326. do_test (0, 0, 4, 4, SIZE_MAX, SMALL_CHAR);
  327. do_test (4, 0, 4, 4, SIZE_MAX, BIG_CHAR);
  328. do_test (0, 0, 8, 8, SIZE_MAX, SMALL_CHAR);
  329. do_test (0, 8, 8, 8, SIZE_MAX, SMALL_CHAR);
  330. for (i = 1; i < 8; ++i)
  331. {
  332. do_test (0, 0, 8 << i, 8 << i, n, SMALL_CHAR);
  333. do_test (8 - i, 2 * i, 8 << i, 8 << i, n, SMALL_CHAR);
  334. do_test (0, 0, 8 << i, 2 << i, n, SMALL_CHAR);
  335. do_test (8 - i, 2 * i, 8 << i, 2 << i, n, SMALL_CHAR);
  336. do_test (0, 0, 8 << i, 8 << i, SIZE_MAX, SMALL_CHAR);
  337. do_test (8 - i, 2 * i, 8 << i, 8 << i, SIZE_MAX, SMALL_CHAR);
  338. do_test (0, 0, 8 << i, 2 << i, SIZE_MAX, SMALL_CHAR);
  339. do_test (8 - i, 2 * i, 8 << i, 2 << i, SIZE_MAX, SMALL_CHAR);
  340. }
  341. for (i = 1; i < 8; ++i)
  342. {
  343. do_test (i, 2 * i, 8 << i, 1, n, SMALL_CHAR);
  344. do_test (2 * i, i, 8 << i, 1, n, BIG_CHAR);
  345. do_test (i, i, 8 << i, 10, n, SMALL_CHAR);
  346. do_test (i, 2 * i, 8 << i, 1, SIZE_MAX, SMALL_CHAR);
  347. do_test (2 * i, i, 8 << i, 1, SIZE_MAX, BIG_CHAR);
  348. do_test (i, i, 8 << i, 10, SIZE_MAX, SMALL_CHAR);
  349. }
  350. }
  351. do_random_tests ();
  352. do_overflow_tests ();
  353. return ret;
  354. }
  355. #include <support/test-driver.c>