[Bug tree-optimization/80213] [7/8 Regression] ICE in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:704

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80213

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
And trunk can also reproduce that:

$ ./xgcc -B.
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/graphite/interchange-3.c
-Ofast --param hot-bb-frequency-fraction=55003173 -floop-parallelize-all
during GIMPLE pass: graphite
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/graphite/interchange-3.c: In
function ‘foo.constprop’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/graphite/interchange-3.c:13:1:
internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:707
 foo (int N, int *res)
 ^~~
0x11412e7 check_loop_closed_ssa_use
        ../../gcc/tree-ssa-loop-manip.c:706
0x114147e verify_loop_closed_ssa(bool)
        ../../gcc/tree-ssa-loop-manip.c:750
0x1a1ca5e checking_verify_loop_closed_ssa
        ../../gcc/tree-ssa-loop-manip.h:37
0x1a1d231 graphite_verify
        ../../gcc/graphite-isl-ast-to-gimple.c:82
0x1a249a0 graphite_regenerate_ast_isl(scop*)
        ../../gcc/graphite-isl-ast-to-gimple.c:3054
0x1a1b780 graphite_transform_loops()
        ../../gcc/graphite.c:344
0x1a1b836 graphite_transforms
        ../../gcc/graphite.c:376
0x1a1b95d execute
        ../../gcc/graphite.c:453
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
marxin@marxinbox:~/Programming/gcc/objdir/gcc> ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: x86_64-pc-linux-gnu
Configured with: ../configure --enable-languages=c,c++,fortran
--disable-multilib --prefix=/home/marxin/bin/gcc --disable-bootstrap :
(reconfigured) ../configure --enable-languages=c,c++,fortran --disable-multilib
--prefix=/home/marxin/bin/gcc --disable-bootstrap : (reconfigured)  :
(reconfigured) ../configure --disable-multilib --prefix=/home/marxin/bin/gcc
--disable-bootstrap --enable-languages=c,c++,fortran,lto --no-create
--no-recursion : (reconfigured) 
Thread model: posix
gcc version 8.0.0 20170920 (experimental) (GCC)