https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87677
Bug ID: 87677
Summary: Isl bootstrap crash in
extract_range_from_binary_expr_1
Product: gcc
Version: tree-ssa
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: bootstrap
Assignee: unassigned at gcc dot gnu.org
Reporter: ygribov at gcc dot gnu.org
Target Milestone: ---
Created attachment 44875
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44875&action=edit
Repro
Trunk ICEs when trying to bootstrap with ISL 0.18 (downloaded by running
contrib/download_prerequisites):
$ /home/yugr/src/gcc/configure --disable-multilib --enable-checking
--target=x86_64-linux-gnu --host=x86_64-linux-gnu --build=x86_64-linux-gnu
--enable-languages=c,c++ && make -j4
...
/home/yugr/src/gcc/isl/isl_tab_pip.c: In function
‘isl_tab_basic_set_non_trivial_lexmin’:
/home/yugr/src/gcc/isl/isl_tab_pip.c:5087:21: internal compiler error: in
check, at tree-vrp.c:155
5087 | __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(
I attached preprocessed code (compile with -O2).
