projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afb8854) | patch
[Ada] Generate predicate checks for on assignments in records
authorGhjuvan Lacambre <lacambre@adacore.com>
Thu, 12 Mar 2020 13:12:53 +0000 (14:12 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:33 +0000 (05:53 -0400)
commit6593c082b9aae7292714b20ce8f26f76e57d2221
tree84de5c6c6c2bece08f9fcf02be85cd67fdc899fftree
parentafb885445f8de9eb4f62e9e647d976202a321850commit | diff
[Ada] Generate predicate checks for on assignments in records

2020-06-11  Ghjuvan Lacambre  <lacambre@adacore.com>

gcc/ada/

* exp_ch3.adb (Build_Assignment): Generate predicate check if
subtype mark has predicate.
gcc/ada/exp_ch3.adb diff | blob | history