Note that there are about a half dozen patches from GNAT's gcc-32.dif that are still to be applied to the GCC mainline. Hopefully one of them will solve this, but it'll probably be about a week before they all make it in since I'm out of town for a few days.