atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / check_byte_count-ice.c
blob88783865f1524cac2c0549f6b15dae3c216b10e9
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:6:0: warning: missing terminating ' character
12 check_byte_count-ice.c:5:23: warning: multi-character character constant
13 check_byte_count-ice.c:6:1: error: Expected ) in function call
14 check_byte_count-ice.c:6:1: error: got }
15 check_byte_count-ice.c:20:0: error: Expected } at end of function
16 check_byte_count-ice.c:20:0: error: got end-of-input
17 check_byte_count-ice.c:5:15: error: not enough arguments for function memset
18 * check-error-end