------- Comment #10 from rguenth at gcc dot gnu dot org 2009-11-19 14:40 ------- Btw I can reproduce the bootstrap comparison fail with Ada when removing the bogus flag_gtoggle check. Fixing the problem with canonicalize_cond_expr_cond isn't the whole story appearantly - fixing it doesn't fix the miscompare. Still fixing it makes sense anyway, so I'm currently testing a patch.
For not doing the boolean_type_node fixing we'd need to not pre-load the streamer chache with (selected) builtin type nodes but instead stream them with every unit and function and pass them through the merging machinery. Basically make lto_get_common_nodes return an empty vector (that likely requires us to register and fixup all builtin types in lto1 before starting to stream in stuff - I likely have some patches doing this somewhere). I know it's all sort-of a mess right now ... (still tracking down the specific Ada problem is intersting). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42088