xref: /illumos-gate/usr/src/tools/smatch/src/validation/wide.c (revision edd580643f2cf1434e252cd7779e83182ea84945)
1 static char c = L'\x41';
2 static int n = 1/(0x41 - L'\x41');
3 /*
4  * check-name: wide character constants
5  *
6  * check-error-start
7 wide.c:2:17: warning: division by zero
8  * check-error-end
9  */
10