Polymorphic bounds safe interface stdlib functions. (checkedc#306)

Changed the signature of malloc, calloc and free to make them polymorphic bounds safe interface functions and fixed the tests that failed due to the change in signature.

Author: Prabhuk

include/stdlib_checked.h

@@ -62,9 +62,9 @@ unsigned long long int strtoull(const char * restrict nptr :
 
 // TODO: express alignment constraints once where clauses have been added.
 void *aligned_alloc(size_t alignment, size_t size) : byte_count(size);
-void *calloc(size_t nmemb, size_t size) : byte_count(nmemb * size);
-void free(void *pointer : byte_count(0));
-void *malloc(size_t size) : byte_count(size);
+_Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>) byte_count(nmemb * size);
+_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
+_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
 void *realloc(void *pointer : byte_count(1), size_t size) : byte_count(size);
 
 char *getenv(const char *n : itype(_Nt_array_ptr<const char>)) : itype(_Nt_array_ptr<char>);

tests/typechecking/malloc_free.c

@@ -37,50 +37,50 @@ void f4(void) unchecked {
 
 // Test you can always `free` a `malloc`d ptr
 void f11(void) {
-    ptr<int> x = malloc(sizeof(int));
-    free(x);
+    ptr<int> x = malloc<int>(sizeof(int));
+    free<int>(x);
 }
 
 // Test you can always `free` a `calloc`d ptr
 void f12(void) {
-    ptr<int> x = calloc(1, sizeof(int));
-    free(x);
+    ptr<int> x = calloc<int>(1, sizeof(int));
+    free<int>(x);
 }
 
 // Test you can always `free` a `realloc`d ptr
 void f13(void) {
-    ptr<int> x = malloc(sizeof(int));
+    ptr<int> x = malloc<int>(sizeof(int));
     ptr<int> y = realloc(x, 2 * sizeof(int));
-    free(y);
+    free<int>(y);
 }
 
 // Test you can always `free` a `aligned_alloc`d ptr
 void f14(void) {
     ptr<int> x = aligned_alloc(_Alignof(int), sizeof(int));
-    free(x);
+    free<int>(x);
 }
 
 // Test you can always `free` a `malloc`d array_ptr
 void f21(void) {
-    array_ptr<int> x : count(4) = malloc(4 * sizeof(int));
-    free(x);
+    array_ptr<int> x : count(4) = malloc<int>(4 * sizeof(int));
+    free<int>(x);
 }
 
 // Test you can always `free` a `calloc`d array_ptr
 void f22(void) {
-    array_ptr<int> x : count(4) = calloc(4, sizeof(int));
-    free(x);
+    array_ptr<int> x : count(4) = calloc<int>(4, sizeof(int));
+    free<int>(x);
 }
 
 // Test you can always `free` a `realloc`d array_ptr
 void f23(void) {
-    array_ptr<int> x : count(4) = malloc(4 * sizeof(int));
+    array_ptr<int> x : count(4) = malloc<int>(4 * sizeof(int));
     array_ptr<int> y : count(8) = realloc(x, 8 * sizeof(int));
-    free(y);
+    free<int>(y);
 }
 
 // Test you can always `free` a `aligned_alloc`d array_ptr
 void f24(void) {
     array_ptr<int> x : count(4) = aligned_alloc(_Alignof(int), 4 * sizeof(int));
-    free(x);
+    free<int>(x);
 }