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
 */