2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb (Expand_Loop_Entry_Attribute): Clarify the
extraction of the declarative part of the conditional block. Move
the processing of simple infinite loops to the start of the
expansion logic. Correct the check which determines whether the
proper scope is installed in visibility.
* sem_attr.adb (Analyze_Attribute): Add local variable Attr
to keep track of the attribute in case the enclosing indexed
component has to be rewritten. When searching for the enclosing
loop, start from the proper attribute reference in case of a
rewriting. Do not allow for 'Loop_Entry to appear in pragma
Assert. Replace loop variable J with Index. Set the type of the
proper attribute.
* sem_ch5.adb (Check_Unreachable_Code): Detect a specialized
block that services a loop statement subject to at least one
'Loop_Entry attribute.
2013-04-24 Ed Schonberg <schonberg@adacore.com>
* sem_type.adb (Disambiguate): In Ada 2012 mode, when trying to
resolve a fixed point operation, use first subtype to determine
whether type and operator are declared in the same list of
declarations.
2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
* par-ch6.adb (P_Subprogram): Detect an illegal
placement of the aspect specification list in the context of
expression functions.
2013-04-24 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_Allocator): If the designated object
has tasks, and the pointer type is an itype that has no master
id, create a master renaming in the current context, which can
only be an init_proc.
From-SVN: r198242
