smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / sm_compare16.c
blobbaa053a8685223e2a8d2bcd80d91b0744c685496
1 #include <stdio.h>
2 #include <string.h>
3 #include "check_debug.h"
5 int return_x(int x)
7 return x;
10 int a;
11 int cmp_x(int x, int y)
13 if (a > return_x(5))
14 return;
15 __smatch_implied(a);
20 * check-name: smatch compare #16
21 * check-command: smatch -I.. sm_compare16.c
23 * check-output-start
24 sm_compare16.c:15 cmp_x() implied: a = 's32min-5'
25 * check-output-end