public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop)
@ 2020-10-13 3:36 asolokha at gmx dot com
2020-10-13 6:25 ` [Bug tree-optimization/97396] " rguenth at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2020-10-13 3:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97396
Bug ID: 97396
Summary: [11 Regression] ICE: Segmentation fault (in
bounds_of_var_in_loop)
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc-11.0.0-alpha20201011 snapshot (g:4eaf96c56c1c97b11af42a4caaa12b37870308d7)
ICEs when compiling the following testcase w/ -m32 -O1 -ftree-vrp:
unsigned int
po (char *os, unsigned int al)
{
for (;;)
{
int qx = 0;
while (al < 1)
{
char *cw;
cw = os + qx;
if (cw)
return al + qx;
qx += sizeof *cw;
}
}
}
% gcc-11.0.0 -m32 -O1 -ftree-vrp -c c5dvzahu.c
during GIMPLE pass: evrp
c5dvzahu.c: In function 'po':
c5dvzahu.c:19:1: internal compiler error: Segmentation fault
19 | }
| ^
0xdb3b3f crash_signal
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/toplev.c:330
0x10e73a3 bounds_of_var_in_loop(tree_node**, tree_node**, range_query*, loop*,
gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/vr-values.c:1836
0x18aaa19 gimple_ranger::range_of_ssa_name_with_loop_info(irange&, tree_node*,
loop*, gphi*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-range.cc:1138
0x18aad73 gimple_ranger::range_of_phi(irange&, gphi*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-range.cc:495
0x18ab0fd gimple_ranger::calc_stmt(irange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-range.cc:371
0x18ab30f gimple_ranger::range_of_stmt(irange&, gimple*, tree_node*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-range.cc:986
0x18a7918 gimple_ranger::range_of_expr(irange&, tree_node*, gimple*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-range.cc:877
0x109d6fd range_query::value_of_expr(tree_node*, gimple*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/value-query.cc:85
0x1740211 hybrid_folder::value_of_expr(tree_node*, gimple*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-ssa-evrp.c:235
0xf529a6 substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/tree-ssa-propagate.c:1072
0x1715ca7 dom_walker::walk(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/domwalk.c:309
0xf51f77 substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/tree-ssa-propagate.c:1283
0x173fe8e execute_early_vrp
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201011/work/gcc-11-20201011/gcc/gimple-ssa-evrp.c:340
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/97396] [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop)
2020-10-13 3:36 [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop) asolokha at gmx dot com
@ 2020-10-13 6:25 ` rguenth at gcc dot gnu.org
2020-10-13 7:05 ` aldyh at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-10-13 6:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97396
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |aldyh at gcc dot gnu.org
Target Milestone|--- |11.0
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/97396] [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop)
2020-10-13 3:36 [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop) asolokha at gmx dot com
2020-10-13 6:25 ` [Bug tree-optimization/97396] " rguenth at gcc dot gnu.org
@ 2020-10-13 7:05 ` aldyh at gcc dot gnu.org
2020-10-13 7:15 ` aldyh at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: aldyh at gcc dot gnu.org @ 2020-10-13 7:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97396
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2020-10-13
Ever confirmed|0 |1
Assignee|unassigned at gcc dot gnu.org |aldyh at gcc dot gnu.org
Status|UNCONFIRMED |NEW
--- Comment #1 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
confirmed
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/97396] [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop)
2020-10-13 3:36 [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop) asolokha at gmx dot com
2020-10-13 6:25 ` [Bug tree-optimization/97396] " rguenth at gcc dot gnu.org
2020-10-13 7:05 ` aldyh at gcc dot gnu.org
@ 2020-10-13 7:15 ` aldyh at gcc dot gnu.org
2020-10-14 14:59 ` cvs-commit at gcc dot gnu.org
2020-10-14 15:06 ` aldyh at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: aldyh at gcc dot gnu.org @ 2020-10-13 7:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97396
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amacleod at redhat dot com
--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
In bounds_of_var_in_loop, evolution_part_in_loop_num is returning NULL:
step = evolution_part_in_loop_num (chrec, loop->num);
and we ICE while trying to calculate the range for STEP.
This is for:
(gdb) dd stmt
qx.0_3 = PHI <qx.0_1(3)>
(gdb) dd var
qx.0_3
I'm not familiar with the SCEV code. It looks like NULL is a perfectly valid
response from evolution_part_in_loop_num. Should we just bail if NULL?
diff --git a/gcc/vr-values.c b/gcc/vr-values.c
index da0b249278b..16f6c629f29 100644
--- a/gcc/vr-values.c
+++ b/gcc/vr-values.c
@@ -1827,6 +1827,8 @@ bounds_of_var_in_loop (tree *min, tree *max, range_query
*query,
init = initial_condition_in_loop_num (chrec, loop->num);
step = evolution_part_in_loop_num (chrec, loop->num);
+ if (step == NULL_TREE)
+ return false;
/* If INIT is an SSA with a singleton range, set INIT to said
singleton, otherwise leave INIT alone. */
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/97396] [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop)
2020-10-13 3:36 [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop) asolokha at gmx dot com
` (2 preceding siblings ...)
2020-10-13 7:15 ` aldyh at gcc dot gnu.org
@ 2020-10-14 14:59 ` cvs-commit at gcc dot gnu.org
2020-10-14 15:06 ` aldyh at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2020-10-14 14:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97396
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:
https://gcc.gnu.org/g:a121715bcab6e8980768d142b9781c45821130ac
commit r11-3880-ga121715bcab6e8980768d142b9781c45821130ac
Author: Aldy Hernandez <aldyh@redhat.com>
Date: Tue Oct 13 03:05:23 2020 -0400
Do not call range_of_ssa_name_with_loop_info with the loop tree root.
gcc/ChangeLog:
PR tree-optimization/97396
* gimple-range.cc (gimple_ranger::range_of_phi): Do not call
range_of_ssa_name_with_loop_info with the loop tree root.
gcc/testsuite/ChangeLog:
* gcc.dg/pr97396.c: New test.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/97396] [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop)
2020-10-13 3:36 [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop) asolokha at gmx dot com
` (3 preceding siblings ...)
2020-10-14 14:59 ` cvs-commit at gcc dot gnu.org
@ 2020-10-14 15:06 ` aldyh at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: aldyh at gcc dot gnu.org @ 2020-10-14 15:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97396
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #4 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
fixed
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2020-10-14 15:06 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-13 3:36 [Bug tree-optimization/97396] New: [11 Regression] ICE: Segmentation fault (in bounds_of_var_in_loop) asolokha at gmx dot com
2020-10-13 6:25 ` [Bug tree-optimization/97396] " rguenth at gcc dot gnu.org
2020-10-13 7:05 ` aldyh at gcc dot gnu.org
2020-10-13 7:15 ` aldyh at gcc dot gnu.org
2020-10-14 14:59 ` cvs-commit at gcc dot gnu.org
2020-10-14 15:06 ` aldyh 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).