db/insert_manual_states.pl: remove debug output

[smatch.git] / validation / optim / and-or-crash.c

static unsigned a(unsigned b, unsigned c) { (c << 1 | b & 1 << 1) >> 1; }

/*
 * check-name: catch crashes during AND-OR simplifications
 */