param_cleared: handle direct assignments
[smatch.git] / validation / check_byte_count-ice.c
blob7b85b96319ddfb3ce3e4fa9235653e2b1b22b89f
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: Newline in string or character constant
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 builtin:0:0: error: Expected } at end of function
16 builtin:0: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