1static void ok(int x)
2{
3	__assert((~x) == (~0 - x));	// true but not simplified yet
4	__assert_eq(~x, ~0 - x);
5	__assert_const(x & 0, 0);
6}
7
8static void always(int x)
9{
10	__assert((x - x) == 0);		// true and simplified
11}
12
13static void assumed(int x, int a, int b)
14{
15	__assume((a & ~b) == 0);
16	__assert_eq((x ^ a) | b, x | b);
17}
18
19/*
20 * check-name: scheck-ok
21 * check-command: scheck $file
22 */
23