diff options
Diffstat (limited to 'validation/scheck/ok.c')
| -rw-r--r-- | validation/scheck/ok.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/scheck/ok.c b/validation/scheck/ok.c index f4a0daab..8f65013e 100644 --- a/validation/scheck/ok.c +++ b/validation/scheck/ok.c @@ -2,6 +2,7 @@ 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) |