This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213460 - in /trunk/gcc/ada: ChangeLog sem_ch4....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 01 Aug 2014 13:32:40 -0000
- Subject: r213460 - in /trunk/gcc/ada: ChangeLog sem_ch4....
Author: charlet
Date: Fri Aug 1 13:32:40 2014
New Revision: 213460
URL: https://gcc.gnu.org/viewcvs?rev=213460&root=gcc&view=rev
Log:
2014-08-01 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Resolve_Call): Do not perform
GNATprove-specific inlining while within a generic.
2014-08-01 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Case_Expression): Handle properly a
case expression with incompatible alternatives, when the first
alternative is overloaded.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_res.adb