https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97315
Bug ID: 97315
Summary: [11 Regression] ICE in choose_value, at
gimple-ssa-evrp.c:282 since
r11-3690-gebc77ce3a4c70730b4e38d68f88693eadbdc8712
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: aldyh at gcc dot gnu.org, amacleod at redhat dot com
Target Milestone: ---
The following fails:
$ cat ipa-devirt.ii
typedef struct tree_node *tree;
enum tree_code { RECORD_TYPE, QUAL_UNION_TYPE };
enum tree_code_class {};
struct tree_base {
tree_code code : 16;
};
struct tree_node {
tree_base base;
};
extern tree_code_class tree_code_type[];
void tree_check_failed() __attribute__((__noreturn__));
tree tree_check3(tree __t, tree_code __c1, tree_code __c3) {
if (__t->base.code != __c1 && __t->base.code != __c3)
tree_check_failed();
return __t;
}
tree add_type_duplicate_type;
void add_type_duplicate() {
if (tree_code_type[add_type_duplicate_type->base.code])
if (add_type_duplicate_type->base.code == RECORD_TYPE)
for (;
tree_check3(add_type_duplicate_type, RECORD_TYPE, QUAL_UNION_TYPE);)
tree_check3(add_type_duplicate_type, RECORD_TYPE, QUAL_UNION_TYPE);
}
$ g++ -O3 -fno-exceptions ipa-devirt.ii -c
during GIMPLE pass: evrp
ipa-devirt.ii: In function ‘void add_type_duplicate()’:
ipa-devirt.ii:24:1: internal compiler error: in choose_value, at
gimple-ssa-evrp.c:282
24 | }
| ^
0x87dc65 hybrid_folder::choose_value(tree_node*, tree_node*)
/home/marxin/Programming/gcc/gcc/gimple-ssa-evrp.c:282
0x11a4793 substitute_and_fold_engine::replace_uses_in(gimple*)
/home/marxin/Programming/gcc/gcc/tree-ssa-propagate.c:871
0x11a4adc substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
/home/marxin/Programming/gcc/gcc/tree-ssa-propagate.c:1141
0x194da67 dom_walker::walk(basic_block_def*)
/home/marxin/Programming/gcc/gcc/domwalk.c:309
0x11a3f25 substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
/home/marxin/Programming/gcc/gcc/tree-ssa-propagate.c:1283
0x1973a06 execute_early_vrp
/home/marxin/Programming/gcc/gcc/gimple-ssa-evrp.c:334
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
