extern int i;

int foo(void)
{
	return *i;
}

int bar(void)
{
	return i[0];
}

int *qux(void)
{
	return &i[0];
}

/*
 * check-name: premature-examination
 * check-command: sparse -Wno-decl $file
 *
 * check-error-start
eval/premature-examination.c:5:16: error: cannot dereference this type
eval/premature-examination.c:10:17: error: cannot dereference this type
eval/premature-examination.c:15:18: error: cannot dereference this type
 * check-error-end
 */