From 1c3c12b0a6fdffce0eca0b21518cbb53b20abff1 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 10 Mar 2021 12:04:25 +0100 Subject: 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. --- gcc/ada/gcc-interface/decl.c | 4 ++++ gcc/testsuite/gnat.dg/specs/lto25.ads | 12 ++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/specs/lto25.ads (limited to 'gcc') 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; -- cgit v1.1