Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 1 | // RUN: clang -checker-simple -verify %s |
Zhongxing Xu | 2e97120 | 2008-10-25 14:11:23 +0000 | [diff] [blame] | 2 | // RUN: clang -checker-simple -analyzer-store-region -verify %s |
Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 3 | |
Zhongxing Xu | 72e1682 | 2008-10-24 08:51:58 +0000 | [diff] [blame] | 4 | struct s { |
5 | int data; | ||||
6 | int data_array[10]; | ||||
7 | }; | ||||
Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 8 | |
Zhongxing Xu | 234a7d2 | 2008-10-27 09:19:25 +0000 | [diff] [blame] | 9 | typedef struct { |
10 | int data; | ||||
11 | } STYPE; | ||||
12 | |||||
Zhongxing Xu | 04b90bc | 2008-11-02 13:17:44 +0000 | [diff] [blame^] | 13 | void g1(struct s* p); |
14 | |||||
Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 15 | void f(void) { |
16 | int a[10]; | ||||
17 | int (*p)[10]; | ||||
18 | p = &a; | ||||
19 | (*p)[3] = 1; | ||||
20 | |||||
21 | struct s d; | ||||
22 | struct s *q; | ||||
23 | q = &d; | ||||
Zhongxing Xu | 72e1682 | 2008-10-24 08:51:58 +0000 | [diff] [blame] | 24 | q->data = 3; |
25 | d.data_array[9] = 17; | ||||
Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 26 | } |
Zhongxing Xu | 2e97120 | 2008-10-25 14:11:23 +0000 | [diff] [blame] | 27 | |
28 | void f2() { | ||||
29 | char *p = "/usr/local"; | ||||
30 | char (*q)[4]; | ||||
31 | q = &"abc"; | ||||
32 | } | ||||
Zhongxing Xu | 234a7d2 | 2008-10-27 09:19:25 +0000 | [diff] [blame] | 33 | |
34 | void f3() { | ||||
35 | STYPE s; | ||||
36 | } | ||||
Zhongxing Xu | df2aa1e | 2008-10-31 10:23:14 +0000 | [diff] [blame] | 37 | |
38 | void f4() { | ||||
39 | int a[] = { 1, 2, 3}; | ||||
40 | int b[3] = { 1, 2 }; | ||||
41 | } | ||||
Zhongxing Xu | 04b90bc | 2008-11-02 13:17:44 +0000 | [diff] [blame^] | 42 | |
43 | void f5() { | ||||
44 | struct s data; | ||||
45 | g1(&data); | ||||
46 | } |