[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 3 Oct 2012 08:11:48 +0000 (10:11 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 3 Oct 2012 08:11:48 +0000 (10:11 +0200)
commit2352eadb81e329fad9adbead81db9203610aa19a
treea5a384c168433a8465e44219426e2ef58fc13a97
parent3bfb3c03da7b29ad8d4fd6a303ac2cab9a94ca5f
[multiple changes]

2012-10-03  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (New_Overloaded_Entity): call
Append_Inherited_Subprogram when appropriate.
* sem_dim.adb (Analyze_Dimension_Call): Do not perform dimensional
analysis if call has previous semantic error.
* sem_util.ads, sem_util.adb (Append_Inherited_Subprogram):
new subprogram to handle properly the visibility of inherited
operations that are primitives of a type extension, when the
parent type and operations are declared in the same visible part.

2012-10-03  Robert Dewar  <dewar@adacore.com>

* checks.adb (Minimize_Eliminate_Overflow_Checks): Properly
handle case of top level expression within type conversion
* gnat1drv.adb (Adjust_Global_Switches): Set SUPPRESSED as
default for overflow checking for -gnatg mode (includes run-time).
* sem_res.adb (Resolve_Type_Conversion): Avoid bogus warnings
about redundant conversions from MINIMIZED/EXTENDED mode checking

From-SVN: r192029
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/gnat1drv.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_dim.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads