validation/scheck/ko.c


1
2
3
4
5
6
7
8
9
10

static void ko(int x)
{
	__assert((~x) == (~0 + x));
}

/*
 * check-name: scheck-ko
 * check-command: scheck $file
 * check-known-to-fail
 */