diff options
| author | Viljar Indus <indus@adacore.com> | 2025-01-20 15:10:22 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-06-05 15:38:44 +0200 |
| commit | 9f9476c195e4234f2bda930b5adee7d18d43d34e (patch) | |
| tree | 50164842847e2f8475396d577cd8c0d9c926c95a /gcc/tree-ssa-phiopt.cc | |
| parent | a871b236c17b818baa7437a313793058110e70f3 (diff) | |
| download | gcc-9f9476c195e4234f2bda930b5adee7d18d43d34e.zip gcc-9f9476c195e4234f2bda930b5adee7d18d43d34e.tar.gz gcc-9f9476c195e4234f2bda930b5adee7d18d43d34e.tar.bz2 | |
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.
Diffstat (limited to 'gcc/tree-ssa-phiopt.cc')
0 files changed, 0 insertions, 0 deletions