glob.prop

C程序漏洞检查！

void
uno_check(void)					// default global check
{
	if (select("", DEF, NONE))
		mark(1);			// mark these vars as ok
	if (select("", USE|DEREF, NONE))	// U or R
	{	if (match(1, DEF, NONE))	// previous DEF, good
			no_error();
		else				// no previous DEF
		{	if (known_nonzero())
				no_error();
			else
				error("global use or deref before def");
	}	}
}