expressions: make assign_expression() take an op argument
[smatch.git] / validation / typeof-addresspace.c
bloba94f77a3b78ee1970a7d58e4f93fc71eb688f75e
1 #define __as __attribute__((address_space(1)))
3 static void test_as(void)
5 int __as obj, *ptr;
6 typeof(obj) var = obj;
7 typeof(ptr) ptr2 = ptr;
8 typeof(*ptr) var2 = obj;
9 typeof(*ptr) *ptr3 = ptr; /* check-should-pass */
10 typeof(obj) *ptr4 = ptr; /* check-should-pass */
11 obj = obj;
12 ptr = ptr;
13 ptr = &obj;
14 obj = *ptr;
18 * check-name: typeof-addresspace.c
19 * check-known-to-fail