2012-01-23 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 23 Jan 2012 08:30:37 +0000 (08:30 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 23 Jan 2012 08:30:37 +0000 (08:30 +0000)
commit2691091b50f527d069c7a9a436745b6d70c6e6dd
tree7c32d49d1df71d989f2d62c9a87a67fc204c41ba
parentaf8e12d00e892ddf09c379cad3d2005df3e64751
2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>

* freeze.adb (Check_Current_Instance): Issue an
error when the prefix of 'Unchecked_Access or 'Access does not
denote a legal aliased view of a type.
(Freeze_Record_Type): Do not halt the processing of record components
once the Has_Controlled_Component is set as this bypasses the remaining
checks.
(Is_Aliased_View_Of_Type): New routine.

2012-01-23  Thomas Quinot  <quinot@adacore.com>

* errout.ads, freeze.adb: Minor reformatting.

2012-01-23  Thomas Quinot  <quinot@adacore.com>

* sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
messages.

2012-01-23  Olivier Hainque  <hainque@adacore.com>

* adadecode.c (__gnat_decode): Deal with empty input early,
preventing potential erroneous memory access later on.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@183407 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/adadecode.c
gcc/ada/errout.ads
gcc/ada/freeze.adb
gcc/ada/sem_ch10.adb
gcc/ada/sem_prag.adb