• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download

ok(int x)1 static 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 
always(int x)8 static void always(int x)
9 {
10 	__assert((x - x) == 0);		// true and simplified
11 }
12 
assumed(int x,int a,int b)13 static 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