diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2020-06-30 18:58:56 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-16 03:31:34 -0400 |
| commit | f6fd9533f5067a656a992c4c56861395005e2c36 (patch) | |
| tree | 1ac2c684a70733e0c49d3eeefccc56c2d30a65e0 /gcc/ada/gcc-interface/system.ads | |
| parent | 7e1ccdbb5141e4dd2d4b0c4fdbba80dd5fa9cae4 (diff) | |
| download | gcc-f6fd9533f5067a656a992c4c56861395005e2c36.zip gcc-f6fd9533f5067a656a992c4c56861395005e2c36.tar.gz gcc-f6fd9533f5067a656a992c4c56861395005e2c36.tar.bz2 | |
[Ada] Legal actual type with inherited discriminants rejected in instantiation
gcc/ada/
* sem_eval.adb (Subtypes_Statically_Match): Retrieve
discriminant constraints from the two types via new function
Original_Discriminant_Constraint rather than
Discriminant_Constraint.
(Original_Discriminant_Constraint): New function to locate the
nearest explicit discriminant constraint associated with a type
that may possibly have inherited a constraint from an ancestor
type.
Diffstat (limited to 'gcc/ada/gcc-interface/system.ads')
0 files changed, 0 insertions, 0 deletions