* [Bug tree-optimization/98845] [8/9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.)
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
@ 2021-01-27 7:57 ` rguenth at gcc dot gnu.org
2021-01-27 8:26 ` [Bug tree-optimization/98845] [8/9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132 marxin at gcc dot gnu.org
` (13 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-01-27 7:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |needs-bisection
Target Milestone|--- |8.5
Ever confirmed|0 |1
Last reconfirmed| |2021-01-27
Priority|P3 |P2
Status|UNCONFIRMED |ASSIGNED
Summary|[8/9/10 Regression] ICE: |[8/9/10/11 Regression] ICE:
|SSA corruption (Unable to |SSA corruption (Unable to
|coalesce ssa_names 2 and 23 |coalesce ssa_names 2 and 23
|which are marked as MUST |which are marked as MUST
|COALESCE.) |COALESCE.)
Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [8/9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
2021-01-27 7:57 ` [Bug tree-optimization/98845] [8/9/10/11 " rguenth at gcc dot gnu.org
@ 2021-01-27 8:26 ` marxin at gcc dot gnu.org
2021-01-27 8:39 ` rguenth at gcc dot gnu.org
` (12 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-01-27 8:26 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|needs-bisection |
Summary|[8/9/10/11 Regression] ICE: |[8/9/10/11 Regression] ICE:
|SSA corruption (Unable to |SSA corruption (Unable to
|coalesce ssa_names 2 and 23 |coalesce ssa_names 2 and 23
|which are marked as MUST |which are marked as MUST
|COALESCE.) |COALESCE.) since
| |r6-528-g465770e43996a132
CC| |marxin at gcc dot gnu.org
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r6-528-g465770e43996a132.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [8/9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
2021-01-27 7:57 ` [Bug tree-optimization/98845] [8/9/10/11 " rguenth at gcc dot gnu.org
2021-01-27 8:26 ` [Bug tree-optimization/98845] [8/9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132 marxin at gcc dot gnu.org
@ 2021-01-27 8:39 ` rguenth at gcc dot gnu.org
2021-01-27 8:54 ` rguenth at gcc dot gnu.org
` (11 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-01-27 8:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Looks like tail merging triggers this.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [8/9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (2 preceding siblings ...)
2021-01-27 8:39 ` rguenth at gcc dot gnu.org
@ 2021-01-27 8:54 ` rguenth at gcc dot gnu.org
2021-05-14 9:54 ` [Bug tree-optimization/98845] [9/10/11/12 " jakub at gcc dot gnu.org
` (10 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-01-27 8:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
+find_duplicates: <bb 6> duplicate of <bb 20>
+Removing basic block 20
@@ -170,7 +180,7 @@
<bb 17> [local count: 3614577]:
goto <bb 13>; [100.00%]
- <bb 6> [local count: 7016531]:
+ <bb 6> [local count: 8742389]:
p_218_24 = p_217_23(D)(ab);
p_217_32 = p_217_23(D)(ab);
goto <bb 13>; [100.00%]
@@ -213,12 +223,10 @@
if (p_218_8 != 0)
goto <bb 19>; [83.51%]
else
- goto <bb 20>; [16.49%]
-
- <bb 20> [local count: 1725858]:
+ goto <bb 6>; [16.49%]
<bb 13> [local count: 12356965]:
- # _9 = PHI <1(17), 0(20), 0(6)>
+ # _9 = PHI <1(17), 0(6)>
return _9;
but that makes _23(D) live on the path from bb 12 to bb 13. The issue here
is that _23 and _32 are unused but their RHS is still accounted for during
LIVE problem solving but they are ignored during VN and by tail-merging
which just looks at BB side-effects.
So the testcase is really an artifact of -fno-tree-dce.
One could argue that tail merging should treat a use of abnormals as
side-effect but I think that won't play well with its structure.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11/12 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (3 preceding siblings ...)
2021-01-27 8:54 ` rguenth at gcc dot gnu.org
@ 2021-05-14 9:54 ` jakub at gcc dot gnu.org
2021-05-31 4:59 ` asolokha at gmx dot com
` (9 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-05-14 9:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|8.5 |9.4
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11/12 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (4 preceding siblings ...)
2021-05-14 9:54 ` [Bug tree-optimization/98845] [9/10/11/12 " jakub at gcc dot gnu.org
@ 2021-05-31 4:59 ` asolokha at gmx dot com
2021-05-31 8:34 ` marxin at gcc dot gnu.org
` (8 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: asolokha at gmx dot com @ 2021-05-31 4:59 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #6 from Arseny Solokha <asolokha at gmx dot com> ---
gcc-12.0.0-alpha20210530 snapshot (g:a0a7adeea31918deefb053a9a15257af94aecfaf)
compiles the testcase w/o ICE.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11/12 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (5 preceding siblings ...)
2021-05-31 4:59 ` asolokha at gmx dot com
@ 2021-05-31 8:34 ` marxin at gcc dot gnu.org
2021-05-31 8:50 ` [Bug tree-optimization/98845] [9/10/11 " rguenther at suse dot de
` (7 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-05-31 8:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed on master with r12-248-gb58dc0b803057c0e.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (6 preceding siblings ...)
2021-05-31 8:34 ` marxin at gcc dot gnu.org
@ 2021-05-31 8:50 ` rguenther at suse dot de
2021-06-01 8:19 ` rguenth at gcc dot gnu.org
` (6 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenther at suse dot de @ 2021-05-31 8:50 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #8 from rguenther at suse dot de <rguenther at suse dot de> ---
On Mon, 31 May 2021, marxin at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
>
> --- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
> Fixed on master with r12-248-gb58dc0b803057c0e.
Yeah, not "fixed" but worked around.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (7 preceding siblings ...)
2021-05-31 8:50 ` [Bug tree-optimization/98845] [9/10/11 " rguenther at suse dot de
@ 2021-06-01 8:19 ` rguenth at gcc dot gnu.org
2022-03-16 8:01 ` rguenth at gcc dot gnu.org
` (5 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-06-01 8:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|9.4 |9.5
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (8 preceding siblings ...)
2021-06-01 8:19 ` rguenth at gcc dot gnu.org
@ 2022-03-16 8:01 ` rguenth at gcc dot gnu.org
2022-03-17 4:55 ` [Bug tree-optimization/98845] [9/10/11/12 " asolokha at gmx dot com
` (4 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-03-16 8:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 104947 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11/12 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (9 preceding siblings ...)
2022-03-16 8:01 ` rguenth at gcc dot gnu.org
@ 2022-03-17 4:55 ` asolokha at gmx dot com
2022-03-17 7:34 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: asolokha at gmx dot com @ 2022-03-17 4:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Arseny Solokha <asolokha at gmx dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[9/10/11 Regression] ICE: |[9/10/11/12 Regression]
|SSA corruption (Unable to |ICE: SSA corruption (Unable
|coalesce ssa_names 2 and 23 |to coalesce ssa_names 2 and
|which are marked as MUST |23 which are marked as MUST
|COALESCE.) since |COALESCE.) since
|r6-528-g465770e43996a132 |r6-528-g465770e43996a132
--- Comment #11 from Arseny Solokha <asolokha at gmx dot com> ---
It should be labeled [12 Regression] again, then, as the issue is still there
on trunk.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [9/10/11/12 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (10 preceding siblings ...)
2022-03-17 4:55 ` [Bug tree-optimization/98845] [9/10/11/12 " asolokha at gmx dot com
@ 2022-03-17 7:34 ` rguenth at gcc dot gnu.org
2022-05-27 9:44 ` [Bug tree-optimization/98845] [10/11/12/13 " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-03-17 7:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Arseny Solokha from comment #11)
> It should be labeled [12 Regression] again, then, as the issue is still
> there on trunk.
w/ -O2 -fno-tree-dce -fno-tree-dse (possibly with -fno-tree-dse also for the
testcase in the description)
int n;
__attribute__ ((returns_twice)) void
foo (void);
void
bar (void);
void
quux (int x)
{
if (x)
++x;
else
{
if (n)
{
x = 1;
foo ();
}
else
bar ();
if (n)
{
++x;
++n;
}
}
}
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [10/11/12/13 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (11 preceding siblings ...)
2022-03-17 7:34 ` rguenth at gcc dot gnu.org
@ 2022-05-27 9:44 ` rguenth at gcc dot gnu.org
2022-06-28 10:43 ` jakub at gcc dot gnu.org
2023-07-07 10:38 ` [Bug tree-optimization/98845] [11/12/13/14 " rguenth at gcc dot gnu.org
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-05-27 9:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|9.5 |10.4
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [10/11/12/13 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (12 preceding siblings ...)
2022-05-27 9:44 ` [Bug tree-optimization/98845] [10/11/12/13 " rguenth at gcc dot gnu.org
@ 2022-06-28 10:43 ` jakub at gcc dot gnu.org
2023-07-07 10:38 ` [Bug tree-optimization/98845] [11/12/13/14 " rguenth at gcc dot gnu.org
14 siblings, 0 replies; 16+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-06-28 10:43 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.4 |10.5
--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/98845] [11/12/13/14 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) since r6-528-g465770e43996a132
2021-01-27 4:33 [Bug tree-optimization/98845] New: [8/9/10 Regression] ICE: SSA corruption (Unable to coalesce ssa_names 2 and 23 which are marked as MUST COALESCE.) asolokha at gmx dot com
` (13 preceding siblings ...)
2022-06-28 10:43 ` jakub at gcc dot gnu.org
@ 2023-07-07 10:38 ` rguenth at gcc dot gnu.org
14 siblings, 0 replies; 16+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-07-07 10:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98845
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.5 |11.5
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.
^ permalink raw reply [flat|nested] 16+ messages in thread