projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73bfca7) | patch
exp_ch3.adb (Build_Initialization_Call): Apply predicate check to default discriminan...
authorEd Schonberg <schonberg@adacore.com>
Fri, 6 Jan 2017 12:04:33 +0000 (12:04 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 6 Jan 2017 12:04:33 +0000 (13:04 +0100)
commite666e744789bce7e018bafd8893bac3fa27903d8
tree62f1c0eee4786a70aa5f282870c93f612e069453tree
parent73bfca7886a32ab7b806b6c8f7dc32663f83b44acommit | diff
exp_ch3.adb (Build_Initialization_Call): Apply predicate check to default discriminant value if checks are enabled.

2017-01-06  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Build_Initialization_Call): Apply predicate
check to default discriminant value if checks are enabled.
(Build_Assignment): If type of component has static predicate,
apply check to its default value, if any.

From-SVN: r244147
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_ch3.adb diff | blob | history