------- Additional Comments From pcarlini at suse dot de 2005-04-17 18:27 ------- Ick! :(
Actually, I clearly remember a message from Mark warning that something could go wrong when using different allocators in different sources, but then forgot about the issue when we switched. I really hope that we can work around it, somehow... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21072