type: introduce get_final_type()
[smatch.git] / validation / typeof-attribute.c
blobf79a61c4eb91ceee25c549772dd5671a7257e5fe
1 #define __percpu __attribute__((noderef, address_space(3)))
3 /* Turn v back into a normal var. */
4 #define convert(v) \
5 (*(typeof(v) __attribute__((address_space(0), force)) *)(&v))
7 int main(int argc, char *argv)
9 unsigned int __percpu x;
11 convert(x) = 0;
12 return 0;
15 * check-name: Rusty Russell's typeof attribute casting.