https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
--- Comment #10 from Jakub Jelinek ---
Author: jakub
Date: Wed Feb 27 08:41:01 2019
New Revision: 269243
URL: https://gcc.gnu.org/viewcvs?rev=269243=gcc=rev
Log:
PR tree-optimization/89280
* tree-cfgcleanup.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
Jakub Jelinek changed:
What|Removed |Added
Attachment #45783|0 |1
is obsolete|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
--- Comment #8 from Jakub Jelinek ---
Seems to work fine even if the dead returns_twice call is found later, e.g. on
int a;
void foo (void);
__attribute__ ((returns_twice)) int bar (void);
void baz (int, int);
static inline void
inl (int x)
{
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
--- Comment #6 from Jakub Jelinek ---
On the other side, after going into SSA, the ABNORMAL_DISPATCHER successors
would have PHIs for the SSA_NAMEs and thus ICE like this wouldn't happen, so in
theory we could do something in the cfg pass itself
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
--- Comment #5 from Jakub Jelinek ---
The problem is that it might be still reachable through both normal and
abnormal edges during cfg and might become unreachable only later (e.g.
inlining or whatever other opt), so we need something that will
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
--- Comment #4 from Richard Biener ---
The issue is that r8 () is a source of abnormal edges which makes the abnormal
dispatcher reachable. I think the testcase becomes clearer when one uses
setjmp instead of vfork since I'm not sure why we
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
--- Comment #3 from Jakub Jelinek ---
*** Bug 89283 has been marked as a duplicate of this bug. ***
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
Jakub Jelinek changed:
What|Removed |Added
Target Milestone|--- |7.5
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89280
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
11 matches
Mail list logo