blob: 614863fba381b6fe420f52482532ae30eaf0563c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#define __safe __attribute__((safe))
static void test_safe(void)
{
int __safe obj, *ptr;
typeof(obj) var = obj;
typeof(ptr) ptr2 = ptr;
typeof(*ptr) var2 = obj;
typeof(*ptr) *ptr3 = ptr;
typeof(obj) *ptr4 = ptr;
obj = obj;
ptr = ptr;
ptr = &obj;
obj = *ptr;
}
/*
* check-name: typeof-safe
* check-known-to-fail
*
* check-error-start
* check-error-end
*/
|