2012-06-12 Thomas Quinot <quinot@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Jun 2012 10:07:29 +0000 (10:07 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 Jun 2012 10:07:29 +0000 (10:07 +0000)
commit608b54ce23772b34a4065277a27325a14d43c443
tree11ff71a3be65dc04fda99dc9197d9e47e6db5c94
parentb6a174b7b7308f10a4b9c6a43b7f9c3a8cd43fd6
2012-06-12  Thomas Quinot  <quinot@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Unchecked_Union): Do
not crash on illegal unchecked union that is a null record.

2012-06-12  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb (Has_Inferable_Discriminants): Reorganize code to
treat implicit dereferences with a constrained unchecked union
nominal subtype as having inferable discriminants.

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