------- Comment #8 from steven at gcc dot gnu dot org 2008-12-23 18:19 ------- The problem is that phi_translate returns an expression "eprime" of a different type. For the test case of comment #6, we phi_translate "(eq_expr,&state,obj_1)" to "(bool)1".
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38564
