2012-10-04 Vincent Celier <celier@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Oct 2012 09:12:18 +0000 (09:12 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Oct 2012 09:12:18 +0000 (09:12 +0000)
commit0f4a8308ada2c4ec0e035a83752fc60a6c708539
tree5c4a4a3d3a91aa0e0ba8ef824071967b4ac40d15
parent4fb5f0a021cd23ac3f41aa7e3043bb2d5f58920c
2012-10-04  Vincent Celier  <celier@adacore.com>

* prj-proc.adb (Recursive_Process): Use project directory
display path name as the value of 'Project_Dir.

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

* exp_ch4.adb (Expand_Compare_Minimize_Eliminate_Overflow):
Deal with case where we get a bignum operand and cannot do a
range analysis.
* sem_eval.adb (Why_Not_Static): Deal with bignum operands

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

* sem_ch4.adb (Find_Unary_Types): Within an instance, an
interpretation that involves a predefied arithmetic operator is
not a candidate if the corresponding generic formal type is not
a numeric type.
* sem_util.ads, sem_util.adb (Corresonding_Generic_Type): If a
type is a generic actual type within an instance, return the
corresponding formal in the generic unit, otherwise return
Any_Type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192071 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_ch4.adb
gcc/ada/prj-proc.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_eval.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads