------- Comment #9 from kai-gcc-bugs at khms dot westfalen dot de 2007-12-31 20:26 ------- Applying that patch also works for gcc-4.2-20071226.
So, it seems that patch was simply never applied to 4.2. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34625
