side_effects: the iterate_all_kinds() macro has side effects deliberately
[smatch.git] / validation / sm_compare15.c
blob545e858eeb566091a19313c693603a016ea583e5
1 #include <stdio.h>
2 #include <string.h>
3 #include "check_debug.h"
5 int __fswab(int x)
7 return x;
10 int a;
11 int cmp_x(int x, int y)
13 if (__fswab(a) > 5)
14 return;
15 __smatch_implied(a);
20 * check-name: smatch compare #15
21 * check-command: smatch -I.. sm_compare15.c
23 * check-output-start
24 sm_compare15.c:15 cmp_x() implied: a = 's32min-5'
25 * check-output-end