xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/and-or-crash.c (revision 1da57d551424de5a9d469760be7c4b4d4f10a755)
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  */
6