xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/degen-array.c (revision b30d193948be5a7794d7ae3ba0ed9c2f72c88e0f)
1 extern int a[3];
2 
3 int (*fa(int i))[] { return &a; }
4 int *f0(int i) { return &a[0]; }
5 int *fd(int i) { return  a; }
6 
7 /*
8  * check-name: degen-array
9  * check-command: test-linearize -m64 -Wno-decl $file
10  * check-assert: sizeof(void *) == 8
11  *
12  * check-output-start
13 fa:
14 .L0:
15 	<entry-point>
16 	ret.64      a
17 
18 
19 f0:
20 .L2:
21 	<entry-point>
22 	ret.64      a
23 
24 
25 fd:
26 .L4:
27 	<entry-point>
28 	ret.64      a
29 
30 
31  * check-output-end
32  */
33