]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix glitch in handling of Atomic_Components on generic formal type
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 17 Mar 2025 11:57:26 +0000 (12:57 +0100)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 9 Jun 2025 08:23:34 +0000 (10:23 +0200)
commit2fd267be72dfb0dbaa422c21888a40e69173defa
tree49d7ca7716d3069a68026ecd33324fb6984e1f2a
parentf59c4d4a6a30c655afb53236eee2bda9e2d2cbb2
ada: Fix glitch in handling of Atomic_Components on generic formal type

In Ada 2022 aspects Atomic_Components and Volatile_Components can be specified
for a formal array type, but then they need to be set on the base type entity.
Otherwise we get an assertion failure in debug build and wrong legality errors
in production builds.

gcc/ada/ChangeLog:

* sem_prag.adb (Analyze_Pragma): If pragmas apply to a formal array
type, then set the flags on the base type.
gcc/ada/sem_prag.adb