2015-03-04 Robert Dewar <dewar@adacore.com>
commit6387c28c44ea8eda6771f95143b86b90c8ee411c
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 4 Mar 2015 09:57:07 +0000 (4 09:57 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 4 Mar 2015 09:57:07 +0000 (4 09:57 +0000)
treedcfb567eda62825a89f603f5277d157664b3fc05
parentf3293abf09a06be56afdb475fb4c8a03edde267b
2015-03-04  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb (Expand_N_Subprogram_Body): Avoid trying to unnest
generic subprograms.
* exp_unst.adb (Check_Dynamic_Type): Handle record types properly
(Note_Uplevel_Reference): Ignore uplevel references to non-types
(Get_Level): Consider only subprograms, not blocks.
(Visit_Node): Set proper condition for generating ARECnF entity.
Ignore indirect calls. Ignore calls to subprograms
outside our nest.
(Unnest_Subprogram): Minor changes in dealing with ARECnF entity.
(Add_Form_To_Spec): Properly set Last_Entity field.
(Unnest_Subprogram): Set current subprogram scope for analyze calls.
Handle case of no uplevel refs in outer subprogram
Don't mark uplevel entities as aliased.
Don't deal with calls with no ARECnF requirement.

2015-03-04  Robert Dewar  <dewar@adacore.com>

* s-valrea.adb (Scan_Real): Remove redundant tests from scaling loops.
* s-imgdec.adb (Set_Decimal_Digits): Remove redundant Max
operation in computing LZ.
* sem_attr.adb: Minor typo fix

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221177 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/ada/exp_unst.adb
gcc/ada/s-imgdec.adb
gcc/ada/s-valrea.adb
gcc/ada/sem_attr.adb