test-strncasecmp.c 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515
  1. /* Test and measure strncasecmp functions.
  2. Copyright (C) 1999-2026 Free Software Foundation, Inc.
  3. This file is part of the GNU C Library.
  4. The GNU C Library is free software; you can redistribute it and/or
  5. modify it under the terms of the GNU Lesser General Public
  6. License as published by the Free Software Foundation; either
  7. version 2.1 of the License, or (at your option) any later version.
  8. The GNU C Library is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  11. Lesser General Public License for more details.
  12. You should have received a copy of the GNU Lesser General Public
  13. License along with the GNU C Library; if not, see
  14. <https://www.gnu.org/licenses/>. */
  15. #include <locale.h>
  16. #include <ctype.h>
  17. #define TEST_LEN (getpagesize () * 3)
  18. #define MIN_PAGE_SIZE (TEST_LEN + 2 * getpagesize ())
  19. #define TEST_MAIN
  20. #define TEST_NAME "strncasecmp"
  21. #define TIMEOUT (5 * 60)
  22. #include "test-string.h"
  23. typedef int (*proto_t) (const char *, const char *, size_t);
  24. static int simple_strncasecmp (const char *, const char *, size_t);
  25. IMPL (strncasecmp, 1)
  26. /* Naive implementation to verify results. */
  27. static int
  28. simple_strncasecmp (const char *s1, const char *s2, size_t n)
  29. {
  30. int ret;
  31. if (n == 0)
  32. return 0;
  33. while ((ret = ((unsigned char) tolower (*s1)
  34. - (unsigned char) tolower (*s2))) == 0
  35. && *s1++)
  36. {
  37. if (--n == 0)
  38. return 0;
  39. ++s2;
  40. }
  41. return ret;
  42. }
  43. static int
  44. check_result (impl_t *impl, const char *s1, const char *s2, size_t n,
  45. int exp_result)
  46. {
  47. int result = CALL (impl, s1, s2, n);
  48. if ((exp_result == 0 && result != 0)
  49. || (exp_result < 0 && result >= 0)
  50. || (exp_result > 0 && result <= 0))
  51. {
  52. error (0, 0, "Wrong result in function %s %d %d", impl->name,
  53. result, exp_result);
  54. ret = 1;
  55. return -1;
  56. }
  57. return 0;
  58. }
  59. static void
  60. do_one_test (impl_t *impl, const char *s1, const char *s2, size_t n,
  61. int exp_result)
  62. {
  63. if (check_result (impl, s1, s2, n, exp_result) < 0)
  64. return;
  65. }
  66. static void
  67. do_test (size_t align1, size_t align2, size_t n, size_t len, int max_char,
  68. int exp_result)
  69. {
  70. size_t i;
  71. char *s1, *s2;
  72. if (len == 0)
  73. return;
  74. align1 &= getpagesize () - 1;
  75. if (align1 + (len + 2) >= page_size)
  76. return;
  77. align2 &= getpagesize () - 1;
  78. if (align2 + (len + 2) >= page_size)
  79. return;
  80. s1 = (char *) (buf1 + align1);
  81. s2 = (char *) (buf2 + align2);
  82. for (i = 0; i < len; i++)
  83. {
  84. s1[i] = toupper (1 + 23 * i % max_char);
  85. s2[i] = tolower (s1[i]);
  86. }
  87. s1[len] = s2[len] = 0;
  88. s1[len + 1] = 23;
  89. s2[len + 1] = 24 + exp_result;
  90. if ((s2[len - 1] == 'z' && exp_result == -1)
  91. || (s2[len - 1] == 'a' && exp_result == 1))
  92. s1[len - 1] += exp_result;
  93. else if ((s1[len - 1] == 'Z' + 1 && exp_result == 1)
  94. || (s1[len - 1] == 'A' - 1 && exp_result == -1))
  95. s1[len - 1] = tolower (s2[len - 1]) + exp_result;
  96. else
  97. s2[len - 1] -= exp_result;
  98. /* For some locals this is not guaranteed yet. */
  99. if (tolower (s1[len - 1]) - tolower (s2[len - 1]) != exp_result)
  100. {
  101. if (exp_result == -1)
  102. {
  103. s1[len - 1] = tolower ('a');
  104. s2[len - 1] = toupper (tolower ('a') - 1);
  105. }
  106. else if (exp_result == 0)
  107. s1[len - 1] = toupper (s2[len - 1]);
  108. else
  109. {
  110. s1[len - 1] = tolower ('a');
  111. s2[len - 1] = toupper (tolower ('a') + 1);
  112. }
  113. }
  114. FOR_EACH_IMPL (impl, 0)
  115. do_one_test (impl, s1, s2, n, exp_result);
  116. }
  117. static void
  118. do_page_tests (void)
  119. {
  120. char *s1, *s2;
  121. int exp_result;
  122. const size_t maxoffset = 64;
  123. s1 = (char *) buf1 + BUF1PAGES * page_size - maxoffset;
  124. memset (s1, 'a', maxoffset - 1);
  125. s1[maxoffset - 1] = '\0';
  126. s2 = (char *) buf2 + page_size - maxoffset;
  127. memset (s2, 'a', maxoffset - 1);
  128. s2[maxoffset - 1] = '\0';
  129. /* At this point s1 and s2 point to distinct memory regions containing
  130. "aa..." with size of 63 plus '\0'. Also, both strings are bounded to a
  131. page with read/write access and the next page is protected with PROT_NONE
  132. (meaning that any access outside of the page regions will trigger an
  133. invalid memory access).
  134. The loop checks for all possible offsets up to maxoffset for both
  135. inputs with a size larger than the string (so memory access outside
  136. the expected memory regions might trigger invalid access). */
  137. for (size_t off1 = 0; off1 < maxoffset; off1++)
  138. {
  139. for (size_t off2 = 0; off2 < maxoffset; off2++)
  140. {
  141. exp_result = (off1 == off2)
  142. ? 0
  143. : off1 < off2
  144. ? 'a'
  145. : -'a';
  146. FOR_EACH_IMPL (impl, 0)
  147. check_result (impl, s1 + off1, s2 + off2, maxoffset + 1,
  148. exp_result);
  149. }
  150. }
  151. }
  152. static void
  153. do_random_tests (void)
  154. {
  155. size_t i, j, n, align1, align2, pos, len1, len2;
  156. int result;
  157. long r;
  158. unsigned char *p1 = buf1 + page_size - 512;
  159. unsigned char *p2 = buf2 + page_size - 512;
  160. for (n = 0; n < ITERATIONS; n++)
  161. {
  162. align1 = random () & 31;
  163. if (random () & 1)
  164. align2 = random () & 31;
  165. else
  166. align2 = align1 + (random () & 24);
  167. pos = random () & 511;
  168. j = align1 > align2 ? align1 : align2;
  169. if (pos + j >= 511)
  170. pos = 510 - j - (random () & 7);
  171. len1 = random () & 511;
  172. if (pos >= len1 && (random () & 1))
  173. len1 = pos + (random () & 7);
  174. if (len1 + j >= 512)
  175. len1 = 511 - j - (random () & 7);
  176. if (pos >= len1)
  177. len2 = len1;
  178. else
  179. len2 = len1 + (len1 != 511 - j ? random () % (511 - j - len1) : 0);
  180. j = (pos > len2 ? pos : len2) + align1 + 64;
  181. if (j > 512)
  182. j = 512;
  183. for (i = 0; i < j; ++i)
  184. {
  185. p1[i] = tolower (random () & 255);
  186. if (i < len1 + align1 && !p1[i])
  187. {
  188. p1[i] = tolower (random () & 255);
  189. if (!p1[i])
  190. p1[i] = tolower (1 + (random () & 127));
  191. }
  192. }
  193. for (i = 0; i < j; ++i)
  194. {
  195. p2[i] = toupper (random () & 255);
  196. if (i < len2 + align2 && !p2[i])
  197. {
  198. p2[i] = toupper (random () & 255);
  199. if (!p2[i])
  200. toupper (p2[i] = 1 + (random () & 127));
  201. }
  202. }
  203. result = 0;
  204. memcpy (p2 + align2, p1 + align1, pos);
  205. if (pos < len1)
  206. {
  207. if (tolower (p2[align2 + pos]) == p1[align1 + pos])
  208. {
  209. p2[align2 + pos] = toupper (random () & 255);
  210. if (tolower (p2[align2 + pos]) == p1[align1 + pos])
  211. p2[align2 + pos] = toupper (p1[align1 + pos]
  212. + 3 + (random () & 127));
  213. }
  214. if (p1[align1 + pos] < tolower (p2[align2 + pos]))
  215. result = -1;
  216. else
  217. result = 1;
  218. }
  219. p1[len1 + align1] = 0;
  220. p2[len2 + align2] = 0;
  221. FOR_EACH_IMPL (impl, 1)
  222. {
  223. r = CALL (impl, (char *) (p1 + align1), (char *) (p2 + align2),
  224. pos + 1 + (random () & 255));
  225. /* Test whether on 64-bit architectures where ABI requires
  226. callee to promote has the promotion been done. */
  227. asm ("" : "=g" (r) : "0" (r));
  228. if ((r == 0 && result)
  229. || (r < 0 && result >= 0)
  230. || (r > 0 && result <= 0))
  231. {
  232. error (0, 0, "Iteration %zd - wrong result in function %s (%zd, %zd, %zd, %zd, %zd) %ld != %d, p1 %p p2 %p",
  233. n, impl->name, align1, align2, len1, len2, pos, r, result, p1, p2);
  234. ret = 1;
  235. }
  236. }
  237. }
  238. }
  239. /* Regression test for BZ #12205 */
  240. static void
  241. bz12205 (void)
  242. {
  243. static char cp [4096+16] __attribute__ ((aligned(4096)));
  244. static char gotrel[4096] __attribute__ ((aligned(4096)));
  245. char *s1 = cp + 0xffa;
  246. char *s2 = gotrel + 0xcbe;
  247. int exp_result;
  248. size_t n = 6;
  249. strcpy (s1, "gottpoff");
  250. strcpy (s2, "GOTPLT");
  251. exp_result = simple_strncasecmp (s1, s2, n);
  252. FOR_EACH_IMPL (impl, 0)
  253. check_result (impl, s1, s2, n, exp_result);
  254. }
  255. /* Regression test for BZ #14195 */
  256. static void
  257. bz14195 (void)
  258. {
  259. const char *empty_string = "";
  260. FOR_EACH_IMPL (impl, 0)
  261. check_result (impl, empty_string, "", 5, 0);
  262. }
  263. static void
  264. test_locale (const char *locale, int extra_tests)
  265. {
  266. size_t i, j, k;
  267. const size_t test_len = MIN(TEST_LEN, 3 * 4096);
  268. if (setlocale (LC_CTYPE, locale) == NULL)
  269. {
  270. error (0, 0, "cannot set locale \"%s\"", locale);
  271. ret = 1;
  272. }
  273. bz12205 ();
  274. bz14195 ();
  275. printf ("%23s", locale);
  276. FOR_EACH_IMPL (impl, 0)
  277. printf ("\t%s", impl->name);
  278. putchar ('\n');
  279. for (i = 1; i < 16; ++i)
  280. {
  281. do_test (i, i, i - 1, i, 127, 0);
  282. do_test (i, i, i, i, 127, 0);
  283. do_test (i, i, i, i, 127, 1);
  284. do_test (i, i, i, i, 127, -1);
  285. do_test (i, i, i + 1, i, 127, 0);
  286. do_test (i, i, i + 1, i, 127, 1);
  287. do_test (i, i, i + 1, i, 127, -1);
  288. }
  289. for (i = 1; i < 10; ++i)
  290. {
  291. do_test (0, 0, (2 << i) - 1, 2 << i, 127, 0);
  292. do_test (0, 0, 2 << i, 2 << i, 254, 0);
  293. do_test (0, 0, (2 << i) + 1, 2 << i, 127, 0);
  294. do_test (0, 0, (2 << i) + 1, 2 << i, 254, 0);
  295. do_test (0, 0, 2 << i, 2 << i, 127, 1);
  296. do_test (0, 0, (2 << i) + 10, 2 << i, 127, 1);
  297. do_test (0, 0, 2 << i, 2 << i, 254, 1);
  298. do_test (0, 0, (2 << i) + 10, 2 << i, 254, 1);
  299. do_test (0, 0, 2 << i, 2 << i, 127, -1);
  300. do_test (0, 0, (2 << i) + 10, 2 << i, 127, -1);
  301. do_test (0, 0, 2 << i, 2 << i, 254, -1);
  302. do_test (0, 0, (2 << i) + 10, 2 << i, 254, -1);
  303. }
  304. for (i = 1; i < 8; ++i)
  305. {
  306. do_test (i, 2 * i, (8 << i) - 1, 8 << i, 127, 0);
  307. do_test (i, 2 * i, 8 << i, 8 << i, 127, 0);
  308. do_test (i, 2 * i, (8 << i) + 100, 8 << i, 127, 0);
  309. do_test (2 * i, i, (8 << i) - 1, 8 << i, 254, 0);
  310. do_test (2 * i, i, 8 << i, 8 << i, 254, 0);
  311. do_test (2 * i, i, (8 << i) + 100, 8 << i, 254, 0);
  312. do_test (i, 2 * i, 8 << i, 8 << i, 127, 1);
  313. do_test (i, 2 * i, (8 << i) + 100, 8 << i, 127, 1);
  314. do_test (2 * i, i, 8 << i, 8 << i, 254, 1);
  315. do_test (2 * i, i, (8 << i) + 100, 8 << i, 254, 1);
  316. do_test (i, 2 * i, 8 << i, 8 << i, 127, -1);
  317. do_test (i, 2 * i, (8 << i) + 100, 8 << i, 127, -1);
  318. do_test (2 * i, i, 8 << i, 8 << i, 254, -1);
  319. do_test (2 * i, i, (8 << i) + 100, 8 << i, 254, -1);
  320. }
  321. for (j = 0; extra_tests && j < 160; ++j)
  322. {
  323. for (i = 0; i < test_len;)
  324. {
  325. do_test (getpagesize () - j - 1, 0, i + 1, i, 127, 0);
  326. do_test (getpagesize () - j - 1, 0, i + 1, i, 127, 1);
  327. do_test (getpagesize () - j - 1, 0, i + 1, i, 127, -1);
  328. do_test (getpagesize () - j - 1, 0, i, i, 127, 0);
  329. do_test (getpagesize () - j - 1, 0, i - 1, i, 127, 0);
  330. do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, 0);
  331. do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, 1);
  332. do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, -1);
  333. do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, 0);
  334. do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, 1);
  335. do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, -1);
  336. do_test (getpagesize () - j - 1, j, i + 1, i, 127, 0);
  337. do_test (getpagesize () - j - 1, j, i + 1, i, 127, 1);
  338. do_test (getpagesize () - j - 1, j, i + 1, i, 127, -1);
  339. do_test (getpagesize () - j - 1, j, i, i, 127, 0);
  340. do_test (getpagesize () - j - 1, j, i - 1, i, 127, 0);
  341. do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, 0);
  342. do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, 1);
  343. do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, -1);
  344. do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, 0);
  345. do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, 1);
  346. do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, -1);
  347. do_test (0, getpagesize () - j - 1, i + 1, i, 127, 0);
  348. do_test (0, getpagesize () - j - 1, i + 1, i, 127, 1);
  349. do_test (0, getpagesize () - j - 1, i + 1, i, 127, -1);
  350. do_test (0, getpagesize () - j - 1, i, i, 127, 0);
  351. do_test (0, getpagesize () - j - 1, i - 1, i, 127, 0);
  352. do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, 0);
  353. do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, 1);
  354. do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, -1);
  355. do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 0);
  356. do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 1);
  357. do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, -1);
  358. do_test (j, getpagesize () - j - 1, i + 1, i, 127, 0);
  359. do_test (j, getpagesize () - j - 1, i + 1, i, 127, 1);
  360. do_test (j, getpagesize () - j - 1, i + 1, i, 127, -1);
  361. do_test (j, getpagesize () - j - 1, i, i, 127, 0);
  362. do_test (j, getpagesize () - j - 1, i - 1, i, 127, 0);
  363. do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, 0);
  364. do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, 1);
  365. do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, -1);
  366. do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 0);
  367. do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 1);
  368. do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, -1);
  369. for (k = 2; k <= 128; k += k)
  370. {
  371. do_test (getpagesize () - k, getpagesize () - j - 1, i - 1, i,
  372. 127, 0);
  373. do_test (getpagesize () - k - 1, getpagesize () - j - 1, i - 1,
  374. i, 127, 0);
  375. do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
  376. 127, 0);
  377. do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
  378. i, 127, 0);
  379. do_test (getpagesize () - k, getpagesize () - j - 1, i, i, 127,
  380. 0);
  381. do_test (getpagesize () - k - 1, getpagesize () - j - 1, i, i,
  382. 127, 0);
  383. do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
  384. 127, -1);
  385. do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
  386. i, 127, -1);
  387. do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
  388. 127, 1);
  389. do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
  390. i, 127, 1);
  391. }
  392. if (i < 32)
  393. {
  394. i += 1;
  395. }
  396. else if (i < 161)
  397. {
  398. i += 7;
  399. }
  400. else if (i + 161 < test_len)
  401. {
  402. i += 31;
  403. i *= 17;
  404. i /= 16;
  405. if (i + 161 > test_len)
  406. {
  407. i = test_len - 160;
  408. }
  409. }
  410. else if (i + 32 < test_len)
  411. {
  412. i += 7;
  413. }
  414. else
  415. {
  416. i += 1;
  417. }
  418. }
  419. }
  420. do_random_tests ();
  421. do_page_tests ();
  422. }
  423. int
  424. test_main (void)
  425. {
  426. test_init ();
  427. test_locale ("C", 1);
  428. test_locale ("en_US.ISO-8859-1", 0);
  429. test_locale ("en_US.UTF-8", 0);
  430. test_locale ("tr_TR.ISO-8859-9", 0);
  431. test_locale ("tr_TR.UTF-8", 0);
  432. return ret;
  433. }
  434. #include <support/test-driver.c>