* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
@ 2021-11-18 18:29 ` pinskia at gcc dot gnu.org
2021-11-18 23:15 ` pinskia at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-18 18:29 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
https://gcc.gnu.org/pipermail/gcc-cvs/2021-November/356905.html
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
2021-11-18 18:29 ` [Bug tree-optimization/103321] " pinskia at gcc dot gnu.org
@ 2021-11-18 23:15 ` pinskia at gcc dot gnu.org
2021-11-18 23:37 ` pinskia at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-18 23:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I don't have SPEC CPU 2006 setup, can you attach the preprocessed source?
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
2021-11-18 18:29 ` [Bug tree-optimization/103321] " pinskia at gcc dot gnu.org
2021-11-18 23:15 ` pinskia at gcc dot gnu.org
@ 2021-11-18 23:37 ` pinskia at gcc dot gnu.org
2021-11-19 6:58 ` vsevolod.livinskij at frtk dot ru
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-18 23:37 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #2)
> I don't have SPEC CPU 2006 setup, can you attach the preprocessed source?
Also can you test if https://gcc.gnu.org/bugzilla/attachment.cgi?id=51834 fixes
the problem?
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
` (2 preceding siblings ...)
2021-11-18 23:37 ` pinskia at gcc dot gnu.org
@ 2021-11-19 6:58 ` vsevolod.livinskij at frtk dot ru
2021-11-19 7:03 ` pinskia at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: vsevolod.livinskij at frtk dot ru @ 2021-11-19 6:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
Vsevolod Livinskiy <vsevolod.livinskij at frtk dot ru> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vsevolod.livinskij at frtk dot ru
--- Comment #4 from Vsevolod Livinskiy <vsevolod.livinskij at frtk dot ru> ---
The same error can be triggered for X86.
Here is the link to the Compiler Explorer: https://godbolt.org/z/8zMhfhs5o
This reproducer was found with YARPGen.
Reproducer:
long a;
short b;
extern unsigned long d[];
const unsigned long long &e(const unsigned long long &f,
const unsigned long long &g) {
if (f < g)
return g;
return f;
}
const unsigned long long &h(const unsigned long long &f,
const unsigned long long &g) {
return f < g ? f : g;
}
void j() {
for (int i = 0;; i = 8)
d[i] = h(e(a, c[i] && b), 7);
}
Error:
>$ g++ -O2 -c func.cpp
func.cpp: In function 'void j()':
func.cpp:15:6: error: definition in block 5 does not dominate use in block 3
15 | void j() {
| ^
for SSA_NAME: _23 in statement:
_6 = PHI <_4(5), _23(3), _23(4)>
PHI argument
_23
for PHI node
_6 = PHI <_4(5), _23(3), _23(4)>
during GIMPLE pass: phiopt
func.cpp:15:6: internal compiler error: verify_ssa failed
0x141284f verify_ssa(bool, bool)
/testing/gcc/gcc_src_master/gcc/tree-ssa.c:1211
0x10e86d5 execute_function_todo
/testing/gcc/gcc_src_master/gcc/passes.c:2049
0x10e901b execute_todo
/testing/gcc/gcc_src_master/gcc/passes.c:2096
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
gcc version 12.0.0 20211118 (d6ec661e3931773e2f571ed4f6dd8b0402d8687d) (GCC)
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
` (3 preceding siblings ...)
2021-11-19 6:58 ` vsevolod.livinskij at frtk dot ru
@ 2021-11-19 7:03 ` pinskia at gcc dot gnu.org
2021-11-19 7:22 ` pinskia at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-19 7:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Vsevolod Livinskiy from comment #4)
> The same error can be triggered for X86.
> Here is the link to the Compiler Explorer: https://godbolt.org/z/8zMhfhs5o
>
> This reproducer was found with YARPGen.
This one is specifically the same as PR 103317 where I submitted a patch:
https://gcc.gnu.org/pipermail/gcc-patches/2021-November/584926.html
I don't know if the original testcase is the same though.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
` (4 preceding siblings ...)
2021-11-19 7:03 ` pinskia at gcc dot gnu.org
@ 2021-11-19 7:22 ` pinskia at gcc dot gnu.org
2021-11-19 11:02 ` marxin at gcc dot gnu.org
2021-11-19 11:51 ` pinskia at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-19 7:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-11-19
Status|UNCONFIRMED |WAITING
Ever confirmed|0 |1
Keywords| |ice-on-valid-code
Target Milestone|--- |12.0
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Can you test this after r12-5393 ?
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
` (5 preceding siblings ...)
2021-11-19 7:22 ` pinskia at gcc dot gnu.org
@ 2021-11-19 11:02 ` marxin at gcc dot gnu.org
2021-11-19 11:51 ` pinskia at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-11-19 11:02 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
CC| |marxin at gcc dot gnu.org
Status|WAITING |RESOLVED
--- Comment #7 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed on master.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug tree-optimization/103321] [12 regression] ICE at tree-ssa.c:1211 after r12-5300
2021-11-18 17:25 [Bug tree-optimization/103321] New: [12 regression] ICE at tree-ssa.c:1211 after r12-5300 seurer at gcc dot gnu.org
` (6 preceding siblings ...)
2021-11-19 11:02 ` marxin at gcc dot gnu.org
@ 2021-11-19 11:51 ` pinskia at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-11-19 11:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103321
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|FIXED |DUPLICATE
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Martin Liška from comment #7)
> Fixed on master.
So marking as a dup of bug 103317.
*** This bug has been marked as a duplicate of bug 103317 ***
^ permalink raw reply [flat|nested] 9+ messages in thread