testautomation_stdlib.c 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707
  1. /**
  2. * Standard C library routine test suite
  3. */
  4. #include <stdio.h>
  5. #include "SDL.h"
  6. #include "SDL_test.h"
  7. /* Test case functions */
  8. /**
  9. * @brief Call to SDL_strlcpy
  10. */
  11. #undef SDL_strlcpy
  12. int stdlib_strlcpy(void *arg)
  13. {
  14. size_t result;
  15. char text[1024];
  16. const char *expected;
  17. result = SDL_strlcpy(text, "foo", sizeof(text));
  18. expected = "foo";
  19. SDLTest_AssertPass("Call to SDL_strlcpy(\"foo\")");
  20. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  21. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), (int)result);
  22. result = SDL_strlcpy(text, "foo", 2);
  23. expected = "f";
  24. SDLTest_AssertPass("Call to SDL_strlcpy(\"foo\") with buffer size 2");
  25. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  26. SDLTest_AssertCheck(result == 3, "Check result value, expected: 3, got: %d", (int)result);
  27. return TEST_COMPLETED;
  28. }
  29. #if defined(HAVE_WFORMAT) || defined(HAVE_WFORMAT_EXTRA_ARGS)
  30. #pragma GCC diagnostic push
  31. #if defined(HAVE_WFORMAT)
  32. #pragma GCC diagnostic ignored "-Wformat"
  33. #endif
  34. #if defined(HAVE_WFORMAT_EXTRA_ARGS)
  35. #pragma GCC diagnostic ignored "-Wformat-extra-args"
  36. #endif
  37. #endif
  38. /**
  39. * @brief Call to SDL_snprintf
  40. */
  41. #undef SDL_snprintf
  42. int stdlib_snprintf(void *arg)
  43. {
  44. int result;
  45. int predicted;
  46. char text[1024];
  47. const char *expected;
  48. size_t size;
  49. result = SDL_snprintf(text, sizeof(text), "%s", "foo");
  50. expected = "foo";
  51. SDLTest_AssertPass("Call to SDL_snprintf(\"%%s\", \"foo\")");
  52. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  53. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  54. result = SDL_snprintf(text, sizeof(text), "%S", L"foo");
  55. expected = "foo";
  56. SDLTest_AssertPass("Call to SDL_snprintf(\"%%S\", \"foo\")");
  57. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  58. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  59. result = SDL_snprintf(text, sizeof(text), "%ls", L"foo");
  60. expected = "foo";
  61. SDLTest_AssertPass("Call to SDL_snprintf(\"%%ls\", \"foo\")");
  62. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  63. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  64. result = SDL_snprintf(text, 2, "%s", "foo");
  65. expected = "f";
  66. SDLTest_AssertPass("Call to SDL_snprintf(\"%%s\", \"foo\") with buffer size 2");
  67. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  68. SDLTest_AssertCheck(result == 3, "Check result value, expected: 3, got: %d", result);
  69. result = SDL_snprintf(NULL, 0, "%s", "foo");
  70. SDLTest_AssertPass("Call to SDL_snprintf(NULL, 0, \"%%s\", \"foo\")");
  71. SDLTest_AssertCheck(result == 3, "Check result value, expected: 3, got: %d", result);
  72. result = SDL_snprintf(text, 2, "%s\n", "foo");
  73. expected = "f";
  74. SDLTest_AssertPass("Call to SDL_snprintf(\"%%s\\n\", \"foo\") with buffer size 2");
  75. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  76. SDLTest_AssertCheck(result == 4, "Check result value, expected: 4, got: %d", result);
  77. result = SDL_snprintf(text, sizeof(text), "%f", 0.0);
  78. predicted = SDL_snprintf(NULL, 0, "%f", 0.0);
  79. expected = "0.000000";
  80. SDLTest_AssertPass("Call to SDL_snprintf(\"%%f\", 0.0)");
  81. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  82. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  83. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  84. result = SDL_snprintf(text, sizeof(text), "%f", 1.0);
  85. predicted = SDL_snprintf(NULL, 0, "%f", 1.0);
  86. expected = "1.000000";
  87. SDLTest_AssertPass("Call to SDL_snprintf(\"%%f\", 1.0)");
  88. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  89. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  90. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  91. result = SDL_snprintf(text, sizeof(text), "%.f", 1.0);
  92. predicted = SDL_snprintf(NULL, 0, "%.f", 1.0);
  93. expected = "1";
  94. SDLTest_AssertPass("Call to SDL_snprintf(\"%%.f\", 1.0)");
  95. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  96. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  97. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  98. result = SDL_snprintf(text, sizeof(text), "%#.f", 1.0);
  99. predicted = SDL_snprintf(NULL, 0, "%#.f", 1.0);
  100. expected = "1.";
  101. SDLTest_AssertPass("Call to SDL_snprintf(\"%%#.f\", 1.0)");
  102. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  103. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  104. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  105. result = SDL_snprintf(text, sizeof(text), "%f", 1.0 + 1.0 / 3.0);
  106. predicted = SDL_snprintf(NULL, 0, "%f", 1.0 + 1.0 / 3.0);
  107. expected = "1.333333";
  108. SDLTest_AssertPass("Call to SDL_snprintf(\"%%f\", 1.0 + 1.0 / 3.0)");
  109. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  110. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  111. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  112. result = SDL_snprintf(text, sizeof(text), "%+f", 1.0 + 1.0 / 3.0);
  113. predicted = SDL_snprintf(NULL, 0, "%+f", 1.0 + 1.0 / 3.0);
  114. expected = "+1.333333";
  115. SDLTest_AssertPass("Call to SDL_snprintf(\"%%+f\", 1.0 + 1.0 / 3.0)");
  116. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  117. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  118. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  119. result = SDL_snprintf(text, sizeof(text), "%.2f", 1.0 + 1.0 / 3.0);
  120. predicted = SDL_snprintf(NULL, 0, "%.2f", 1.0 + 1.0 / 3.0);
  121. expected = "1.33";
  122. SDLTest_AssertPass("Call to SDL_snprintf(\"%%.2f\", 1.0 + 1.0 / 3.0)");
  123. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: %s, got: %s", expected, text);
  124. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  125. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  126. result = SDL_snprintf(text, sizeof(text), "%6.2f", 1.0 + 1.0 / 3.0);
  127. predicted = SDL_snprintf(NULL, 0, "%6.2f", 1.0 + 1.0 / 3.0);
  128. expected = " 1.33";
  129. SDLTest_AssertPass("Call to SDL_snprintf(\"%%6.2f\", 1.0 + 1.0 / 3.0)");
  130. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  131. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  132. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  133. result = SDL_snprintf(text, sizeof(text), "%06.2f", 1.0 + 1.0 / 3.0);
  134. predicted = SDL_snprintf(NULL, 0, "%06.2f", 1.0 + 1.0 / 3.0);
  135. expected = "001.33";
  136. SDLTest_AssertPass("Call to SDL_snprintf(\"%%06.2f\", 1.0 + 1.0 / 3.0)");
  137. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  138. SDLTest_AssertCheck(result == SDL_strlen(text), "Check result value, expected: %d, got: %d", (int)SDL_strlen(text), result);
  139. SDLTest_AssertCheck(predicted == result, "Check predicted value, expected: %d, got: %d", result, predicted);
  140. result = SDL_snprintf(text, 5, "%06.2f", 1.0 + 1.0 / 3.0);
  141. expected = "001.";
  142. SDLTest_AssertPass("Call to SDL_snprintf(\"%%06.2f\", 1.0 + 1.0 / 3.0) with buffer size 5");
  143. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  144. SDLTest_AssertCheck(result == 6, "Check result value, expected: 6, got: %d", result);
  145. size = 64;
  146. result = SDL_snprintf(text, sizeof(text), "%zu %s", size, "test");
  147. expected = "64 test";
  148. SDLTest_AssertPass("Call to SDL_snprintf(text, sizeof(text), \"%%zu %%s\", size, \"test\")");
  149. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  150. SDLTest_AssertCheck(result == 7, "Check result value, expected: 7, got: %d", result);
  151. result = SDL_snprintf(text, sizeof(text), "%p", (void *)0x1234abcd);
  152. expected = "0x1234abcd";
  153. SDLTest_AssertPass("Call to SDL_snprintf(text, sizeof(text), \"%%p\", 0x1234abcd)");
  154. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  155. SDLTest_AssertCheck(result == SDL_strlen(expected), "Check result value, expected: %d, got: %d", (int)SDL_strlen(expected), result);
  156. result = SDL_snprintf(text, sizeof(text), "A %p B", (void *)0x1234abcd);
  157. expected = "A 0x1234abcd B";
  158. SDLTest_AssertPass("Call to SDL_snprintf(text, sizeof(text), \"A %%p B\", 0x1234abcd)");
  159. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  160. SDLTest_AssertCheck(result == SDL_strlen(expected), "Check result value, expected: %d, got: %d", (int)SDL_strlen(expected), result);
  161. if (sizeof(void *) >= 8) {
  162. result = SDL_snprintf(text, sizeof(text), "%p", (void *)0x1ba07bddf60L);
  163. expected = "0x1ba07bddf60";
  164. SDLTest_AssertPass("Call to SDL_snprintf(text, sizeof(text), \"%%p\", 0x1ba07bddf60)");
  165. SDLTest_AssertCheck(SDL_strcmp(text, expected) == 0, "Check text, expected: '%s', got: '%s'", expected, text);
  166. SDLTest_AssertCheck(result == SDL_strlen(expected), "Check result value, expected: %d, got: %d", (int)SDL_strlen(expected), result);
  167. }
  168. return TEST_COMPLETED;
  169. }
  170. #if defined(HAVE_WFORMAT) || defined(HAVE_WFORMAT_EXTRA_ARGS)
  171. #pragma GCC diagnostic pop
  172. #endif
  173. /**
  174. * @brief Call to SDL_getenv and SDL_setenv
  175. */
  176. int stdlib_getsetenv(void *arg)
  177. {
  178. const int nameLen = 16;
  179. char name[17];
  180. int counter;
  181. int result;
  182. char *value1;
  183. char *value2;
  184. char *expected;
  185. int overwrite;
  186. char *text;
  187. /* Create a random name. This tests SDL_getenv, since we need to */
  188. /* make sure the variable is not set yet (it shouldn't). */
  189. do {
  190. for (counter = 0; counter < nameLen; counter++) {
  191. name[counter] = (char)SDLTest_RandomIntegerInRange(65, 90);
  192. }
  193. name[nameLen] = '\0';
  194. text = SDL_getenv(name);
  195. SDLTest_AssertPass("Call to SDL_getenv('%s')", name);
  196. if (text) {
  197. SDLTest_Log("Expected: NULL, Got: '%s' (%i)", text, (int)SDL_strlen(text));
  198. }
  199. } while (text);
  200. /* Create random values to set */
  201. value1 = SDLTest_RandomAsciiStringOfSize(10);
  202. value2 = SDLTest_RandomAsciiStringOfSize(10);
  203. /* Set value 1 without overwrite */
  204. overwrite = 0;
  205. expected = value1;
  206. result = SDL_setenv(name, value1, overwrite);
  207. SDLTest_AssertPass("Call to SDL_setenv('%s','%s', %i)", name, value1, overwrite);
  208. SDLTest_AssertCheck(result == 0, "Check result, expected: 0, got: %i", result);
  209. /* Check value */
  210. text = SDL_getenv(name);
  211. SDLTest_AssertPass("Call to SDL_getenv('%s')", name);
  212. SDLTest_AssertCheck(text != NULL, "Verify returned text is not NULL");
  213. if (text != NULL) {
  214. SDLTest_AssertCheck(
  215. SDL_strcmp(text, expected) == 0,
  216. "Verify returned text, expected: %s, got: %s",
  217. expected,
  218. text);
  219. }
  220. /* Set value 2 with overwrite */
  221. overwrite = 1;
  222. expected = value2;
  223. result = SDL_setenv(name, value2, overwrite);
  224. SDLTest_AssertPass("Call to SDL_setenv('%s','%s', %i)", name, value2, overwrite);
  225. SDLTest_AssertCheck(result == 0, "Check result, expected: 0, got: %i", result);
  226. /* Check value */
  227. text = SDL_getenv(name);
  228. SDLTest_AssertPass("Call to SDL_getenv('%s')", name);
  229. SDLTest_AssertCheck(text != NULL, "Verify returned text is not NULL");
  230. if (text != NULL) {
  231. SDLTest_AssertCheck(
  232. SDL_strcmp(text, expected) == 0,
  233. "Verify returned text, expected: %s, got: %s",
  234. expected,
  235. text);
  236. }
  237. /* Set value 1 without overwrite */
  238. overwrite = 0;
  239. expected = value2;
  240. result = SDL_setenv(name, value1, overwrite);
  241. SDLTest_AssertPass("Call to SDL_setenv('%s','%s', %i)", name, value1, overwrite);
  242. SDLTest_AssertCheck(result == 0, "Check result, expected: 0, got: %i", result);
  243. /* Check value */
  244. text = SDL_getenv(name);
  245. SDLTest_AssertPass("Call to SDL_getenv('%s')", name);
  246. SDLTest_AssertCheck(text != NULL, "Verify returned text is not NULL");
  247. if (text != NULL) {
  248. SDLTest_AssertCheck(
  249. SDL_strcmp(text, expected) == 0,
  250. "Verify returned text, expected: %s, got: %s",
  251. expected,
  252. text);
  253. }
  254. /* Set value 1 without overwrite */
  255. overwrite = 1;
  256. expected = value1;
  257. result = SDL_setenv(name, value1, overwrite);
  258. SDLTest_AssertPass("Call to SDL_setenv('%s','%s', %i)", name, value1, overwrite);
  259. SDLTest_AssertCheck(result == 0, "Check result, expected: 0, got: %i", result);
  260. /* Check value */
  261. text = SDL_getenv(name);
  262. SDLTest_AssertPass("Call to SDL_getenv('%s')", name);
  263. SDLTest_AssertCheck(text != NULL, "Verify returned text is not NULL");
  264. if (text != NULL) {
  265. SDLTest_AssertCheck(
  266. SDL_strcmp(text, expected) == 0,
  267. "Verify returned text, expected: %s, got: %s",
  268. expected,
  269. text);
  270. }
  271. /* Negative cases */
  272. for (overwrite = 0; overwrite <= 1; overwrite++) {
  273. result = SDL_setenv(NULL, value1, overwrite);
  274. SDLTest_AssertPass("Call to SDL_setenv(NULL,'%s', %i)", value1, overwrite);
  275. SDLTest_AssertCheck(result == -1, "Check result, expected: -1, got: %i", result);
  276. result = SDL_setenv("", value1, overwrite);
  277. SDLTest_AssertPass("Call to SDL_setenv('','%s', %i)", value1, overwrite);
  278. SDLTest_AssertCheck(result == -1, "Check result, expected: -1, got: %i", result);
  279. result = SDL_setenv("=", value1, overwrite);
  280. SDLTest_AssertPass("Call to SDL_setenv('=','%s', %i)", value1, overwrite);
  281. SDLTest_AssertCheck(result == -1, "Check result, expected: -1, got: %i", result);
  282. result = SDL_setenv(name, NULL, overwrite);
  283. SDLTest_AssertPass("Call to SDL_setenv('%s', NULL, %i)", name, overwrite);
  284. SDLTest_AssertCheck(result == -1, "Check result, expected: -1, got: %i", result);
  285. }
  286. /* Clean up */
  287. SDL_free(value1);
  288. SDL_free(value2);
  289. return TEST_COMPLETED;
  290. }
  291. #if defined(HAVE_WFORMAT) || defined(HAVE_WFORMAT_EXTRA_ARGS)
  292. #pragma GCC diagnostic push
  293. #if defined(HAVE_WFORMAT)
  294. #pragma GCC diagnostic ignored "-Wformat"
  295. #endif
  296. #if defined(HAVE_WFORMAT_EXTRA_ARGS)
  297. #pragma GCC diagnostic ignored "-Wformat-extra-args"
  298. #endif
  299. #endif
  300. /**
  301. * @brief Call to SDL_sscanf
  302. */
  303. #undef SDL_sscanf
  304. int stdlib_sscanf(void *arg)
  305. {
  306. int output;
  307. int result;
  308. int expected_output;
  309. int expected_result;
  310. short short_output, expected_short_output;
  311. long long_output, expected_long_output;
  312. long long long_long_output, expected_long_long_output;
  313. size_t size_output, expected_size_output;
  314. char text[128], text2[128];
  315. expected_output = output = 123;
  316. expected_result = -1;
  317. result = SDL_sscanf("", "%i", &output);
  318. SDLTest_AssertPass("Call to SDL_sscanf(\"\", \"%%i\", &output)");
  319. SDLTest_AssertCheck(expected_output == output, "Check output, expected: %i, got: %i", expected_output, output);
  320. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  321. expected_output = output = 123;
  322. expected_result = 0;
  323. result = SDL_sscanf("a", "%i", &output);
  324. SDLTest_AssertPass("Call to SDL_sscanf(\"a\", \"%%i\", &output)");
  325. SDLTest_AssertCheck(expected_output == output, "Check output, expected: %i, got: %i", expected_output, output);
  326. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  327. output = 123;
  328. expected_output = 2;
  329. expected_result = 1;
  330. result = SDL_sscanf("2", "%i", &output);
  331. SDLTest_AssertPass("Call to SDL_sscanf(\"2\", \"%%i\", &output)");
  332. SDLTest_AssertCheck(expected_output == output, "Check output, expected: %i, got: %i", expected_output, output);
  333. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  334. output = 123;
  335. expected_output = 0xa;
  336. expected_result = 1;
  337. result = SDL_sscanf("aa", "%1x", &output);
  338. SDLTest_AssertPass("Call to SDL_sscanf(\"aa\", \"%%1x\", &output)");
  339. SDLTest_AssertCheck(expected_output == output, "Check output, expected: %i, got: %i", expected_output, output);
  340. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  341. #define SIZED_TEST_CASE(type, var, format_specifier) \
  342. var##_output = 123; \
  343. expected_##var##_output = (type)(((unsigned type)(~0)) >> 1); \
  344. expected_result = 1; \
  345. result = SDL_snprintf(text, sizeof(text), format_specifier, expected_##var##_output); \
  346. result = SDL_sscanf(text, format_specifier, &var##_output); \
  347. SDLTest_AssertPass("Call to SDL_sscanf(\"%s\", \"%s\", &output)", text, #format_specifier); \
  348. SDLTest_AssertCheck(expected_##var##_output == var##_output, "Check output, expected: " format_specifier ", got: " format_specifier, expected_##var##_output, var##_output); \
  349. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result); \
  350. \
  351. var##_output = 123; \
  352. expected_##var##_output = ~(type)(((unsigned type)(~0)) >> 1); \
  353. expected_result = 1; \
  354. result = SDL_snprintf(text, sizeof(text), format_specifier, expected_##var##_output); \
  355. result = SDL_sscanf(text, format_specifier, &var##_output); \
  356. SDLTest_AssertPass("Call to SDL_sscanf(\"%s\", \"%s\", &output)", text, #format_specifier); \
  357. SDLTest_AssertCheck(expected_##var##_output == var##_output, "Check output, expected: " format_specifier ", got: " format_specifier, expected_##var##_output, var##_output); \
  358. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  359. SIZED_TEST_CASE(short, short, "%hd")
  360. SIZED_TEST_CASE(long, long, "%ld")
  361. SIZED_TEST_CASE(long long, long_long, "%lld")
  362. size_output = 123;
  363. expected_size_output = ~((size_t)0);
  364. expected_result = 1;
  365. result = SDL_snprintf(text, sizeof(text), "%zu", expected_size_output);
  366. result = SDL_sscanf(text, "%zu", &size_output);
  367. SDLTest_AssertPass("Call to SDL_sscanf(\"%s\", \"%%zu\", &output)", text);
  368. SDLTest_AssertCheck(expected_size_output == size_output, "Check output, expected: %zu, got: %zu", expected_size_output, size_output);
  369. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  370. expected_result = 1;
  371. text[0] = '\0';
  372. result = SDL_sscanf("abc def", "%s", text);
  373. SDLTest_AssertPass("Call to SDL_sscanf(\"abc def\", \"%%s\", text)");
  374. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  375. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  376. expected_result = 1;
  377. text[0] = '\0';
  378. result = SDL_sscanf("abc,def", "%s", text);
  379. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%s\", text)");
  380. SDLTest_AssertCheck(SDL_strcmp(text, "abc,def") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  381. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  382. expected_result = 1;
  383. text[0] = '\0';
  384. result = SDL_sscanf("abc,def", "%[cba]", text);
  385. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%[cba]\", text)");
  386. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  387. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  388. expected_result = 1;
  389. text[0] = '\0';
  390. result = SDL_sscanf("abc,def", "%[a-z]", text);
  391. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%[z-a]\", text)");
  392. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  393. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  394. expected_result = 1;
  395. text[0] = '\0';
  396. result = SDL_sscanf("abc,def", "%[^,]", text);
  397. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%[^,]\", text)");
  398. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  399. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  400. expected_result = 0;
  401. text[0] = '\0';
  402. result = SDL_sscanf("abc,def", "%[A-Z]", text);
  403. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%[A-Z]\", text)");
  404. SDLTest_AssertCheck(SDL_strcmp(text, "") == 0, "Check output, expected: \"\", got: \"%s\"", text);
  405. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  406. expected_result = 2;
  407. text[0] = '\0';
  408. text2[0] = '\0';
  409. result = SDL_sscanf("abc,def", "%[abc],%[def]", text, text2);
  410. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%[abc],%%[def]\", text)");
  411. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  412. SDLTest_AssertCheck(SDL_strcmp(text2, "def") == 0, "Check output, expected: \"def\", got: \"%s\"", text2);
  413. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  414. expected_result = 2;
  415. text[0] = '\0';
  416. text2[0] = '\0';
  417. result = SDL_sscanf("abc,def", "%[abc]%*[,]%[def]", text, text2);
  418. SDLTest_AssertPass("Call to SDL_sscanf(\"abc,def\", \"%%[abc]%%*[,]%%[def]\", text)");
  419. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  420. SDLTest_AssertCheck(SDL_strcmp(text2, "def") == 0, "Check output, expected: \"def\", got: \"%s\"", text2);
  421. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  422. expected_result = 2;
  423. text[0] = '\0';
  424. text2[0] = '\0';
  425. result = SDL_sscanf("abc def", "%[abc] %[def]", text, text2);
  426. SDLTest_AssertPass("Call to SDL_sscanf(\"abc def\", \"%%[abc] %%[def]\", text)");
  427. SDLTest_AssertCheck(SDL_strcmp(text, "abc") == 0, "Check output, expected: \"abc\", got: \"%s\"", text);
  428. SDLTest_AssertCheck(SDL_strcmp(text2, "def") == 0, "Check output, expected: \"def\", got: \"%s\"", text2);
  429. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  430. expected_result = 1;
  431. text[0] = '\0';
  432. result = SDL_sscanf("abc123XYZ", "%[a-zA-Z0-9]", text);
  433. SDLTest_AssertPass("Call to SDL_sscanf(\"abc123XYZ\", \"%%[a-zA-Z0-9]\", text)");
  434. SDLTest_AssertCheck(SDL_strcmp(text, "abc123XYZ") == 0, "Check output, expected: \"abc123XYZ\", got: \"%s\"", text);
  435. SDLTest_AssertCheck(expected_result == result, "Check return value, expected: %i, got: %i", expected_result, result);
  436. return TEST_COMPLETED;
  437. }
  438. #if defined(HAVE_WFORMAT) || defined(HAVE_WFORMAT_EXTRA_ARGS)
  439. #pragma GCC diagnostic pop
  440. #endif
  441. #if defined(_WIN64)
  442. #define SIZE_FORMAT "I64u"
  443. #elif defined(__WIN32__)
  444. #define SIZE_FORMAT "I32u"
  445. #else
  446. #define SIZE_FORMAT "zu"
  447. #endif
  448. typedef struct
  449. {
  450. size_t a;
  451. size_t b;
  452. size_t result;
  453. int status;
  454. } overflow_test;
  455. static const overflow_test multiplications[] = {
  456. { 1, 1, 1, 0 },
  457. { 0, 0, 0, 0 },
  458. { SDL_SIZE_MAX, 0, 0, 0 },
  459. { SDL_SIZE_MAX, 1, SDL_SIZE_MAX, 0 },
  460. { SDL_SIZE_MAX / 2, 2, SDL_SIZE_MAX - (SDL_SIZE_MAX % 2), 0 },
  461. { SDL_SIZE_MAX / 23, 23, SDL_SIZE_MAX - (SDL_SIZE_MAX % 23), 0 },
  462. { (SDL_SIZE_MAX / 2) + 1, 2, 0, -1 },
  463. { (SDL_SIZE_MAX / 23) + 42, 23, 0, -1 },
  464. { SDL_SIZE_MAX, SDL_SIZE_MAX, 0, -1 },
  465. };
  466. static const overflow_test additions[] = {
  467. { 1, 1, 2, 0 },
  468. { 0, 0, 0, 0 },
  469. { SDL_SIZE_MAX, 0, SDL_SIZE_MAX, 0 },
  470. { SDL_SIZE_MAX - 1, 1, SDL_SIZE_MAX, 0 },
  471. { SDL_SIZE_MAX - 42, 23, SDL_SIZE_MAX - (42 - 23), 0 },
  472. { SDL_SIZE_MAX, 1, 0, -1 },
  473. { SDL_SIZE_MAX, 23, 0, -1 },
  474. { SDL_SIZE_MAX, SDL_SIZE_MAX, 0, -1 },
  475. };
  476. static int
  477. stdlib_overflow(void *arg)
  478. {
  479. size_t i;
  480. size_t useBuiltin;
  481. for (useBuiltin = 0; useBuiltin < 2; useBuiltin++) {
  482. if (useBuiltin) {
  483. SDLTest_Log("Using gcc/clang builtins if possible");
  484. } else {
  485. SDLTest_Log("Not using gcc/clang builtins");
  486. }
  487. for (i = 0; i < SDL_arraysize(multiplications); i++) {
  488. const overflow_test *t = &multiplications[i];
  489. int status;
  490. size_t result = ~t->result;
  491. if (useBuiltin) {
  492. status = SDL_size_mul_overflow(t->a, t->b, &result);
  493. } else {
  494. /* This disables the macro that tries to use a gcc/clang
  495. * builtin, so we test the fallback implementation instead. */
  496. status = (SDL_size_mul_overflow)(t->a, t->b, &result);
  497. }
  498. if (t->status == 0) {
  499. SDLTest_AssertCheck(status == 0,
  500. "(%" SIZE_FORMAT " * %" SIZE_FORMAT ") should succeed",
  501. t->a, t->b);
  502. SDLTest_AssertCheck(result == t->result,
  503. "(%" SIZE_FORMAT " * %" SIZE_FORMAT "): expected %" SIZE_FORMAT ", got %" SIZE_FORMAT,
  504. t->a, t->b, t->result, result);
  505. } else {
  506. SDLTest_AssertCheck(status == -1,
  507. "(%" SIZE_FORMAT " * %" SIZE_FORMAT ") should fail",
  508. t->a, t->b);
  509. }
  510. if (t->a == t->b) {
  511. continue;
  512. }
  513. result = ~t->result;
  514. if (useBuiltin) {
  515. status = SDL_size_mul_overflow(t->b, t->a, &result);
  516. } else {
  517. status = (SDL_size_mul_overflow)(t->b, t->a, &result);
  518. }
  519. if (t->status == 0) {
  520. SDLTest_AssertCheck(status == 0,
  521. "(%" SIZE_FORMAT " * %" SIZE_FORMAT ") should succeed",
  522. t->b, t->a);
  523. SDLTest_AssertCheck(result == t->result,
  524. "(%" SIZE_FORMAT " * %" SIZE_FORMAT "): expected %" SIZE_FORMAT ", got %" SIZE_FORMAT,
  525. t->b, t->a, t->result, result);
  526. } else {
  527. SDLTest_AssertCheck(status == -1,
  528. "(%" SIZE_FORMAT " * %" SIZE_FORMAT ") should fail",
  529. t->b, t->a);
  530. }
  531. }
  532. for (i = 0; i < SDL_arraysize(additions); i++) {
  533. const overflow_test *t = &additions[i];
  534. int status;
  535. size_t result = ~t->result;
  536. if (useBuiltin) {
  537. status = SDL_size_add_overflow(t->a, t->b, &result);
  538. } else {
  539. status = (SDL_size_add_overflow)(t->a, t->b, &result);
  540. }
  541. if (t->status == 0) {
  542. SDLTest_AssertCheck(status == 0,
  543. "(%" SIZE_FORMAT " + %" SIZE_FORMAT ") should succeed",
  544. t->a, t->b);
  545. SDLTest_AssertCheck(result == t->result,
  546. "(%" SIZE_FORMAT " + %" SIZE_FORMAT "): expected %" SIZE_FORMAT ", got %" SIZE_FORMAT,
  547. t->a, t->b, t->result, result);
  548. } else {
  549. SDLTest_AssertCheck(status == -1,
  550. "(%" SIZE_FORMAT " + %" SIZE_FORMAT ") should fail",
  551. t->a, t->b);
  552. }
  553. if (t->a == t->b) {
  554. continue;
  555. }
  556. result = ~t->result;
  557. if (useBuiltin) {
  558. status = SDL_size_add_overflow(t->b, t->a, &result);
  559. } else {
  560. status = (SDL_size_add_overflow)(t->b, t->a, &result);
  561. }
  562. if (t->status == 0) {
  563. SDLTest_AssertCheck(status == 0,
  564. "(%" SIZE_FORMAT " + %" SIZE_FORMAT ") should succeed",
  565. t->b, t->a);
  566. SDLTest_AssertCheck(result == t->result,
  567. "(%" SIZE_FORMAT " + %" SIZE_FORMAT "): expected %" SIZE_FORMAT ", got %" SIZE_FORMAT,
  568. t->b, t->a, t->result, result);
  569. } else {
  570. SDLTest_AssertCheck(status == -1,
  571. "(%" SIZE_FORMAT " + %" SIZE_FORMAT ") should fail",
  572. t->b, t->a);
  573. }
  574. }
  575. }
  576. return TEST_COMPLETED;
  577. }
  578. /* ================= Test References ================== */
  579. /* Standard C routine test cases */
  580. static const SDLTest_TestCaseReference stdlibTest1 = {
  581. (SDLTest_TestCaseFp)stdlib_strlcpy, "stdlib_strlcpy", "Call to SDL_strlcpy", TEST_ENABLED
  582. };
  583. static const SDLTest_TestCaseReference stdlibTest2 = {
  584. (SDLTest_TestCaseFp)stdlib_snprintf, "stdlib_snprintf", "Call to SDL_snprintf", TEST_ENABLED
  585. };
  586. static const SDLTest_TestCaseReference stdlibTest3 = {
  587. (SDLTest_TestCaseFp)stdlib_getsetenv, "stdlib_getsetenv", "Call to SDL_getenv and SDL_setenv", TEST_ENABLED
  588. };
  589. static const SDLTest_TestCaseReference stdlibTest4 = {
  590. (SDLTest_TestCaseFp)stdlib_sscanf, "stdlib_sscanf", "Call to SDL_sscanf", TEST_ENABLED
  591. };
  592. static const SDLTest_TestCaseReference stdlibTestOverflow = {
  593. stdlib_overflow, "stdlib_overflow", "Overflow detection", TEST_ENABLED
  594. };
  595. /* Sequence of Standard C routine test cases */
  596. static const SDLTest_TestCaseReference *stdlibTests[] = {
  597. &stdlibTest1,
  598. &stdlibTest2,
  599. &stdlibTest3,
  600. &stdlibTest4,
  601. &stdlibTestOverflow,
  602. NULL
  603. };
  604. /* Standard C routine test suite (global) */
  605. SDLTest_TestSuiteReference stdlibTestSuite = {
  606. "Stdlib",
  607. NULL,
  608. stdlibTests,
  609. NULL
  610. };