db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / range-check1.c
blob358da045c456a9b9b6f50eb149b3d026f16ee5fa
1 #define N 1024
3 _Bool check_ok(long i)
5 return i >= 0 && i < N;
8 /*
9 * check-name: range-check1
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-ignore
13 * check-output-contains: setbe\\..*0x3ff
14 * check-output-excludes: set[lga][te]\\.
15 * check-output-excludes: set[ab]\\.