]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Reject Valid_Value arguments originating from Standard
authorViljar Indus <indus@adacore.com>
Mon, 20 Jan 2025 13:10:22 +0000 (15:10 +0200)
committerEric Botcazou <ebotcazou@adacore.com>
Thu, 5 Jun 2025 13:38:44 +0000 (15:38 +0200)
commit9f9476c195e4234f2bda930b5adee7d18d43d34e
tree50164842847e2f8475396d577cd8c0d9c926c95a
parenta871b236c17b818baa7437a313793058110e70f3
ada: Reject Valid_Value arguments originating from Standard

The constraint for Valid_Value not applying to types from Standard
should also apply to all types derived from those types.

gcc/ada/ChangeLog:

* doc/gnat_rm/implementation_defined_attributes.rst: Update the
documentation for Valid_Value.
* sem_attr.adb (Analyze_Attribute): Reject types where
the root type originates from Standard.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
gcc/ada/gnat_rm.texi
gcc/ada/sem_attr.adb