| commit | 5dcbefb1c407fcb949597c4257726bfbc8760cfb | |
| author | Yannick Moy <moy@adacore.com> | |
| Mon, 22 Jul 2019 13:57:42 +0000 (22 13:57 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Mon, 22 Jul 2019 13:57:42 +0000 (22 13:57 +0000) | ||
| tree | 6928b39af2499baa60b204bbfde87cf73296573e | treesnapshot (tar.gz zip) |
| parent | 116992570783944a12e64e63db9f5a2445e10016 | commitdiff |
[Ada] Issue warning or error message on ignored typing constraint
GNAT ignores the discriminant constraint on a component when it applies
to the type of the record being analyzed. Now issue a warning on Ada
code when ignoring this constraint, or an error on SPARK code.
2019-07-22 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_ch3.adb (Constrain_Access): Issue a message about ignored
constraint.
gcc/testsuite/
* gnat.dg/warn24.adb: New testcase.
From-SVN: r273684
GNAT ignores the discriminant constraint on a component when it applies
to the type of the record being analyzed. Now issue a warning on Ada
code when ignoring this constraint, or an error on SPARK code.
2019-07-22 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_ch3.adb (Constrain_Access): Issue a message about ignored
constraint.
gcc/testsuite/
* gnat.dg/warn24.adb: New testcase.
From-SVN: r273684
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch3.adb | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gnat.dg/warn24.adb | [new file with mode: 0644] | blob |