diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2021-03-10 12:04:25 +0100 |
---|---|---|
committer | Eric Botcazou <ebotcazou@adacore.com> | 2021-03-10 12:32:03 +0100 |
commit | 1c3c12b0a6fdffce0eca0b21518cbb53b20abff1 (patch) | |
tree | 62d26b45c0bbe0298815419884a026be62e26738 | |
parent | da7343a6f48c6813a29640fec744b0a236b6540f (diff) | |
download | gcc-1c3c12b0a6fdffce0eca0b21518cbb53b20abff1.zip gcc-1c3c12b0a6fdffce0eca0b21518cbb53b20abff1.tar.gz gcc-1c3c12b0a6fdffce0eca0b21518cbb53b20abff1.tar.bz2 |
Fix ICE on atomic enumeration type with LTO
This is a strange regression whereby an enumeration type declared as
atomic (or volatile) incorrectly triggers the ODR machinery for its
values in LTO mode.
gcc/ada/
* gcc-interface/decl.c (gnat_to_gnu_entity): Build a TYPE_STUB_DECL
for the main variant of an enumeration type declared as volatile.
gcc/testsuite/
* gnat.dg/specs/lto25.ads: New test.
-rw-r--r-- | gcc/ada/gcc-interface/decl.c | 4 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/specs/lto25.ads | 12 |
2 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index aea191c..27ef51a 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -4713,6 +4713,10 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, bool definition) const int quals = TYPE_QUAL_VOLATILE | (Is_Full_Access (gnat_entity) ? TYPE_QUAL_ATOMIC : 0); + /* This is required by free_lang_data_in_type to disable the ODR. */ + if (TREE_CODE (gnu_type) == ENUMERAL_TYPE) + TYPE_STUB_DECL (gnu_type) + = create_type_stub_decl (TYPE_NAME (gnu_type), gnu_type); gnu_type = change_qualified_type (gnu_type, quals); } diff --git a/gcc/testsuite/gnat.dg/specs/lto25.ads b/gcc/testsuite/gnat.dg/specs/lto25.ads new file mode 100644 index 0000000..89876b6 --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/lto25.ads @@ -0,0 +1,12 @@ +-- { dg-do compile } +-- { dg-options "-flto" { target lto } } + +package Lto25 is + + type Enum is (One, Two, Three) with Atomic; + + type Rec is record + E : Enum := One; + end record; + +end Lto25; |