https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115414
Bug ID: 115414
Summary: Problems during GIMPLE pass: widening_mul
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
This C code:
char __vsprintf_internal_string;
unsigned long __vsprintf_internal_maxlen, __vsprintf_internal_end;
void __vsprintf_internal() {
if (__builtin_add_overflow((unsigned long)__vsprintf_internal_string,
__vsprintf_internal_maxlen,
&__vsprintf_internal_end))
__vsprintf_internal_end = -1;
}
does this with recent gcc:
cvise $ ~/gcc/results/bin/gcc -c -w -O2 bug1037.c
bug1037.c: In function ‘__vsprintf_internal’:
bug1037.c:3:6: error: definition in block 4 follows the use
3 | void __vsprintf_internal() {
| ^~~~~~~~~~~~~~~~~~~
for SSA_NAME: _11 in statement:
# .MEM_6 = VDEF <.MEM_12>
__vsprintf_internal_end = _11;
during GIMPLE pass: widening_mul
bug1037.c:3:6: internal compiler error: verify_ssa failed
0x1169c74 verify_ssa(bool, bool)
/home/dcb40b/gcc/working/gcc/../../trunk/gcc/tree-ssa.cc:1203
The bug first seems to appear sometime between g:366d45c8d4911dc7
and g:ae91b5dd14920ff9, which is 41 commits.
Original unreduced code available on request.
