Remove some false positives and enable the check.
[smatch.git] / validation / check_byte_count-ice.c
blob93f0dc7adb7968dc7d53685cb3f807d05a902616
1 extern void *memset (void *s, int c, int n);
3 static void foo(void *a)
5 memset(foo, + ', 20);
7 /*
8 * check-name: Segfault in check_byte_count after syntax error
10 * check-error-start
11 check_byte_count-ice.c:5:18: error: Bad character constant
12 check_byte_count-ice.c:5:8: error: not enough arguments for function memset
13 * check-error-end