------- Comment #3 from dje at gcc dot gnu dot org 2008-08-13 15:18 ------- I, personally, am not sure what libstdc++ patch fixed the problem to know what to backport. GCC 4.2 is getting late in the release cycle and probably too late to backport fixes like this, but I will ask.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35397
