diff options
| author | Erick Ochoa <erick.ochoa@theobroma-systems.com> | 2020-04-29 10:30:41 +0200 |
|---|---|---|
| committer | Erick Ochoa <erick.ochoa@theobroma-systems.com> | 2020-04-29 10:30:41 +0200 |
| commit | 28ae7783a2a36e4303e886aeed04a8812d95c5a1 (patch) | |
| tree | 20fbe1feafe41cba3eee508fa94f524a272be04d /gcc/ipa-str-reorg-dead-field-eliminate.c | |
| parent | 8a5a3a5b7cc72724576e36555b2fff135bec2d7d (diff) | |
Fixes bug #2 found by creduce
Diffstat (limited to 'gcc/ipa-str-reorg-dead-field-eliminate.c')
| -rw-r--r-- | gcc/ipa-str-reorg-dead-field-eliminate.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ipa-str-reorg-dead-field-eliminate.c b/gcc/ipa-str-reorg-dead-field-eliminate.c index f2e3ccedbb1..9a77b7a6553 100644 --- a/gcc/ipa-str-reorg-dead-field-eliminate.c +++ b/gcc/ipa-str-reorg-dead-field-eliminate.c @@ -1530,6 +1530,7 @@ rewrite_component_ref_def (tree expr, gcc_assert (expr); tree expr_type = TREE_TYPE (expr); gcc_assert (expr_type); + delete_info_t *delete_info1 = type_map.get (expr_type); const_tree *new_expr_type_ptr = delete_info1 ? &(delete_info1->new_record) : NULL; if (new_expr_type_ptr) @@ -1539,6 +1540,16 @@ rewrite_component_ref_def (tree expr, gcc_assert (_struct); tree _struct_type = TREE_TYPE (_struct); gcc_assert (_struct_type); + const enum tree_code code = TREE_CODE(_struct_type); + const bool is_record = RECORD_TYPE == code; + //TODO: Handle unions better + switch (code) + { + case UNION_TYPE: return false; break; + case RECORD_TYPE: break; + default: gcc_unreachable(); break; + } + gcc_assert(is_record); delete_info_t *delete_info = type_map.get (_struct_type); const_tree *new_struct_type_ptr = delete_info ? &(delete_info->new_record) : NULL; |