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