xref: /illumos-gate/usr/src/tools/smatch/src/validation/crash-bb_target.c (revision edd4c52697927997fb1ce3c2c4c425e5ca3a56d6)
1 a() {
2   &&b
3 
4 /*
5  * check-name: crash bb_target
6  * check-command: test-linearize $file
7  *
8  * check-error-ignore
9  * check-output-ignore
10  */
11