2010-09-09 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Sep 2010 13:44:04 +0000 (13:44 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Sep 2010 13:44:04 +0000 (13:44 +0000)
commit780bfb21f031faba83f49c3277ca732d90f28a82
tree5bb42b5c9fd503b30a6ce3e268ee8f709af55414
parenta0016f6ba25eddf76347464334ea63ccb95c8e6b
2010-09-09  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb (Is_Same_Value): Two occurrences of the same
discriminant cannot be assumed to be the same value because they may
refer to bounds of a component of two different instances of a
discriminated type.

2010-09-09  Gary Dismukes  <dismukes@adacore.com>

* checks.adb (Apply_Arithmetic_Overflow_Check): When converting the
operands of an operator to the type of an enclosing conversion, rewrite
the operator so the conversion can't be flagged as redundant.
Remove useless assignments to Typ and Rtyp.

2010-09-09  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi: Fix another long line.

2010-09-09  Bob Duff  <duff@adacore.com>

* sem_warn.adb (Output_Reference_Error): Don't warn for renames read
but never assigned.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164096 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/gnat_ugn.texi
gcc/ada/sem_eval.adb
gcc/ada/sem_warn.adb