public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/113561] New: yet more verify_ssa fails
@ 2024-01-23 14:47 dcb314 at hotmail dot com
2024-01-23 15:09 ` [Bug tree-optimization/113561] " rguenth at gcc dot gnu.org
2024-01-24 7:40 ` tnfchris at gcc dot gnu.org
0 siblings, 2 replies; 3+ messages in thread
From: dcb314 at hotmail dot com @ 2024-01-23 14:47 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113561
Bug ID: 113561
Summary: yet more verify_ssa fails
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
For this C source code:
char LZ4_decompress_generic_source;
void LZ4_decompress_generic_endOnInput() {
char *ip = &LZ4_decompress_generic_source;
while (1) {
long length;
if (length) {
unsigned s;
do {
if (ip > -5)
goto _output_error;
s = *ip++;
length += s;
} while (s);
}
}
_output_error:
}
cvise $ /home/dcb38/gcc/results.20240119.asan.ubsan/bin/gcc -c -w -O3 bug1001.c
cvise $ /home/dcb38/gcc/results.20240119.asan.ubsan/bin/gcc -c -w -O3
-march=znver3 bug1001.c
bug1001.c: In function ‘LZ4_decompress_generic_endOnInput’:
bug1001.c:2:6: error: definition in block 7 does not dominate use in block 5
2 | void LZ4_decompress_generic_endOnInput() {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The bug first seems to exist sometime between g:484f48f03cf9a382
and g:5a22bb250d8f4ad2
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug tree-optimization/113561] yet more verify_ssa fails
2024-01-23 14:47 [Bug c/113561] New: yet more verify_ssa fails dcb314 at hotmail dot com
@ 2024-01-23 15:09 ` rguenth at gcc dot gnu.org
2024-01-24 7:40 ` tnfchris at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: rguenth at gcc dot gnu.org @ 2024-01-23 15:09 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113561
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|c |tree-optimization
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=113364
Keywords| |ice-on-valid-code
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
The proposed fix for PR113364 resolves the ICE.
^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug tree-optimization/113561] yet more verify_ssa fails
2024-01-23 14:47 [Bug c/113561] New: yet more verify_ssa fails dcb314 at hotmail dot com
2024-01-23 15:09 ` [Bug tree-optimization/113561] " rguenth at gcc dot gnu.org
@ 2024-01-24 7:40 ` tnfchris at gcc dot gnu.org
1 sibling, 0 replies; 3+ messages in thread
From: tnfchris at gcc dot gnu.org @ 2024-01-24 7:40 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113561
Tamar Christina <tnfchris at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
CC| |tnfchris at gcc dot gnu.org
Status|UNCONFIRMED |RESOLVED
--- Comment #2 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Is indeed fixed by the commit for #113364
*** This bug has been marked as a duplicate of bug 113364 ***
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2024-01-24 7:40 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-01-23 14:47 [Bug c/113561] New: yet more verify_ssa fails dcb314 at hotmail dot com
2024-01-23 15:09 ` [Bug tree-optimization/113561] " rguenth at gcc dot gnu.org
2024-01-24 7:40 ` tnfchris at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).