https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107368
Bug ID: 107368 Summary: [13 Regression] ICE: 'verify_gimple' failed (error: non-trivial conversion in 'var_decl') Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) ICEs when compiling the following testcase, reduced from gcc/testsuite/gcc.dg/attr-assume-1.c, w/ -O1: double f4 (double x) { [[gnu::assume(x && x > 0.0)]]; return x; } % gcc-13 -O1 -c ynay1wc5.c ynay1wc5.c: In function 'f4': ynay1wc5.c:2:1: error: non-trivial conversion in 'var_decl' 2 | f4 (double x) | ^~ _Bool int D.1992 = iftmp.0; ynay1wc5.c:2:1: internal compiler error: 'verify_gimple' failed 0xf44b4e verify_gimple_in_seq(gimple*, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tree-cfg.cc:5309 0xc2973a gimplify_body(tree_node*, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/gimplify.cc:17697 0xc298fa gimplify_function_tree(tree_node*) /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/gimplify.cc:17813 0xa46797 cgraph_node::analyze() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:676 0xa49337 analyze_functions /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:1240 0xa49fdd symbol_table::finalize_compilation_unit() /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cgraphunit.cc:2514