xref: /illumos-gate/usr/src/tools/smatch/src/validation/mem2reg/init-global-array.c (revision 4c87aefe8930bd07275b8dd2e96ea5f24d93a52e)
1 struct s {
2 	int a[2];
3 };
4 
5 
6 static struct s s;
7 
8 static int sarray(void)
9 {
10 	s.a[1] = 1;
11 	return s.a[1];
12 }
13 
14 /*
15  * check-name: init global array
16  * check-command: test-linearize $file
17  * check-output-ignore
18  * check-output-excludes: load\\.
19  * check-output-pattern(1): store\\.
20  * check-output-pattern(1): ret.32 *\\$1
21  */
22