Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 1 | // RUN: clang -checker-simple -verify %s |
2 | |||||
Zhongxing Xu | 72e1682 | 2008-10-24 08:51:58 +0000 | [diff] [blame^] | 3 | struct s { |
4 | int data; | ||||
5 | int data_array[10]; | ||||
6 | }; | ||||
Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 7 | |
8 | void f(void) { | ||||
9 | int a[10]; | ||||
10 | int (*p)[10]; | ||||
11 | p = &a; | ||||
12 | (*p)[3] = 1; | ||||
13 | |||||
14 | struct s d; | ||||
15 | struct s *q; | ||||
16 | q = &d; | ||||
Zhongxing Xu | 72e1682 | 2008-10-24 08:51:58 +0000 | [diff] [blame^] | 17 | q->data = 3; |
18 | d.data_array[9] = 17; | ||||
Zhongxing Xu | ef8b28e | 2008-10-17 05:19:52 +0000 | [diff] [blame] | 19 | } |