extern int var       __attribute__((weak));
extern int arr[]     __attribute__((weak));
extern int fun(void) __attribute__((weak));

int test_addr_weak_fun(void)
{
	if ( &var) return 1;
	if (  arr) return 1;
	if ( &arr) return 1;
	if (  fun) return 1;
	if ( &fun) return 1;
	if ( *fun) return 1;
	if (!&var) return 0;
	if (! arr) return 0;
	if (!&arr) return 0;
	if (! fun) return 0;
	if (!&fun) return 0;
	if (!*fun) return 0;
	return -1;
}

/*
 * check-name: Waddress-weak
 * check-note: Undefined weak symbols (can) have a null address.
 * check-command: sparse -Wno-decl -Waddress $file
 * check-known-to-fail
 */