------- Comment #16 from David dot Monniaux at ens dot fr 2007-07-24 21:21 ------- (In reply to comment #13) > David, can you confirm that this PR can now be closed?
I'm no seeing the bug any longer when compiling/testing the octagon library. This does not imply, though, that it no longer occurs on other examples. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25413
