Add tests for stdio.h

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/test_fread_int_overflow.c b/tests/test_fread_int_overflow.c
new file mode 100644
index 0000000..2f0c43f
--- /dev/null
+++ b/tests/test_fread_int_overflow.c
@@ -0,0 +1,14 @@
+#include "common.h"
+
+#include <stdio.h>
+
+int main(int argc, char** argv) {
+  char buffer[12] = {0};
+
+  CHK_FAIL_START
+  fread(buffer, (size_t)-1, (size_t)-1, NULL);
+  CHK_FAIL_END
+
+  puts(buffer);
+  return ret;
+}