projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b80a2b4) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 1 Aug 2014 13:32:40 +0000 (15:32 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 1 Aug 2014 13:32:40 +0000 (15:32 +0200)
commit10671e7affbf700ea0b10baa77901f0cf2b8e9ad
treea7b8a2e481a379903876167f720f50357eba8186tree
parentb80a2b4bcc7e4a7c5282c78d6d96df185137ae34commit | diff
[multiple changes]

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.

From-SVN: r213460
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history