1f08c3bdfSopenharmony_ciint foo(void) {
2f08c3bdfSopenharmony_ci	extern int a[];
3f08c3bdfSopenharmony_ci
4f08c3bdfSopenharmony_ci	if (a)
5f08c3bdfSopenharmony_ci		return 1;
6f08c3bdfSopenharmony_ci	return 0;
7f08c3bdfSopenharmony_ci}
8f08c3bdfSopenharmony_ci
9f08c3bdfSopenharmony_ciint bar(void) {
10f08c3bdfSopenharmony_ci	int a[2];
11f08c3bdfSopenharmony_ci
12f08c3bdfSopenharmony_ci	if (a)
13f08c3bdfSopenharmony_ci		return 1;
14f08c3bdfSopenharmony_ci	return 0;
15f08c3bdfSopenharmony_ci}
16f08c3bdfSopenharmony_ci
17f08c3bdfSopenharmony_ci/*
18f08c3bdfSopenharmony_ci * check-name: Waddress-array
19f08c3bdfSopenharmony_ci * check-command: sparse -Wno-decl -Waddress $file
20f08c3bdfSopenharmony_ci *
21f08c3bdfSopenharmony_ci * check-error-start
22f08c3bdfSopenharmony_ciWaddress-array.c:4:13: warning: the address of an array will always evaluate as true
23f08c3bdfSopenharmony_ciWaddress-array.c:12:13: warning: the address of an array will always evaluate as true
24f08c3bdfSopenharmony_ci * check-error-end
25f08c3bdfSopenharmony_ci */
26