projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc503ce) | patch
exp_ch5.adb (Expand_N_Assignment_Statement): In case of tagged types and the assignme...
authorJavier Miranda <miranda@adacore.com>
Fri, 9 Dec 2005 17:18:26 +0000 (18:18 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 9 Dec 2005 17:18:26 +0000 (18:18 +0100)
commitd82e89e9defbe9f2b9ddbbd4873f2706e30c9f27
treef98aa66d57f20bce6f85cf529f50157ce414093ftree
parentdc503cef64e1eda4b4be760112de394207dbd096commit | diff
exp_ch5.adb (Expand_N_Assignment_Statement): In case of tagged types and the assignment to a class-wide object...

2005-12-05  Javier Miranda  <miranda@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): In case of tagged types
and the assignment to a class-wide object, before the assignment we
generate a run-time check to ensure that the tag of the Target is
covered by the tag of the source.

From-SVN: r108292
gcc/ada/exp_ch5.adb diff | blob | history