2015-01-07 Robert Dewar <dewar@adacore.com>
commite49e52ca33cbd95807a4fef056b7c1084b9f4851
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 7 Jan 2015 11:15:30 +0000 (7 11:15 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 7 Jan 2015 11:15:30 +0000 (7 11:15 +0000)
treed1c00124910bba060bbbba253510b620a45c52dc
parent56e11f1214108d81c908076214fe6429f345b83d
2015-01-07  Robert Dewar  <dewar@adacore.com>

* sem_warn.adb (Check_One_Unit): Don't give unused entities
warning for a package which is used as a generic parameter.

2015-01-07  Bob Duff  <duff@adacore.com>

* usage.adb (Usage): Correct documentation of
-gnatw.f switches.

2015-01-07  Robert Dewar  <dewar@adacore.com>

* s-fileio.adb: Minor reformatting.

2015-01-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Instantiate_Object): If formal is an anonymous
access to subprogram, replace its formals with new entities when
building the object declaration, both if actual is present and
when it is defaulted.

2015-01-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Analyze_Assignment): If left-hand side is a view
conversion and type of expression has invariant, apply invariant
check on expression.

2015-01-07  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Create_Constrained_Components): A call to
Gather_Components may detect an error if an inherited discriminant
that controls a variant is non-static.
* sem_aggr.adb (Resolve_Record_Aggregate, Step 5): The call to
Gather_Components may report an error if an inherited discriminant
in a variant in non-static.
* sem_util.adb (Gather_Components): If a non-static discriminant
is inherited do not report error here, but let caller handle it.
(Find_Actual): Small optimization.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219297 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/s-fileio.adb
gcc/ada/sem_aggr.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch5.adb
gcc/ada/sem_util.adb
gcc/ada/sem_warn.adb
gcc/ada/usage.adb