From: Richard Biener Date: Tue, 22 Aug 2017 11:10:28 +0000 (+0000) Subject: tree-inline.c (remap_type_1): Change asserts on TYPE_SIZE[_UNIT] to allow for free... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd0835ce2d9d7f3450a5550497f313a1595ea68e;p=gcc.git tree-inline.c (remap_type_1): Change asserts on TYPE_SIZE[_UNIT] to allow for free-lang-data replacements... 2017-08-22 Richard Biener * tree-inline.c (remap_type_1): Change asserts on TYPE_SIZE[_UNIT] to allow for free-lang-data replacements similar to verify_type_variant. From-SVN: r251274 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6ecd62601a1..bcd868462fc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-08-22 Richard Biener + + * tree-inline.c (remap_type_1): Change asserts on TYPE_SIZE[_UNIT] + to allow for free-lang-data replacements similar to verify_type_variant. + 2017-08-22 Richard Sandiford Alan Hayward David Sherwood diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c index affde64d2fd..1652f2f916a 100644 --- a/gcc/tree-inline.c +++ b/gcc/tree-inline.c @@ -554,9 +554,16 @@ remap_type_1 (tree type, copy_body_data *id) /* All variants of type share the same size, so use the already remaped data. */ if (TYPE_MAIN_VARIANT (new_tree) != new_tree) { - gcc_checking_assert (TYPE_SIZE (type) == TYPE_SIZE (TYPE_MAIN_VARIANT (type))); - gcc_checking_assert (TYPE_SIZE_UNIT (type) == TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (type))); - + tree s = TYPE_SIZE (type); + tree mvs = TYPE_SIZE (TYPE_MAIN_VARIANT (type)); + tree su = TYPE_SIZE_UNIT (type); + tree mvsu = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (type)); + gcc_checking_assert ((TREE_CODE (s) == PLACEHOLDER_EXPR + && (TREE_CODE (mvs) == PLACEHOLDER_EXPR)) + || s == mvs); + gcc_checking_assert ((TREE_CODE (su) == PLACEHOLDER_EXPR + && (TREE_CODE (mvsu) == PLACEHOLDER_EXPR)) + || su == mvsu); TYPE_SIZE (new_tree) = TYPE_SIZE (TYPE_MAIN_VARIANT (new_tree)); TYPE_SIZE_UNIT (new_tree) = TYPE_SIZE_UNIT (TYPE_MAIN_VARIANT (new_tree)); }