check_deref: use add_dereference_hook()
[smatch.git] / validation / expand / builtin_constant_inline0.c
blobd72a211fd26782cb4b27a57355dfda7040008fd6
1 static inline int is_const(long size)
3 return __builtin_constant_p(size) ? size : 0;
6 int foo(void)
8 return is_const(42);
12 * check-name: builtin_constant_inline0
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-start
16 foo:
17 .L0:
18 <entry-point>
19 # call %r1 <- is_const, $42
20 ret.32 $42
23 * check-output-end