projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 457fb33) | patch
[Ada] Pick volatile refinement property of a subtype from its base type
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 7 Mar 2022 14:27:06 +0000 (15:27 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:02 +0000 (08:42 +0000)
commit4e8b88f36ce705d20dddc86f999539cc854ef401
tree56244ea58d2ef331f7fff9caed2ed6082c4cbbfbtree | snapshot
parent457fb3369aec1e9d681853bcd33d77bb8da2f8eacommit | diff
[Ada] Pick volatile refinement property of a subtype from its base type

Volatile refinement properties (e.g. Async_Writers), which refine the
Volatile aspect in SPARK, are inherited by subtypes from their base
types. In particular, this patch fixes handling of those properties for
subtypes of private types.

gcc/ada/

* sem_util.adb (Type_Or_Variable_Has_Enabled_Property): Given a
subtype recurse into its base type.
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;