https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92262
Bug ID: 92262
Summary: [10 Regression] ICE: verify_gimple failed (error:
incorrect sharing of tree nodes)
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Keywords: ice-checking, 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: ---
Target: powerpc-*-linux-gnu
Created attachment 47123
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47123&action=edit
Testcase
g++-10.0.0-alpha20191027 snapshot (r277495) ICEs when compiling the attached
testcase reduced from
libstdc++-v3/testsuite/23_containers/deque/modifiers/erase/2.cc w/ -O2
-ftree-loop-distribution -fvar-tracking-assignments:
% powerpc-e300c3-linux-gnu-g++-10.0.0-alpha20191027 -m64 -O2
-ftree-loop-distribution -fvar-tracking-assignments -c jwwokwvg.cc
jwwokwvg.cc: In function 'int main()':
jwwokwvg.cc:124:1: error: incorrect sharing of tree nodes
124 | main ()
| ^~~~
(unsigned long) &a8
# DEBUG du => (int *) (((sizetype) _5 + 18446744073709551609 <= (sizetype) _29
? ((((unsigned long) _29 - (unsigned long) _5) + 7) / 8 + 1) * 4 + (unsigned
long) &a8 : (unsigned long) &a8 + 4) - doloop.33_51 * 4)
jwwokwvg.cc:124:1: error: incorrect sharing of tree nodes
(unsigned long) &a8
# DEBUG D#4 => (int *) ((((sizetype) _5 + 18446744073709551609 <= (sizetype)
_29 ? ((((unsigned long) _29 - (unsigned long) _5) + 7) / 8 + 1) * 4 +
(unsigned long) &a8 : (unsigned long) &a8 + 4) - doloop.33_51 * 4) + 4)
during GIMPLE pass: ivopts
jwwokwvg.cc:124:1: internal compiler error: verify_gimple failed
0x1098f13 verify_gimple_in_cfg(function*, bool)
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.0_alpha20191027/work/gcc-10-20191027/gcc/tree-cfg.c:5427
0xf6996e execute_function_todo
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.0_alpha20191027/work/gcc-10-20191027/gcc/passes.c:1983
0xf6a18a execute_todo
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-10.0.0_alpha20191027/work/gcc-10-20191027/gcc/passes.c:2037
I cannot reproduce it for x86_64, though.
