diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-06-20 19:46:43 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-07-03 15:26:13 +0200 |
| commit | a7a89c370c0ac78fb08eec49cb08b1a23cc4c8b7 (patch) | |
| tree | 6b910c5d3df131dcee1508e46f899836437d2555 /gcc/tree.h | |
| parent | b0762d4c7e7894845e70e839c8513ae4c9e9d42e (diff) | |
| download | gcc-a7a89c370c0ac78fb08eec49cb08b1a23cc4c8b7.zip gcc-a7a89c370c0ac78fb08eec49cb08b1a23cc4c8b7.tar.gz gcc-a7a89c370c0ac78fb08eec49cb08b1a23cc4c8b7.tar.bz2 | |
ada: Fix small inaccuracy in implementation of B.3.3(20/2)
This is the clause about inferable discriminants in unchecked unions.
gcc/ada/
* sem_util.adb (Has_Inferable_Discriminants): In the case of a
component with a per-object constraint, also return true if the
enclosing object is not of an unchecked union type.
In the default case, remove a useless call to Base_Type.
Diffstat (limited to 'gcc/tree.h')
0 files changed, 0 insertions, 0 deletions