https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71994
Bug ID: 71994
Summary: [7 Regression] ICE: verify_gimple failed
Product: gcc
Version: 7.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: ---
1. gcc-7.0.0-alpha20160724 ICEs when compiling the following reduced snippet w/
-O2, -O3, -Ofast, or -Os:
int om, h6;
void
eo (void)
{
const int tl = 1;
int ln;
h6 = (om + tl) > 0;
ln = om && (om & h6);
h6 = om;
om = ln < h6;
}
% gcc-7.0.0-alpha20160724 -O2 -c xwelypci.c
xwelypci.c: In function 'eo':
xwelypci.c:4:1: error: incompatible types in PHI argument 1
eo (void)
^~
_Bool
int
_13 = PHI <0(2), 1(3)>
xwelypci.c:4:1: internal compiler error: verify_gimple failed
2. Changing the value of ``tl'' from 1 to 0 gives the following:
% gcc-7.0.0-alpha20160724 -O2 -c dobxoaf2.c
dobxoaf2.c: In function 'eo':
dobxoaf2.c:4:1: error: non-trivial conversion at assignment
eo (void)
^~
_Bool
int
_13 = _14;
dobxoaf2.c:4:1: internal compiler error: verify_gimple failed
