[Bug middle-end/36550] Wrong "may be used uninitialized" warning (conditional PHIs)

[manu at gcc dot gnu dot org]

------- Comment #10 from manu at gcc dot gnu dot org  2009-02-12 22:05 -------
(In reply to comment #9)
> I do not really understand problem 5 for the case when the only dependancy for
> the code-path check is a local variable. In this case the value cannot be
> change by any other code than existing between the two checks, so this case
> should be handled reliable for sure.

Should? I guess you meant "could". Because it is obviously not handled right
now at the moment of warning.

That page simply lists causes, testcases and possible solutions for existing
problems. As always, contributions are welcome.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36550