test-strncat.c 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402
  1. /* Test strncat functions.
  2. Copyright (C) 2011-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 "strncat"
  17. #else
  18. # define TEST_NAME "wcsncat"
  19. #endif /* WIDE */
  20. #include "test-string.h"
  21. #ifndef WIDE
  22. # define STRNCAT strncat
  23. # define CHAR char
  24. # define UCHAR unsigned char
  25. # define SIMPLE_STRNCAT simple_strncat
  26. # define STRNLEN strnlen
  27. # define STRLEN strlen
  28. # define MEMSET memset
  29. # define MEMCPY memcpy
  30. # define MEMCMP memcmp
  31. # define BIG_CHAR CHAR_MAX
  32. # define SMALL_CHAR 127
  33. #else
  34. # include <wchar.h>
  35. # define STRNCAT wcsncat
  36. # define CHAR wchar_t
  37. # define UCHAR wchar_t
  38. # define SIMPLE_STRNCAT simple_wcsncat
  39. # define STRNLEN wcsnlen
  40. # define STRLEN wcslen
  41. # define MEMSET wmemset
  42. # define MEMCPY wmemcpy
  43. # define MEMCMP wmemcmp
  44. # define BIG_CHAR WCHAR_MAX
  45. # define SMALL_CHAR 1273
  46. #endif /* WIDE */
  47. typedef CHAR *(*proto_t) (CHAR *, const CHAR *, size_t);
  48. IMPL (STRNCAT, 2)
  49. /* Naive implementation to verify results. */
  50. CHAR *
  51. SIMPLE_STRNCAT (CHAR *dst, const CHAR *src, size_t n)
  52. {
  53. CHAR *ret = dst;
  54. while (*dst++ != '\0');
  55. --dst;
  56. while (n--)
  57. if ((*dst++ = *src++) == '\0')
  58. return ret;
  59. *dst = '\0';
  60. return ret;
  61. }
  62. static void
  63. __attribute__((noinline))
  64. do_one_test (impl_t *impl, CHAR *dst, const CHAR *src, size_t n)
  65. {
  66. size_t k = STRLEN (dst);
  67. if (CALL (impl, dst, src, n) != dst)
  68. {
  69. error (0, 0, "Wrong result in function %s %p != %p", impl->name,
  70. CALL (impl, dst, src, n), dst);
  71. ret = 1;
  72. return;
  73. }
  74. size_t len = STRNLEN (src, n);
  75. if (MEMCMP (dst + k, src, len + 1 > n ? n : len + 1) != 0)
  76. {
  77. error (0, 0, "Incorrect concatenation in function %s",
  78. impl->name);
  79. ret = 1;
  80. return;
  81. }
  82. if (n < len && dst[k + n] != '\0')
  83. {
  84. error (0, 0, "There is no zero in the end of output string in %s",
  85. impl->name);
  86. ret = 1;
  87. return;
  88. }
  89. }
  90. static void
  91. do_test_src_no_nullterm_bz30065 (void)
  92. {
  93. /* NB: "src does not need to be null-terminated if it contains n or more
  94. * bytes." */
  95. CHAR *s1, *s2;
  96. size_t bound = page_size / sizeof (CHAR);
  97. s1 = (CHAR *) (buf1 + BUF1PAGES * page_size);
  98. s2 = (CHAR *) buf2;
  99. MEMSET (s1 - bound, -1, bound);
  100. for (size_t n = 0; n < bound; ++n)
  101. {
  102. FOR_EACH_IMPL (impl, 0)
  103. {
  104. s2[0] = '\0';
  105. do_one_test (impl, s2, s1 - n, n);
  106. }
  107. }
  108. }
  109. static void
  110. do_test (size_t align1, size_t align2, size_t len1, size_t len2,
  111. size_t n, int max_char)
  112. {
  113. size_t i;
  114. CHAR *s1, *s2;
  115. align1 &= 7;
  116. if ((align1 + len1) * sizeof (CHAR) >= page_size)
  117. return;
  118. if ((align1 + n) * sizeof (CHAR) > page_size)
  119. return;
  120. align2 &= 7;
  121. if ((align2 + len1 + len2) * sizeof (CHAR) >= page_size)
  122. return;
  123. if ((align2 + len1 + n) * sizeof (CHAR) > page_size)
  124. return;
  125. s1 = (CHAR *) (buf1) + align1;
  126. s2 = (CHAR *) (buf2) + align2;
  127. for (i = 0; i < len1; ++i)
  128. s1[i] = 32 + 23 * i % (max_char - 32);
  129. s1[len1] = '\0';
  130. for (i = 0; i < len2; i++)
  131. s2[i] = 32 + 23 * i % (max_char - 32);
  132. FOR_EACH_IMPL (impl, 0)
  133. {
  134. s2[len2] = '\0';
  135. do_one_test (impl, s2, s1, n);
  136. }
  137. }
  138. static void
  139. do_overflow_tests (void)
  140. {
  141. size_t i, j, len;
  142. const size_t one = 1;
  143. CHAR *s1, *s2;
  144. uintptr_t s1_addr;
  145. s1 = (CHAR *) buf1;
  146. s2 = (CHAR *) buf2;
  147. s1_addr = (uintptr_t)s1;
  148. for (j = 0; j < 200; ++j)
  149. s2[j] = 32 + 23 * j % (BIG_CHAR - 32);
  150. s2[200] = 0;
  151. for (i = 0; i < 750; ++i) {
  152. for (j = 0; j < i; ++j)
  153. s1[j] = 32 + 23 * j % (BIG_CHAR - 32);
  154. s1[i] = '\0';
  155. FOR_EACH_IMPL (impl, 0)
  156. {
  157. s2[200] = '\0';
  158. do_one_test (impl, s2, s1, SIZE_MAX - i);
  159. s2[200] = '\0';
  160. do_one_test (impl, s2, s1, i - s1_addr);
  161. s2[200] = '\0';
  162. do_one_test (impl, s2, s1, -s1_addr - i);
  163. s2[200] = '\0';
  164. do_one_test (impl, s2, s1, SIZE_MAX - s1_addr - i);
  165. s2[200] = '\0';
  166. do_one_test (impl, s2, s1, SIZE_MAX - s1_addr + i);
  167. }
  168. len = 0;
  169. for (j = 8 * sizeof(size_t) - 1; j ; --j)
  170. {
  171. len |= one << j;
  172. FOR_EACH_IMPL (impl, 0)
  173. {
  174. s2[200] = '\0';
  175. do_one_test (impl, s2, s1, len - i);
  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 - s1_addr - 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 - 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 - s1_addr - i);
  188. s2[200] = '\0';
  189. do_one_test (impl, s2, s1, ~len - s1_addr + i);
  190. }
  191. }
  192. }
  193. }
  194. static void
  195. do_random_tests (void)
  196. {
  197. size_t i, j, n, align1, align2, len1, len2, N;
  198. UCHAR *p1 = (UCHAR *) (buf1 + page_size) - 512;
  199. UCHAR *p2 = (UCHAR *) (buf2 + page_size) - 512;
  200. UCHAR *p3 = (UCHAR *) buf1;
  201. UCHAR *res;
  202. fprintf (stdout, "Number of iterations in random test = %zd\n",
  203. ITERATIONS);
  204. for (n = 0; n < ITERATIONS; n++)
  205. {
  206. N = random () & 255;
  207. align1 = random () & 31;
  208. if (random () & 1)
  209. align2 = random () & 31;
  210. else
  211. align2 = align1 + (random () & 24);
  212. len1 = random () & 511;
  213. if (len1 + align2 > 512)
  214. len2 = random () & 7;
  215. else
  216. len2 = (512 - len1 - align2) * (random () & (1024 * 1024 - 1))
  217. / (1024 * 1024);
  218. j = align1;
  219. if (align2 + len2 > j)
  220. j = align2 + len2;
  221. if (len1 + j >= 511)
  222. len1 = 510 - j - (random () & 7);
  223. if (len1 >= 512)
  224. len1 = 0;
  225. if (align1 + len1 < 512 - 8)
  226. {
  227. j = 510 - align1 - len1 - (random () & 31);
  228. if (j > 0 && j < 512)
  229. align1 += j;
  230. }
  231. j = len1 + align1 + 64;
  232. if (j > 512)
  233. j = 512;
  234. for (i = 0; i < j; i++)
  235. {
  236. if (i == len1 + align1)
  237. p1[i] = 0;
  238. else
  239. {
  240. p1[i] = random () & BIG_CHAR;
  241. if (i >= align1 && i < len1 + align1 && !p1[i])
  242. p1[i] = (random () & SMALL_CHAR) + 3;
  243. }
  244. }
  245. for (i = 0; i < len2; i++)
  246. {
  247. p3[i] = random () & BIG_CHAR;
  248. if (!p3[i])
  249. p3[i] = (random () & SMALL_CHAR) + 3;
  250. }
  251. p3[len2] = 0;
  252. FOR_EACH_IMPL (impl, 1)
  253. {
  254. MEMSET (p2 - 64, '\1', align2 + 64);
  255. MEMSET (p2 + align2 + len2 + 1, '\1', 512 - align2 - len2 - 1);
  256. MEMCPY (p2 + align2, p3, len2 + 1);
  257. res = (UCHAR *) CALL (impl, (CHAR *) (p2 + align2),
  258. (CHAR *) (p1 + align1), N);
  259. if (res != p2 + align2)
  260. {
  261. error (0, 0, "Iteration %zd - wrong result in function %s "
  262. "(%zd, %zd, %zd, %zd, %zd) %p != %p",
  263. n, impl->name, align1, align2, len1, len2, N,
  264. res, p2 + align2);
  265. ret = 1;
  266. }
  267. for (j = 0; j < align2 + 64; ++j)
  268. {
  269. if (p2[j - 64] != '\1')
  270. {
  271. error (0, 0, "Iteration %zd - garbage before dst, %s "
  272. "%zd, %zd, %zd, %zd, %zd)",
  273. n, impl->name, align1, align2, len1, len2, N);
  274. ret = 1;
  275. break;
  276. }
  277. }
  278. if (MEMCMP (p2 + align2, p3, len2))
  279. {
  280. error (0, 0, "Iteration %zd - garbage in string before, %s "
  281. "(%zd, %zd, %zd, %zd, %zd)",
  282. n, impl->name, align1, align2, len1, len2, N);
  283. ret = 1;
  284. }
  285. if ((len1 + 1) > N)
  286. j = align2 + N + 1 + len2;
  287. else
  288. j = align2 + len1 + 1 + len2;
  289. for (; j < 512; ++j)
  290. {
  291. if (p2[j] != '\1')
  292. {
  293. error (0, 0, "Iteration %zd - garbage after, %s "
  294. "(%zd, %zd, %zd, %zd, %zd)",
  295. n, impl->name, align1, align2, len1, len2, N);
  296. ret = 1;
  297. break;
  298. }
  299. }
  300. if (len1 + 1 > N)
  301. {
  302. if (p2[align2 + N + len2] != '\0')
  303. {
  304. error (0, 0, "Iteration %zd - there is no zero at the "
  305. "end of output string, %s (%zd, %zd, %zd, %zd, %zd)",
  306. n, impl->name, align1, align2, len1, len2, N);
  307. ret = 1;
  308. }
  309. }
  310. if (MEMCMP (p1 + align1, p2 + align2 + len2,
  311. (len1 + 1) > N ? N : len1 + 1))
  312. {
  313. error (0, 0, "Iteration %zd - different strings, %s "
  314. "(%zd, %zd, %zd, %zd, %zd)",
  315. n, impl->name, align1, align2, len1, len2, N);
  316. ret = 1;
  317. }
  318. }
  319. }
  320. }
  321. int
  322. test_main (void)
  323. {
  324. size_t i, n;
  325. test_init ();
  326. printf ("%28s", "");
  327. FOR_EACH_IMPL (impl, 0)
  328. printf ("\t%s", impl->name);
  329. putchar ('\n');
  330. for (n = 2; n <= 2048; n*=4)
  331. {
  332. do_test (0, 2, 2, 2, n, SMALL_CHAR);
  333. do_test (0, 0, 4, 4, n, SMALL_CHAR);
  334. do_test (4, 0, 4, 4, n, BIG_CHAR);
  335. do_test (0, 0, 8, 8, n, SMALL_CHAR);
  336. do_test (0, 8, 8, 8, n, SMALL_CHAR);
  337. do_test (0, 2, 2, 2, SIZE_MAX, SMALL_CHAR);
  338. do_test (0, 0, 4, 4, SIZE_MAX, SMALL_CHAR);
  339. do_test (4, 0, 4, 4, SIZE_MAX, BIG_CHAR);
  340. do_test (0, 0, 8, 8, SIZE_MAX, SMALL_CHAR);
  341. do_test (0, 8, 8, 8, SIZE_MAX, SMALL_CHAR);
  342. for (i = 1; i < 8; ++i)
  343. {
  344. do_test (0, 0, 8 << i, 8 << i, n, SMALL_CHAR);
  345. do_test (8 - i, 2 * i, 8 << i, 8 << i, n, SMALL_CHAR);
  346. do_test (0, 0, 8 << i, 2 << i, n, SMALL_CHAR);
  347. do_test (8 - i, 2 * i, 8 << i, 2 << i, n, SMALL_CHAR);
  348. do_test (0, 0, 8 << i, 8 << i, SIZE_MAX, SMALL_CHAR);
  349. do_test (8 - i, 2 * i, 8 << i, 8 << i, SIZE_MAX, SMALL_CHAR);
  350. do_test (0, 0, 8 << i, 2 << i, SIZE_MAX, SMALL_CHAR);
  351. do_test (8 - i, 2 * i, 8 << i, 2 << i, SIZE_MAX, SMALL_CHAR);
  352. }
  353. for (i = 1; i < 8; ++i)
  354. {
  355. do_test (i, 2 * i, 8 << i, 1, n, SMALL_CHAR);
  356. do_test (2 * i, i, 8 << i, 1, n, BIG_CHAR);
  357. do_test (i, i, 8 << i, 10, n, SMALL_CHAR);
  358. do_test (i, 2 * i, 8 << i, 1, SIZE_MAX, SMALL_CHAR);
  359. do_test (2 * i, i, 8 << i, 1, SIZE_MAX, BIG_CHAR);
  360. do_test (i, i, 8 << i, 10, SIZE_MAX, SMALL_CHAR);
  361. }
  362. }
  363. do_random_tests ();
  364. do_overflow_tests ();
  365. do_test_src_no_nullterm_bz30065 ();
  366. return ret;
  367. }
  368. #include <support/test-driver.c>