2005-12-05 Javier Miranda <miranda@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Dec 2005 17:18:26 +0000 (17:18 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Dec 2005 17:18:26 +0000 (17:18 +0000)
commit81f0d4b13c712877d3d87823587a3be610cf98e7
treef98aa66d57f20bce6f85cf529f50157ce414093f
parent506dd208ca621acd44d3033eb2d9eb2387fa2539
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108292 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/exp_ch5.adb