* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
@ 2020-10-08 7:30 ` rguenth at gcc dot gnu.org
2020-10-08 10:30 ` ktkachov at gcc dot gnu.org
` (14 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-10-08 7:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |10.3
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
works on x86_64-linux
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
2020-10-08 7:30 ` [Bug target/97323] " rguenth at gcc dot gnu.org
@ 2020-10-08 10:30 ` ktkachov at gcc dot gnu.org
2020-10-11 14:03 ` pedretti.fabio at gmail dot com
` (13 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: ktkachov at gcc dot gnu.org @ 2020-10-08 10:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
ktkachov at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
CC|kyrylo.tkachov at arm dot com |
Last reconfirmed| |2020-10-08
Ever confirmed|0 |1
--- Comment #2 from ktkachov at gcc dot gnu.org ---
confirmed on trunk with the extra checking enabled
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
2020-10-08 7:30 ` [Bug target/97323] " rguenth at gcc dot gnu.org
2020-10-08 10:30 ` ktkachov at gcc dot gnu.org
@ 2020-10-11 14:03 ` pedretti.fabio at gmail dot com
2020-10-12 11:45 ` rguenth at gcc dot gnu.org
` (12 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pedretti.fabio at gmail dot com @ 2020-10-11 14:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Fabio <pedretti.fabio at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pedretti.fabio at gmail dot com
--- Comment #3 from Fabio <pedretti.fabio at gmail dot com> ---
*** Bug 97368 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (2 preceding siblings ...)
2020-10-11 14:03 ` pedretti.fabio at gmail dot com
@ 2020-10-12 11:45 ` rguenth at gcc dot gnu.org
2020-10-12 14:19 ` doko at debian dot org
` (11 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-10-12 11:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (3 preceding siblings ...)
2020-10-12 11:45 ` rguenth at gcc dot gnu.org
@ 2020-10-12 14:19 ` doko at debian dot org
2020-10-14 8:26 ` pedretti.fabio at gmail dot com
` (10 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: doko at debian dot org @ 2020-10-12 14:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
--- Comment #4 from Matthias Klose <doko at debian dot org> ---
this started with a regression hunt in-between with GCC 9 and GCC 10. However
the test case with a compiler configured with the extra and rtl checking
already produces this ICE with 2018-01-01 and 2019-01-01 builds.
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (4 preceding siblings ...)
2020-10-12 14:19 ` doko at debian dot org
@ 2020-10-14 8:26 ` pedretti.fabio at gmail dot com
2020-10-20 13:16 ` doko at debian dot org
` (9 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: pedretti.fabio at gmail dot com @ 2020-10-14 8:26 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
--- Comment #5 from Fabio <pedretti.fabio at gmail dot com> ---
This issue is reproducible (but more rarely) also when using -g0 , see the full
build log here:
https://launchpadlibrarian.net/501972023/buildlog_ubuntu-groovy-armhf.mesa_20.3~git2010140730.775866~oibaf~g_BUILDING.txt.gz
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (5 preceding siblings ...)
2020-10-14 8:26 ` pedretti.fabio at gmail dot com
@ 2020-10-20 13:16 ` doko at debian dot org
2020-10-20 13:20 ` doko at debian dot org
` (8 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: doko at debian dot org @ 2020-10-20 13:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
--- Comment #6 from Matthias Klose <doko at debian dot org> ---
this is triggered by:
2015-05-19 Jan Hubicka <hubicka@ucw.cz>
* tree.c (verify_type_variant): Fix #undef.
(gimple_canonical_types_compatible_p): Move here from lto.c
(verify_type): Verify TYPE_CANONICAL compatibility.
* tree.h (gimple_canonical_types_compatible_p): Declare.
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (6 preceding siblings ...)
2020-10-20 13:16 ` doko at debian dot org
@ 2020-10-20 13:20 ` doko at debian dot org
2020-10-28 11:56 ` mkuvyrkov at gcc dot gnu.org
` (7 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: doko at debian dot org @ 2020-10-20 13:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
--- Comment #7 from Matthias Klose <doko at debian dot org> ---
commit 872d5034baa1007606d405e37937908602fbbe51
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (7 preceding siblings ...)
2020-10-20 13:20 ` doko at debian dot org
@ 2020-10-28 11:56 ` mkuvyrkov at gcc dot gnu.org
2020-10-30 19:27 ` rth at gcc dot gnu.org
` (6 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: mkuvyrkov at gcc dot gnu.org @ 2020-10-28 11:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Maxim Kuvyrkov <mkuvyrkov at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mkuvyrkov at gcc dot gnu.org,
| |rth at gcc dot gnu.org
--- Comment #8 from Maxim Kuvyrkov <mkuvyrkov at gcc dot gnu.org> ---
Hi Richard,
Interested in checking out this bug? The original testcase is from QEMU
source: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=972789 .
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (8 preceding siblings ...)
2020-10-28 11:56 ` mkuvyrkov at gcc dot gnu.org
@ 2020-10-30 19:27 ` rth at gcc dot gnu.org
2020-10-30 20:27 ` rth at gcc dot gnu.org
` (5 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: rth at gcc dot gnu.org @ 2020-10-30 19:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
--- Comment #9 from Richard Henderson <rth at gcc dot gnu.org> ---
As a data point, this problem can be seen with any
strict-alignment target -- e.g. sparc.
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (9 preceding siblings ...)
2020-10-30 19:27 ` rth at gcc dot gnu.org
@ 2020-10-30 20:27 ` rth at gcc dot gnu.org
2021-04-08 12:02 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: rth at gcc dot gnu.org @ 2020-10-30 20:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
--- Comment #10 from Richard Henderson <rth at gcc dot gnu.org> ---
Created attachment 49473
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49473&action=edit
rfc patch
The following fixes the ICE.
It seems like a hack, done at the wrong level.
Should we have in fact set TYPE_STRUCTURAL_EQUALITY_P all the way
back on the unaligned 'a' type, before we even try to create an
array of 'a'? If so, that would have properly triggered the test
here in build_array_type_1 that would have bypassed the problem.
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (10 preceding siblings ...)
2020-10-30 20:27 ` rth at gcc dot gnu.org
@ 2021-04-08 12:02 ` rguenth at gcc dot gnu.org
2021-05-04 12:31 ` [Bug target/97323] [10/11/12 " rguenth at gcc dot gnu.org
` (3 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-04-08 12:02 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.3 |10.4
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10.3 is being released, retargeting bugs to GCC 10.4.
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11/12 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (11 preceding siblings ...)
2021-04-08 12:02 ` rguenth at gcc dot gnu.org
@ 2021-05-04 12:31 ` rguenth at gcc dot gnu.org
2022-06-28 10:42 ` [Bug target/97323] [10/11/12/13 " jakub at gcc dot gnu.org
` (2 subsequent siblings)
15 siblings, 0 replies; 17+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-05-04 12:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [10/11/12/13 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (12 preceding siblings ...)
2021-05-04 12:31 ` [Bug target/97323] [10/11/12 " rguenth at gcc dot gnu.org
@ 2022-06-28 10:42 ` jakub at gcc dot gnu.org
2023-07-07 10:38 ` [Bug target/97323] [11/12/13/14 " rguenth at gcc dot gnu.org
2023-11-30 21:36 ` pinskia at gcc dot gnu.org
15 siblings, 0 replies; 17+ messages in thread
From: jakub at gcc dot gnu.org @ 2022-06-28 10:42 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.4 |10.5
--- Comment #12 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] 17+ messages in thread
* [Bug target/97323] [11/12/13/14 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (13 preceding siblings ...)
2022-06-28 10:42 ` [Bug target/97323] [10/11/12/13 " jakub at gcc dot gnu.org
@ 2023-07-07 10:38 ` rguenth at gcc dot gnu.org
2023-11-30 21:36 ` pinskia at gcc dot gnu.org
15 siblings, 0 replies; 17+ 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=97323
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|10.5 |11.5
--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.
^ permalink raw reply [flat|nested] 17+ messages in thread
* [Bug target/97323] [11/12/13/14 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf
2020-10-07 17:17 [Bug target/97323] New: [10/11 Regression] ICE 'verify_type' failed on arm-linux-gnueabihf doko at debian dot org
` (14 preceding siblings ...)
2023-07-07 10:38 ` [Bug target/97323] [11/12/13/14 " rguenth at gcc dot gnu.org
@ 2023-11-30 21:36 ` pinskia at gcc dot gnu.org
15 siblings, 0 replies; 17+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-11-30 21:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97323
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dcb314 at hotmail dot com
--- Comment #14 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 112791 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 17+ messages in thread