static int foo(void)
{
	if (0)
		return 0;
}

/*
 * check-name: null-phi
 */