aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2021-03-10 12:04:25 +0100
committerEric Botcazou <ebotcazou@adacore.com>2021-03-10 12:32:03 +0100
commit1c3c12b0a6fdffce0eca0b21518cbb53b20abff1 (patch)
tree62d26b45c0bbe0298815419884a026be62e26738
parentda7343a6f48c6813a29640fec744b0a236b6540f (diff)
downloadgcc-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.c4
-rw-r--r--gcc/testsuite/gnat.dg/specs/lto25.ads12
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;