diff options
| author | Martin Jambor <mjambor@suse.cz> | 2016-11-07 19:30:26 +0100 |
|---|---|---|
| committer | Martin Jambor <jamborm@gcc.gnu.org> | 2016-11-07 19:30:26 +0100 |
| commit | f73fbf900d484b5d37b7432f21db84e5bf1efd75 (patch) | |
| tree | 2925dbe7109708b6b697fd5f82e7f9dfc2c180a8 /gcc | |
| parent | a8404b9a268a3f0e7474e8fb7cf8f1808d6e4bed (diff) | |
| download | gcc-f73fbf900d484b5d37b7432f21db84e5bf1efd75.zip gcc-f73fbf900d484b5d37b7432f21db84e5bf1efd75.tar.gz gcc-f73fbf900d484b5d37b7432f21db84e5bf1efd75.tar.bz2 | |
Remove a TODO from verify_type_variant
2016-11-07 Martin Jambor <mjambor@suse.cz>
* tree.c (verify_type_variant): Use pointer comparison to check that
TYPE_SIZE_UNIT match.
From-SVN: r241918
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree.c | 8 |
2 files changed, 8 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ba5386e..86f5911 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-11-07 Martin Jambor <mjambor@suse.cz> + + * tree.c (verify_type_variant): Use pointer comparison to check that + TYPE_SIZE_UNIT match. + 2016-11-07 Jakub Jelinek <jakub@redhat.com> PR target/77834 @@ -13289,12 +13289,10 @@ verify_type_variant (const_tree t, tree tv) verify_variant_match (TYPE_SIZE); if (TREE_CODE (TYPE_SIZE_UNIT (t)) != PLACEHOLDER_EXPR && TREE_CODE (TYPE_SIZE_UNIT (tv)) != PLACEHOLDER_EXPR - && TYPE_SIZE_UNIT (t) != TYPE_SIZE_UNIT (tv) - /* FIXME: ideally we should compare pointer equality, but java FE - produce variants where size is INTEGER_CST of different type (int - wrt size_type) during libjava biuld. */ - && !operand_equal_p (TYPE_SIZE_UNIT (t), TYPE_SIZE_UNIT (tv), 0)) + && TYPE_SIZE_UNIT (t) != TYPE_SIZE_UNIT (tv)) { + gcc_assert (!operand_equal_p (TYPE_SIZE_UNIT (t), + TYPE_SIZE_UNIT (tv), 0)); error ("type variant has different TYPE_SIZE_UNIT"); debug_tree (tv); error ("type variant's TYPE_SIZE_UNIT"); |