https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87873
Bug ID: 87873 Summary: [9 Regression] ICE: verify_gimple failed (error: incompatible types in PHI argument 0) Product: gcc Version: 9.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: --- Target: x86_64-unknown-linux-gnu gcc-9.0.0-alpha20181028 snapshot (r265575) ICEs when compiling the following snippet w/ -O1 (-O2, -O3, -Ofast) -ftree-loop-vectorize: __int128 k3; int gs; void s2 (int aj) { while (aj < 1) { gs ^= 1; k3 = (__int128) gs * 2; if (k3 != 0) k3 = 0; ++aj; } } % x86_64-unknown-linux-gnu-gcc-9.0.0-alpha20181028 -O1 -ftree-loop-vectorize -c d9ofj1fe.c d9ofj1fe.c: In function 's2': d9ofj1fe.c:5:1: error: incompatible types in PHI argument 0 5 | s2 (int aj) | ^~ int __int128 _50 = PHI <k3_lsm.6_37(25), vect__2.16_61(22)> during GIMPLE pass: vect d9ofj1fe.c:5:1: internal compiler error: verify_gimple failed 0xd1bb7d verify_gimple_in_cfg(function*, bool) /var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181028/work/gcc-9-20181028/gcc/tree-cfg.c:5422 0xbf0e0f execute_function_todo /var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181028/work/gcc-9-20181028/gcc/passes.c:1925 0xbf1d0e execute_todo /var/tmp/portage/sys-devel/gcc-9.0.0_alpha20181028/work/gcc-9-20181028/gcc/passes.c:1979