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.
