File tree 1 file changed +3
-14
lines changed 1 file changed +3
-14
lines changed Original file line number Diff line number Diff line change 51
51
# header that should top every file
52
52
header = """\
53
53
#include <stddef.h>
54
- extern _Itype_for_any(T) void *calloc(size_t nmemb, size_t size)
55
- : itype(_Array_ptr<T>) byte_count(nmemb * size);
56
- extern _Itype_for_any(T) void free(void *pointer
57
- : itype(_Array_ptr<T>) byte_count(0));
58
- extern _Itype_for_any(T) void *malloc(size_t size)
59
- : itype(_Array_ptr<T>) byte_count(size);
60
- extern _Itype_for_any(T) void *realloc(void *pointer
61
- : itype(_Array_ptr<T>) byte_count(1),
62
- size_t size)
63
- : itype(_Array_ptr<T>) byte_count(size);
64
- extern _Unchecked int printf(const char *restrict format
65
- : itype(restrict _Nt_array_ptr<const char>), ...);
66
- extern _Unchecked char *strcpy(char *restrict dest, const char *restrict src
67
- : itype(restrict _Nt_array_ptr<const char>));
54
+ #include <stdlib.h>
55
+ #include <stdio.h>
56
+ #include <string.h>
68
57
"""
69
58
70
59
# miscallaneous struct definitions that may or may not be used by the files
You can’t perform that action at this time.
0 commit comments