https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111458
Bug ID: 111458 Summary: ICE in in dfs_enumerate_from, at cfganal.c:1560 Product: gcc Version: 11.4.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: 19373742 at buaa dot edu.cn Target Milestone: --- Created attachment 55921 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55921&action=edit The preprocessed file ******************************************************************************* OS and Platform: CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux ******************************************************************************* gcc version: # gcc -v Using built-in specs. COLLECT_GCC=/home/gcc-releases/gcc-11-0914/bin/gcc COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0914/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0914/ --disable-multilib --enable-language=c,c++ Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 11.4.1 20230914 (GCC) ******************************************************************************* Command Lines: # /home/gcc-releases/gcc-11-0914/bin/gcc -I /home/csmith/include/csmith-2.3.0/ -O3 -fno-expensive-optimizations -fno-inline-small-functions -fno-ipa-sra -fno-tree-ccp -fno-tree-dse -fno-tree-fre -fno-tree-loop-ivcanon a.c a.c: In function ‘func_18’: a.c:311:38: warning: conversion from ‘long unsigned int’ to ‘uint32_t’ {aka ‘unsigned int’} changes value from ‘18446744073709551607’ to ‘4294967287’ [-Woverflow] 311 | uint32_t l_489 = 18446744073709551607UL; | ^~~~~~~~~~~~~~~~~~~~~~ during GIMPLE pass: vrp a.c: In function ‘func_1’: a.c:42:17: internal compiler error: in dfs_enumerate_from, at cfganal.c:1560 42 | static int16_t func_1(void) | ^~~~~~ 0x6402fd dfs_enumerate_from(basic_block_def*, int, bool (*)(basic_block_def const*, void const*), basic_block_def**, int, void const*) ../.././gcc/cfganal.c:1560 0xd635c9 determine_bb_domination_status(loop*, basic_block_def*) ../.././gcc/tree-ssa-threadupdate.c:1594 0xd635c9 determine_bb_domination_status(loop*, basic_block_def*) ../.././gcc/tree-ssa-threadupdate.c:1559 0xd659e2 thread_through_loop_header ../.././gcc/tree-ssa-threadupdate.c:1741 0xd659e2 thread_through_all_blocks(bool) ../.././gcc/tree-ssa-threadupdate.c:2667 0xe04ef4 execute_vrp ../.././gcc/tree-vrp.c:4580 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.