Skip to content

Commit 5a862a9

Browse files
mattmccutchen-ccimattmccutchen-cci
committed
Standardize checked declarations.
This change was automated, but we need to review it to reassure ourselves that it doesn't affect the validity of the tests.
1 parent abb7080 commit 5a862a9

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

52 files changed

+52
-52
lines changed

‎clang/test/3C/b_tests/b10_allsafepointerstruct.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b11_calleestructnp.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b12_callerstructnp.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b13_calleestructp.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b14_callerstructp.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b15_calleepointerstruct.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b16_callerpointerstruct.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b17_bothstructnp.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b18_bothstructp.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b19_bothpointerstruct.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b1_allsafe.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
int *sus(int *x, int *y) {

‎clang/test/3C/b_tests/b20_allsafepointerstructproto.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b21_calleepointerstructproto.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b22_callerpointerstructproto.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b23_explicitunsafecast.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
int *sus(int *x, int *y) {

‎clang/test/3C/b_tests/b23_retswitchexplicit.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
char *sus(int *x, int *y) {

‎clang/test/3C/b_tests/b24_implicitunsafecast.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
int *sus(int *x, int *y) {

‎clang/test/3C/b_tests/b24_retswitchimplicit.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
char *sus(int *x, int *y) {

‎clang/test/3C/b_tests/b25_castprotosafe.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
int *sus(int *, int *);

‎clang/test/3C/b_tests/b26_castprotounsafe.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
int *sus(int *, int *);

‎clang/test/3C/b_tests/b26_castprotounsafeimplicit.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
int *sus(int *, int *);

‎clang/test/3C/b_tests/b26_castprotounsafeimplicitretswitch.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
char *sus(int *, int *);

‎clang/test/3C/b_tests/b27_structcastsafe.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b28_structcastexplicit.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b28_structcastimplicit.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b28_structimplicitretcast.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

‎clang/test/3C/b_tests/b29_structprotocastsafe.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ _Itype_for_any(T) void *calloc(size_t nmemb, size_t size) : itype(_Array_ptr<T>)
99
_Itype_for_any(T) void free(void *pointer : itype(_Array_ptr<T>) byte_count(0));
1010
_Itype_for_any(T) void *malloc(size_t size) : itype(_Array_ptr<T>) byte_count(size);
1111
_Itype_for_any(T) void *realloc(void *pointer : itype(_Array_ptr<T>) byte_count(1), size_t size) : itype(_Array_ptr<T>) byte_count(size);
12-
int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
12+
_Unchecked int printf(const char *restrict format : itype(restrict _Nt_array_ptr<const char>), ...);
1313
_Unchecked char *strcpy(char *restrict dest, const char *restrict src : itype(restrict _Nt_array_ptr<const char>));
1414

1515
struct np {

0 commit comments

Comments
 (0)