https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97741
Bug ID: 97741 Summary: ICE: verify_gimple failed with "-Os -fno-toplevel-reorder -fno-tree-ccp -fno-tree-fre" Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: suochenyao at 163 dot com Target Milestone: --- ******************************************************************************* OS and Platform: CentOS Linux release 7.8.2003 (Core), x86_64 GNU/Linux ******************************************************************************* Program: short a = 0; long b = 0; char c = 0; void d() { int e = 0; f: for (a = 6; a;) c = e; e = 0; for (; e == 20; ++e) for (; b;) goto f; } int main() { return 0; } ******************************************************************************* gcc version: $ gcc -v Using built-in specs. COLLECT_GCC=/home/suocy/bin/gcc-dev/bin/gcc COLLECT_LTO_WRAPPER=/home/suocy/bin/gcc-dev/libexec/gcc/x86_64-pc-linux-gnu/11.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../configure --prefix=/home/suocy/bin/gcc-dev --disable-multilib --enable-languages=c,c++ Thread model: posix Supported LTO compression algorithms: zlib gcc version 11.0.0 20201106 (experimental) (GCC) ******************************************************************************* Command Lines: $ gcc -Wall -Wextra -fno-strict-aliasing -fwrapv -Os -fno-toplevel-reorder -fno-tree-ccp -fno-tree-fre a.c a.c: In function ādā: a.c:14:1: error: invalid types in nop conversion 14 | int main() { return 0; } | ^~~ char <<< error >>> _1 = (char) _4; during GIMPLE pass: evrp a.c:14:1: internal compiler error: verify_gimple failed 0xe1a2ba verify_gimple_in_cfg(function*, bool) ../../gcc/tree-cfg.c:5461 0xcf7e17 execute_function_todo ../../gcc/passes.c:2039 0xcf887e execute_todo ../../gcc/passes.c:2093 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.