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

[corinl at gmx dot de]

------- Comment #9 from corinl at gmx dot de  2009-02-12 21:53 -------
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. Of course this is not possible with global
oder class variables which might be affected by some other thread.


-- 


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