| commit | a7a89c370c0ac78fb08eec49cb08b1a23cc4c8b7 | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Tue, 20 Jun 2023 17:46:43 +0000 (20 19:46 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 3 Jul 2023 13:26:13 +0000 (3 15:26 +0200) | ||
| tree | 6b910c5d3df131dcee1508e46f899836437d2555 | treesnapshot (tar.gz zip) |
| parent | b0762d4c7e7894845e70e839c8513ae4c9e9d42e | commitdiff |
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.
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.
| gcc/ada/sem_util.adb | diffblobblamehistory |