projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 822868a) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Aug 2011 14:24:40 +0000 (16:24 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Aug 2011 14:24:40 +0000 (16:24 +0200)
commit5f9cdefe6b406caec538bb764c4da78751037bed
tree5362e5f179fb36694f2348474e8ce0cb0d242fe6tree
parent822868aa564816380d7928a6ead984524abc8259commit | diff
[multiple changes]

2011-08-05  Yannick Moy  <moy@adacore.com>

* sem_ch12.adb (Analyze_Package_Instantiation,
Need_Subprogram_Instance_Body): do not generate instance bodies in ALFA
mode.

2011-08-05  Ed Schonberg  <schonberg@adacore.com>

* sem_type.adb (Specific_Type): in an instance, the type-specific
operand of an equality check that involves null may have a private
type. Use full view to determine legality of construct.

From-SVN: r177444
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_type.adb diff | blob | history