projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1169925) | patch
[Ada] Issue warning or error message on ignored typing constraint
authorYannick Moy <moy@adacore.com>
Mon, 22 Jul 2019 13:57:42 +0000 (13:57 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 22 Jul 2019 13:57:42 +0000 (13:57 +0000)
commit5dcbefb1c407fcb949597c4257726bfbc8760cfb
tree6928b39af2499baa60b204bbfde87cf73296573etree
parent116992570783944a12e64e63db9f5a2445e10016commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/warn24.adb [new file with mode: 0644] blob