https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91576
--- Comment #17 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Created attachment 47651 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47651&action=edit proposed patch This is patch I plan to test which fixes the last testcase. It adds warning about TREE_ADDRESSABLE mismatch which means that type needs constructing and in addition TYPE_MODE check. Problem of that one is that we can not give user any good reason why TYPE_MODEs mismatch and thus I hope it will not trip and everything should be caught earlier. There are two problems metled together. Other is the bug with stmt verifier. Does it still reproduce. Martin, did you try to get some testsuite scale version of the last testcase?
