sem_ch9.adb (Analyze_Protected_Type, [...]): Check that if this is the full-declarati...
authorJavier Miranda <miranda@adacore.com>
Wed, 15 Feb 2006 09:45:00 +0000 (10:45 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Feb 2006 09:45:00 +0000 (10:45 +0100)
commitd97d1726450be2730e9dab700a0ffddd838a6753
tree90881b527ff74f29dc63f194427a3d96b36d1497
parentcdc8c54cf73e3b3d5cd5d3431a76a0fbd1c42908
sem_ch9.adb (Analyze_Protected_Type, [...]): Check that if this is the full-declaration associated with a private...

2006-02-13  Javier Miranda  <miranda@adacore.com>

* sem_ch9.adb (Analyze_Protected_Type, Analyze_Task_Type): Check that
if this is the full-declaration associated with a private declaration
that implement interfaces, then the private type declaration must be
limited.
(Analyze_Single_Protected, Analyze_Single_Task): Do not mark the object
as aliased. The use of the 'access attribute is not available for such
object (for this purpose the object should be explicitly marked as
aliased, but being an anonymous type this is not possible).

From-SVN: r111094
gcc/ada/sem_ch9.adb