------- 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