fix stale zero size allocation tests and missing test coverage

Author: thomasbuilds

test/.gitignore

@@ -31,6 +31,7 @@ invalid_malloc_usable_size_small
 invalid_malloc_usable_size_small_quarantine
 malloc_object_size
 malloc_object_size_offset
+malloc_object_size_zero
 invalid_malloc_object_size_small
 invalid_malloc_object_size_small_quarantine
 impossibly_large_malloc
@@ -41,4 +42,6 @@ overflow_small_8_byte
 uninitialized_read_large
 uninitialized_read_small
 realloc_init
+malloc_zero_different
+malloc_noreuse
 __pycache__/

test/malloc_object_size_zero.c

@@ -8,5 +8,5 @@ size_t malloc_object_size(void *ptr);
 OPTNONE int main(void) {
     char *p = malloc(0);
     size_t size = malloc_object_size(p);
-    return size == 0;
+    return size != 0;
 }

test/malloc_zero_different.c

@@ -6,5 +6,5 @@
 OPTNONE int main(void) {
     char *p = malloc(0);
     char *q = malloc(0);
-    return p != q;
+    return p == q;
 }

test/test_smc.py

@@ -238,5 +238,25 @@ def test_realloc_init(self):
             "realloc_init")
         self.assertEqual(returncode, 0)
 
+    def test_large_array_growth(self):
+        _stdout, _stderr, returncode = self.run_test(
+            "large_array_growth")
+        self.assertEqual(returncode, 0)
+
+    def test_malloc_object_size_zero(self):
+        _stdout, _stderr, returncode = self.run_test(
+            "malloc_object_size_zero")
+        self.assertEqual(returncode, 0)
+
+    def test_malloc_zero_different(self):
+        _stdout, _stderr, returncode = self.run_test(
+            "malloc_zero_different")
+        self.assertEqual(returncode, 0)
+
+    def test_malloc_noreuse(self):
+        _stdout, _stderr, returncode = self.run_test(
+            "malloc_noreuse")
+        self.assertEqual(returncode, 0)
+
 if __name__ == '__main__':
     unittest.main()