xref: /illumos-gate/usr/src/tools/smatch/src/validation/vla-sizeof0.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 #define N 2
2 #define T int
3 
4 static unsigned int foo(int x)
5 {
6 	T a[(1,N)];
7 
8 	return sizeof(a) == (N * sizeof(T));
9 }
10 
11 /*
12  * check-name: vla-sizeof cte,cte
13  * check-command: test-linearize -Wvla $file
14  *
15  * check-output-ignore
16  * check-output-contains: ret\\.32 *\\$1
17  *
18  * check-error-start
19  * check-error-end
20  */
21