extra: fix bug handling untracked pointers
[smatch.git] / validation / wide.c
blob847a680f0de0d83e5bcc6d174192e857a95b970b
1 static char c = L'\x41';
2 static int n = 1/(0x41 - L'\x41');
3 /*
4 * check-name: wide character constants
6 * check-error-start
7 wide.c:2:17: warning: division by zero
8 * check-error-end
9 */