projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2f9cda) | patch
[Ada] Add a missing check for trivial predicates on non-discrete types
authorEd Schonberg <schonberg@adacore.com>
Mon, 16 Jul 2018 14:11:15 +0000 (14:11 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 16 Jul 2018 14:11:15 +0000 (14:11 +0000)
commitd2b73a3edb85564fce73b916ad7f7c65ea3ef74d
treef7769c876083d2280ce3368472a2a7fbccc1ee41tree
parentf2f9cdad15a6eaadb93239092eb4441c535fa387commit | diff
[Ada] Add a missing check for trivial predicates on non-discrete types

2018-07-16  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch3.adb (Inherit_Predicate_Flags): A non-discrete type may have a
static predicate (for example True) but has no
static_discrete_predicate.

From-SVN: r262716
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history