Re: Daily snapshots of tree-ssa branch available

[Joe Buck <jbuck at synopsys dot com>]

On Mon, May 12, 2003 at 08:43:54AM -0400, Diego Novillo wrote:
> Yes.  This is an issue we need to fix before merging into mainline. 
> GIMPLE tends to emit conditionals that trigger warnings like 'used
> before definition'.  I believe that Jason was working on a change that
> would fix this.

Are these warnings valid, or is it the well-known problem that gcc can't
deal with

	pointer* p;
	bool flag = false;
	if (expensive()) {
		p = init_p();
		flag = true;
	}
	do_something_else();
	if (flag) {
		use(p);
	}
?

That is, gcc's uninitialized warning misses correlations between variables,
so this kind of thing gives a false warning at use(p).