db/fixup_kernel.sh: update vfs_write() code
[smatch.git] / validation / attr-inline.c
blob1b88ddb9d6b34bec104b3ceae75df55a08bd9e98
2 static inline __attribute__((__always_inline__)) int gt(int lhs, int rhs)
4 return lhs > rhs;
7 extern inline __attribute__((__gnu_inline__)) int ge(int lhs, int rhs)
9 return lhs >= rhs;
12 static __attribute__((__warning__("That's junk!"))) __attribute__((__unused__))
13 __attribute__((__noinline__))
14 void junk(void)
16 __asm__("");
20 * check-name: inline attributes