Do I understand correctly that switching to gcc-4.4 and adding -fno-gcse to CFLAGS is the proper solution?
Switching to gcc-4.6 and no changes to CFLAGS. But have to be tested widely. Petr