> this is patch that reverts the TYPE_MODE mismatch related changes and > adds test to type checker that TYPE_MODE always match with TYPE_CANONICAL. > I have bootstrapped/regtested x86_64-linux, but unfrtunately the regtesting > had some unrelated noise (spawn failures). I am re-testing. I am on a trip > and will likely only access interenet again from Des Moines tonight.
Thanks! > > * tree.c (verify_type): Verify that TYPE_MODE match > between TYPE_CANONICAL and type. > * expr.c (store_expr_with_bounds): Revert my previous change. > * expmed.c (store_bit_field_1): Revert prevoius change. > * gimple-expr.c (useless_type_conversion_p): Require TYPE_MODE > to match for complete types. Please add the PR middle-end/67966 reference to the ChangeLog. -- Eric Botcazou