2008-08-21 Manuel Lopez-Ibanez <manu@gcc.gnu.org>

2008-08-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

	PR middle-end/179
	* tree-ssa.c (warn_uninit): Do not warn for variables that can be
	initialized outside the current module.
	(warn_uninitialized_var): Ignore left-hand side when walking the
	trees. Ignore address expressions. Examine VUSE operands in gimple
	statements with a variable declaration on the right-hand side.
testsuite/
	* gcc.dg/uninit-6.c (make_something): Remove XFAIL.
	* gcc.dg/uninit-6-O0.c (make_something): Remove XFAIL.
	* gcc.dg/uninit-B.c (baz): Remove XFAIL.
	* gcc.dg/uninit-B-2.c: New.
	* gcc.dg/uninit-B-O0-2.c: New.
	* gcc.dg/uninit-pr19430-O0.c: New.
	* gcc.dg/uninit-pr19430.c: New.
	* gcc.dg/uninit-pr19430-2.c: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139347 138bc75d-0d04-0410-961f-82ee72b054a4