1 static unsigned a(unsigned b, unsigned c) { (c << 1 | b & 1 << 1) >> 1; }
   2 
   3 /*
   4  * check-name: catch crashes during AND-OR simplifications
   5  */