1 struct field {
2     int b[8];
3 };
4 
5 struct buffer {
6     struct field a;
7     int x;
8 };
9 
main(int argc,char * argv[])10 int main(int argc, char* argv[])
11 {
12     struct buffer b1;
13     int i;
14 
15     b1.a.b[10] = 1;
16 
17     return 42;
18 }
19 
20 /*
21  * check-name: Check array overflow
22  * check-command: smatch sm_overflow.c
23  *
24  * check-output-start
25 sm_overflow.c:15 main() error: buffer overflow 'b1.a.b' 8 <= 10
26  * check-output-end
27  */
28