smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git] / validation / sm_compare11.c
blob8967f3155577e3b8a51a7bb28c68583856b9fdab
1 #include "check_debug.h"
3 int frob();
5 static int options_write(void)
7 int a = frob();
8 int b = frob();
9 int c = frob();
10 int d = frob();
12 a = d;
13 if (a > b + c) {
14 a = b + c;
16 __smatch_compare(a, d);
20 * check-name: smatch compare #11
21 * check-command: smatch -I.. sm_compare11.c
23 * check-output-start
24 sm_compare11.c:16 options_write() a <= d
25 * check-output-end