http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51036
--- Comment #4 from dodji at seketeli dot org <dodji at seketeli dot org> 2011-11-14 15:21:50 UTC --- Interesting. In any case, I hardly find this issue related to my patch, like what H.J.'s bissecting (thanks for that H.J. by the way!) is suggesting. So a memory management issue might very well explain it, then.
