public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b
@ 2022-11-22 7:34 marxin at gcc dot gnu.org
2022-11-22 7:34 ` [Bug tree-optimization/107803] " marxin at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-11-22 7:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
Bug ID: 107803
Summary: [13 Regression] ICE in init_from_control_deps, at
gimple-predicate-analysis.cc:1699 since
r13-2314-ga8ebd27d0ab69b
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: rguenth at gcc dot gnu.org
Target Milestone: ---
The following crashes:
$ cat ~/Programming/testcases/feasible.ii
void printf(...);
void __sigsetjmp_cancel() __attribute__((__returns_twice__));
int z, main_ret;
void func(void *) {}
int
main() {
int x;
void (*__cancel_routine)(void *)(func);
__sigsetjmp_cancel();
__cancel_routine(0);
if (main_ret)
x = z;
printf(x);
}
$ ./xgcc -B. ~/Programming/testcases/feasible.ii -fno-tree-dominator-opts -O1
-Wmaybe-uninitialized -fno-tree-fre -c
during GIMPLE pass: uninit
/home/marxin/Programming/testcases/feasible.ii: In function ‘int main()’:
/home/marxin/Programming/testcases/feasible.ii:7:1: internal compiler error: in
init_from_control_deps, at gimple-predicate-analysis.cc:1699
7 | main() {
| ^~~~
0x2dd8fb3 predicate::init_from_control_deps(vec<edge_def*, va_heap, vl_ptr>
const*, unsigned int, bool)
/home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:1699
0x2dd9aab uninit_analysis::init_use_preds(predicate&, basic_block_def*,
basic_block_def*)
/home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:1943
0x2dda1be uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*,
unsigned int, hash_set<gphi*, false, default_hash_traits<gphi*> >*)
/home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:2094
0x2dda349 uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*,
unsigned int)
/home/marxin/Programming/gcc2/gcc/gimple-predicate-analysis.cc:2135
0x1b7ff35 find_uninit_use
/home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1238
0x1b80277 warn_uninitialized_phi
/home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1308
0x1b806f9 execute_late_warn_uninitialized
/home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1426
0x1b807f9 execute
/home/marxin/Programming/gcc2/gcc/tree-ssa-uninit.cc:1442
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.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107803] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b
2022-11-22 7:34 [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b marxin at gcc dot gnu.org
@ 2022-11-22 7:34 ` marxin at gcc dot gnu.org
2022-11-22 8:47 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-11-22 7:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2022-11-22
Target Milestone|--- |13.0
Status|UNCONFIRMED |NEW
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107803] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b
2022-11-22 7:34 [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b marxin at gcc dot gnu.org
2022-11-22 7:34 ` [Bug tree-optimization/107803] " marxin at gcc dot gnu.org
@ 2022-11-22 8:47 ` rguenth at gcc dot gnu.org
2022-11-22 9:14 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-11-22 8:47 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
Priority|P3 |P1
Status|NEW |ASSIGNED
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed, I'll have a look (another hit of this sanity check ...). We have
<bb 5> [local count: 1073312329]:
with two successors (one "dead" abnormal edge to .ABNORMAL_DISPATCHER) left
around by some pass not properly cleaning up.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107803] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b
2022-11-22 7:34 [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b marxin at gcc dot gnu.org
2022-11-22 7:34 ` [Bug tree-optimization/107803] " marxin at gcc dot gnu.org
2022-11-22 8:47 ` rguenth at gcc dot gnu.org
@ 2022-11-22 9:14 ` rguenth at gcc dot gnu.org
2022-11-22 11:05 ` cvs-commit at gcc dot gnu.org
2022-11-22 11:17 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-11-22 9:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
So it's CCP which turns
<bb 2> :
__cancel_routine_8 = func;
...
<bb 5> :
__cancel_routine.0_1 = __cancel_routine_8;
__cancel_routine.0_1 (0B);
into
<bb 5> :
func (0B);
but fails to invoke abnormal cleanup here. It's a general issue with the
propagation engine.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107803] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b
2022-11-22 7:34 [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b marxin at gcc dot gnu.org
` (2 preceding siblings ...)
2022-11-22 9:14 ` rguenth at gcc dot gnu.org
@ 2022-11-22 11:05 ` cvs-commit at gcc dot gnu.org
2022-11-22 11:17 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-11-22 11:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:
https://gcc.gnu.org/g:e4faee8d02ec5d65bf418612f7181823eb08c078
commit r13-4229-ge4faee8d02ec5d65bf418612f7181823eb08c078
Author: Richard Biener <rguenther@suse.de>
Date: Tue Nov 22 10:16:14 2022 +0100
tree-optimization/107803 - abnormal cleanup from the SSA propagator
The SSA propagator is missing abnormal cleanup which shows in a
sanity check in the uninit engine (and missed CFG verification).
The following adds that.
PR tree-optimization/107803
* tree-ssa-propagate.cc (substitute_and_fold_dom_walker): Add
need_ab_cleanup member.
(substitute_and_fold_dom_walker::before_dom_children): When
a stmt can no longer transfer control flow abnormally set
need_ab_cleanup.
(substitute_and_fold_engine::substitute_and_fold): Cleanup
abnormal control flow.
* g++.dg/pr107803.C: New testcase.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/107803] [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b
2022-11-22 7:34 [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b marxin at gcc dot gnu.org
` (3 preceding siblings ...)
2022-11-22 11:05 ` cvs-commit at gcc dot gnu.org
@ 2022-11-22 11:17 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-11-22 11:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107803
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2022-11-22 11:17 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-22 7:34 [Bug tree-optimization/107803] New: [13 Regression] ICE in init_from_control_deps, at gimple-predicate-analysis.cc:1699 since r13-2314-ga8ebd27d0ab69b marxin at gcc dot gnu.org
2022-11-22 7:34 ` [Bug tree-optimization/107803] " marxin at gcc dot gnu.org
2022-11-22 8:47 ` rguenth at gcc dot gnu.org
2022-11-22 9:14 ` rguenth at gcc dot gnu.org
2022-11-22 11:05 ` cvs-commit at gcc dot gnu.org
2022-11-22 11:17 ` rguenth 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).