Allow forced attribute in function argument
[smatch.git] / validation / fored_arg.c
blob4ab71419a0d00007886c1891625df7ab0dd4a2e1
1 /*
2 * check-name: Forced function argument type.
3 */
5 #define __iomem __attribute__((noderef, address_space(2)))
6 #define __force __attribute__((force))
8 static void foo(__force void * addr)
13 static void bar(void)
15 void __iomem *a;
16 foo(a);