diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-22 13:57:42 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:57:42 +0000 |
| commit | 5dcbefb1c407fcb949597c4257726bfbc8760cfb (patch) | |
| tree | 6928b39af2499baa60b204bbfde87cf73296573e /gcc/ada/sem_spark.adb | |
| parent | 116992570783944a12e64e63db9f5a2445e10016 (diff) | |
| download | gcc-5dcbefb1c407fcb949597c4257726bfbc8760cfb.zip gcc-5dcbefb1c407fcb949597c4257726bfbc8760cfb.tar.gz gcc-5dcbefb1c407fcb949597c4257726bfbc8760cfb.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions