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