aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/Waddress-array.c
blob: 8317845481f9a512afc8aae0e580376eacfeedf2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
int foo(void) {
	extern int a[];

	if (a)
		return 1;
	return 0;
}

int bar(void) {
	int a[2];

	if (a)
		return 1;
	return 0;
}

/*
 * check-name: Waddress-array
 * check-command: sparse -Wno-decl -Waddress $file
 *
 * check-error-start
Waddress-array.c:4:13: warning: the address of an array will always evaluate as true
Waddress-array.c:12:13: warning: the address of an array will always evaluate as true
 * check-error-end
 */