public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/111328] New: ICE: verify_flow_info failed since r14-3459-g0c78240fd7d
@ 2023-09-07 15:51 shaohua.li at inf dot ethz.ch
2023-09-07 19:08 ` [Bug tree-optimization/111328] " pinskia at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: shaohua.li at inf dot ethz.ch @ 2023-09-07 15:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111328
Bug ID: 111328
Summary: ICE: verify_flow_info failed since
r14-3459-g0c78240fd7d
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: shaohua.li at inf dot ethz.ch
CC: jh at suse dot cz
Target Milestone: ---
gcc at -O3 crashes on the following testcase.
Bisected to r14-3459-g0c78240fd7d
Compiler explorer: https://godbolt.org/z/G3rPdq6db
$ cat a.c
int a, b, c, d;
short e;
int f(g, h) { return h == 0 || g == 83647 && h == 1 ?: g / h; }
char *i(char *g) {
if (a)
do
if (*g++ == 0)
return 0;
while (a);
return g;
}
int j() {
char k = 0, l = *i(&k) = l;
for (; b; b++) {
c = 1;
for (; d + c >= 0; c--)
;
}
for (;;)
if (f(e))
break;
}
int main() {}
$ gcc -O2 a.c
<source>: In function 'f':
<source>:3:5: warning: type of 'g' defaults to 'int' [-Wimplicit-int]
3 | int f(g, h) { return h == 0 || g == 83647 && h == 1 ?: g / h; }
| ^
<source>:3:5: warning: type of 'h' defaults to 'int' [-Wimplicit-int]
<source>: In function 'j':
<source>:12:5: error: count of bb 32 not initialized
12 | int j() {
| ^
<source>:12:5: error: count of bb 33 not initialized
<source>:12:5: error: count of bb 34 not initialized
<source>:12:5: error: count of bb 35 not initialized
<source>:12:5: error: count of bb 37 not initialized
during GIMPLE pass: vect
<source>:12:5: internal compiler error: verify_flow_info failed
0x21d80ae internal_error(char const*, ...)
???:0
0xb8c64f verify_flow_info()
???:0
0x112933f cleanup_tree_cfg(unsigned int)
???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
$
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/111328] ICE: verify_flow_info failed since r14-3459-g0c78240fd7d
2023-09-07 15:51 [Bug c/111328] New: ICE: verify_flow_info failed since r14-3459-g0c78240fd7d shaohua.li at inf dot ethz.ch
@ 2023-09-07 19:08 ` pinskia at gcc dot gnu.org
2023-10-17 12:52 ` [Bug tree-optimization/111328] [14 Regression] " rguenth at gcc dot gnu.org
2024-03-07 23:21 ` law at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-09-07 19:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111328
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |14.0
Component|c |tree-optimization
Keywords| |ice-checking,
| |ice-on-valid-code
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/111328] [14 Regression] ICE: verify_flow_info failed since r14-3459-g0c78240fd7d
2023-09-07 15:51 [Bug c/111328] New: ICE: verify_flow_info failed since r14-3459-g0c78240fd7d shaohua.li at inf dot ethz.ch
2023-09-07 19:08 ` [Bug tree-optimization/111328] " pinskia at gcc dot gnu.org
@ 2023-10-17 12:52 ` rguenth at gcc dot gnu.org
2024-03-07 23:21 ` law at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-10-17 12:52 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111328
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |WAITING
Last reconfirmed| |2023-10-17
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I can not reproduce this issue with current trunk.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/111328] [14 Regression] ICE: verify_flow_info failed since r14-3459-g0c78240fd7d
2023-09-07 15:51 [Bug c/111328] New: ICE: verify_flow_info failed since r14-3459-g0c78240fd7d shaohua.li at inf dot ethz.ch
2023-09-07 19:08 ` [Bug tree-optimization/111328] " pinskia at gcc dot gnu.org
2023-10-17 12:52 ` [Bug tree-optimization/111328] [14 Regression] " rguenth at gcc dot gnu.org
@ 2024-03-07 23:21 ` law at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: law at gcc dot gnu.org @ 2024-03-07 23:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111328
Jeffrey A. Law <law at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|WAITING |RESOLVED
CC| |law at gcc dot gnu.org
--- Comment #2 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Fixed by:
commit cc50337215535e17f1caa5eae34eaa650223c96b (HEAD, refs/bisect/bad)
Author: Eugene Rozenfeld <erozen@microsoft.com>
Date: Fri Sep 15 18:12:47 2023 -0700
Fixes for profile count/probability maintenance
Verifier checks have recently been strengthened to check that
all counts and probabilities are initialized. The checks fired
during autoprofiledbootstrap build and this patch fixes it.
Tested on x86_64-pc-linux-gnu.
gcc/ChangeLog:
* auto-profile.cc (afdo_calculate_branch_prob): Fix count
comparisons
* tree-vect-loop-manip.cc (vect_do_peeling): Guard against zero
count
when scaling loop profile
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-03-07 23:21 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-07 15:51 [Bug c/111328] New: ICE: verify_flow_info failed since r14-3459-g0c78240fd7d shaohua.li at inf dot ethz.ch
2023-09-07 19:08 ` [Bug tree-optimization/111328] " pinskia at gcc dot gnu.org
2023-10-17 12:52 ` [Bug tree-optimization/111328] [14 Regression] " rguenth at gcc dot gnu.org
2024-03-07 23:21 ` law 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).