mtag_data: re-write in terms of mtag/offset
[smatch.git] / validation / sm_compare14.c
blobc8fe2579c6af6772d5bba6b77cb96c8f2c38f5cd
1 #include <stdio.h>
2 #include <string.h>
3 #include "check_debug.h"
5 int cmp_x(int x, int y)
7 if (x < y)
8 return -1;
9 if (x == y)
10 return 0;
11 return 1;
14 int x, y;
15 int test(void)
17 if (cmp_x(x, 4) < 0) {
18 __smatch_implied(x);
19 } else
20 __smatch_implied(x);
23 * check-name: smatch compare #14
24 * check-command: smatch -I.. sm_compare14.c
26 * check-output-start
27 sm_compare14.c:18 test() implied: x = 's32min-3'
28 sm_compare14.c:20 test() implied: x = '4-s32max'
29 * check-output-end