11
11
extern _Itype_for_any (T ) void * malloc (size_t size ) : itype (_Array_ptr < T > ) byte_count (size );
12
12
extern _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 );
13
13
extern _Itype_for_any (T ) void * calloc (size_t nmemb , size_t size ) : itype (_Array_ptr < T > ) byte_count (nmemb * size );
14
+ extern _Unchecked char * strcpy (char * restrict dest , const char * restrict src : itype (restrict _Nt_array_ptr < const char > ));
14
15
15
16
void basic1 () {
16
17
char data [] = "abcdefghijklmnop" ;
@@ -23,7 +24,7 @@ void basic1() {
23
24
}
24
25
25
26
//CHECK_NOALL: char data[] = "abcdefghijklmnop";
26
- //CHECK_ALL: char data _Checked [17] = "abcdefghijklmnop";
27
+ //CHECK_ALL: char data _Nt_checked [17] = "abcdefghijklmnop";
27
28
//CHECK: char *buffer = malloc<char>(50);
28
29
29
30
char * basic2 (int temp ) {
@@ -46,8 +47,8 @@ char* basic2(int temp) {
46
47
}
47
48
}
48
49
//CHECK: char * basic2(int temp) {
49
- //CHECK_ALL: char data _Checked [17] = "abcdefghijklmnop";
50
- //CHECK_ALL: char data2 _Checked [65] = "abcdefghijklmnopabcdefghijklmnopabcdefghijklmnopabcdefghijklmnop";
50
+ //CHECK_ALL: char data _Nt_checked [17] = "abcdefghijklmnop";
51
+ //CHECK_ALL: char data2 _Nt_checked [65] = "abcdefghijklmnopabcdefghijklmnopabcdefghijklmnopabcdefghijklmnop";
51
52
//CHECK: char *buffer = malloc<char>(8);
52
53
//CHECK: char *buffer = malloc<char>(1024);
53
54
@@ -194,7 +195,7 @@ struct student * new_student() {
194
195
}
195
196
//CHECK: _Ptr<struct student> new_student(void) {
196
197
//CHECK_NOALL: char name[] = "Bilbo Baggins";
197
- //CHECK_ALL: char name _Checked [14] = "Bilbo Baggins";
198
+ //CHECK_ALL: char name _Nt_checked [14] = "Bilbo Baggins";
198
199
//CHECK: _Ptr<struct student> new_s = malloc<struct student>(sizeof(struct student));
199
200
200
201
int main () {
0 commit comments