diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-09-11 19:53:12 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-25 11:09:03 +0200 |
| commit | de8d6829371821775183fbf5633cc1e654d96b78 (patch) | |
| tree | df555fee5852fca81c709928c0d8d3679187471b /gcc/ada/gcc-interface | |
| parent | 12d625e3f01cfe375320aef4ff8095c50b91d709 (diff) | |
| download | gcc-de8d6829371821775183fbf5633cc1e654d96b78.zip gcc-de8d6829371821775183fbf5633cc1e654d96b78.tar.gz gcc-de8d6829371821775183fbf5633cc1e654d96b78.tar.bz2 | |
ada: Fix internal error on bit-packed array type with Volatile_Full_Access
The problem occurs when the component type is a record type with default
values for the initialization procedure of the (base) array type, because
the compiler is trying to generate a full access for a parameter of the
base array type, which does not make sense.
gcc/ada/ChangeLog:
PR ada/116551
* gcc-interface/trans.cc (node_is_atomic) <N_Identifier>: Return
false if the type of the entity is an unconstrained array type.
(node_is_volatile_full_access) <N_Identifier>: Likewise.
Diffstat (limited to 'gcc/ada/gcc-interface')
| -rw-r--r-- | gcc/ada/gcc-interface/trans.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc index 7728e60..93f6740 100644 --- a/gcc/ada/gcc-interface/trans.cc +++ b/gcc/ada/gcc-interface/trans.cc @@ -4263,7 +4263,10 @@ node_is_atomic (Node_Id gnat_node) if (!Is_Object (gnat_entity)) break; return Is_Atomic (gnat_entity) + /* Disregard the flag on unconstrained arrays or simple constants + since we cannot or need not generate an atomic access. */ || (Is_Atomic (Etype (gnat_entity)) + && Ekind (Etype (gnat_entity)) != E_Array_Type && !simple_constant_p (gnat_entity)); case N_Selected_Component: @@ -4303,7 +4306,10 @@ node_is_volatile_full_access (Node_Id gnat_node) if (!Is_Object (gnat_entity)) break; return Is_Volatile_Full_Access (gnat_entity) + /* Disregard the flag on unconstrained arrays or simple constants + since we cannot or need not generate a full access. */ || (Is_Volatile_Full_Access (Etype (gnat_entity)) + && Ekind (Etype (gnat_entity)) != E_Array_Type && !simple_constant_p (gnat_entity)); case N_Selected_Component: |