+2012-07-09 Robert Dewar <dewar@adacore.com>
+
+ * freeze.adb: Minor code reorganization (use Ekind_In).
+ * exp_attr.adb, sem_ch9.adb par-ch4.adb, s-taprop-mingw.adb,
+ sem_attr.adb, exp_ch8.adb, snames.adb-tmpl, par-util.adb,
+ sem_ch13.adb, snames.ads-tmpl: Minor reformatting.
+
+2012-07-09 Tristan Gingold <gingold@adacore.com>
+
+ * raise-gcc.c: Adjust previous patch.
+
+2012-07-09 Vincent Celier <celier@adacore.com>
+
+ * make.adb (Compilation_Phase): Do not build libraries in
+ Codepeer mode (do not call Library_Phase).
+
2012-07-09 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Extend previous change to elementary types.
Attribute_Variable_Indexing =>
null;
- -- Internal attributes used to deal with Ada 2012 delayed aspects
- -- (already diagnosed by parser, thus nothing more to do here).
+ -- Internal attributes used to deal with Ada 2012 delayed aspects. These
+ -- were already rejected by the parser. Thus they shouldn't appear here.
when Attribute_CPU |
Attribute_Dispatching_Domain |
Id : constant Entity_Id := Defining_Entity (N);
function Build_Body_For_Renaming return Node_Id;
- -- Build and return the body for the renaming declaration of an
- -- equality or unequality operator.
+ -- Build and return the body for the renaming declaration of an equality
+ -- or inequality operator.
+
+ -----------------------------
+ -- Build_Body_For_Renaming --
+ -----------------------------
function Build_Body_For_Renaming return Node_Id is
Body_Id : Entity_Id;
return Decl;
end Build_Body_For_Renaming;
- -- Local variable
+ -- Local variables
Nam : constant Node_Id := Name (N);
+ -- Start of processing for Expand_N_Subprogram_Renaming_Declaration
+
begin
-- When the prefix of the name is a function call, we must force the
-- call to be made by removing side effects from the call, since we
Expression =>
Expand_Record_Equality
(Id,
- Typ => Typ,
- Lhs => Make_Identifier (Loc, Chars (Left)),
- Rhs => Make_Identifier (Loc, Chars (Right)),
+ Typ => Typ,
+ Lhs => Make_Identifier (Loc, Chars (Left)),
+ Rhs => Make_Identifier (Loc, Chars (Right)),
Bodies => Declarations (Decl))))));
Append (Decl, List_Containing (N));
begin
-- Deal with delayed aspect specifications for components. The
-- analysis of the aspect is required to be delayed to the freeze
- -- point, thus we analyze the pragma or attribute definition clause
- -- in the tree at this point. We also analyze the aspect
+ -- point, thus we analyze the pragma or attribute definition
+ -- clause in the tree at this point. We also analyze the aspect
-- specification node at the freeze point when the aspect doesn't
-- correspond to pragma/attribute definition clause.
-- Handle the component and discriminant case
- if Ekind (Comp) = E_Component
- or else Ekind (Comp) = E_Discriminant
- then
+ if Ekind_In (Comp, E_Component, E_Discriminant) then
declare
CC : constant Node_Id := Component_Clause (Comp);
-- have been regenerated.
if Main_Project /= No_Project
+ and then not Codepeer_Mode
and then MLib.Tgt.Support_For_Libraries /= Prj.None
and then (Do_Bind_Step
or Unique_Compile_All_Projects
Attr_Name := Token_Name;
-- Note that internal attributes names don't denote real
- -- attribute.
+ -- attributes, so do not count in this error test. We just
+ -- want to consider them as not being attribute names.
if not Is_Attribute_Name (Attr_Name)
or else Is_Internal_Attribute_Name (Attr_Name)
Error_Msg_Name_1 := First_Attribute_Name;
while Error_Msg_Name_1 <= Last_Attribute_Name loop
+
-- No mispelling possible with internal attribute names since they
- -- don't denote real attribute.
+ -- don't denote real attributes.
if not Is_Internal_Attribute_Name (Error_Msg_Name_1)
and then Is_Bad_Spelling_Of (Token_Name, Error_Msg_Name_1)
{
/* Terminate when the end of the stack is reached. */
if ((phases & _UA_END_OF_STACK) != 0
-#if defined (__ia64__) && defined (USE_LIBUNWIND_EXCEPTIONS)
+#if defined (__ia64__) && defined (__hpux__)
/* Strictely follow the ia64 ABI: when end of stack is reached,
the callback will be called with a NULL stack pointer.
No need for that when using libgcc unwinder. */
pragma Unreferenced (Loss_Of_Inheritance);
begin
- Res := SetThreadPriority
- (T.Common.LL.Thread, Interfaces.C.int (Underlying_Priorities (Prio)));
+ Res :=
+ SetThreadPriority
+ (T.Common.LL.Thread,
+ Interfaces.C.int (Underlying_Priorities (Prio)));
pragma Assert (Res = Win32.TRUE);
-- Note: Annex D (RM D.2.3(5/2)) requires the task to be placed at the
-- head of its priority queue when decreasing its priority as a result
-- of a loss of inherited priority. This is not the case, but we
- -- consider it an acceptable variation (RM 1.1.3(6)), given this is the
- -- built-in behavior offered by the Windows operating system.
+ -- consider it an acceptable variation (RM 1.1.3(6)), given this is
+ -- the built-in behavior offered by the Windows operating system.
-- In older versions we attempted to better approximate the Annex D
-- required behavior, but this simulation was not entirely accurate,
Attribute_Variable_Indexing =>
Error_Msg_N ("illegal attribute", N);
- -- Internal attributes used to deal with Ada 2012 delayed aspects
- -- (already diagnosed by parser, thus nothing more to do here).
+ -- Internal attributes used to deal with Ada 2012 delayed aspects. These
+ -- were already rejected by the parser. Thus they shouldn't appear here.
when Attribute_CPU |
Attribute_Dispatching_Domain |
and then Siz > UI_From_Int (Int'Last)
then
Error_Msg_N ("Size value too large for elementary type", N);
+
if Nkind (Original_Node (N)) = N_Op_Expon then
Error_Msg_N
("\maybe '* was meant, rather than '*'*", Original_Node (N));
Pdef : constant Node_Id := Protected_Definition (N);
Priv_Decls : constant List_Id := Private_Declarations (Pdef);
Vis_Decls : constant List_Id := Visible_Declarations (Pdef);
-
- Decl : Node_Id;
+ Decl : Node_Id;
begin
-- Examine the visible and the private declarations
if Nkind (Decl) = N_Entry_Declaration then
if Complain then
- Error_Msg_N ("entry not allowed when Lock_Free given",
- Decl);
+ Error_Msg_N
+ ("entry not allowed when Lock_Free given", Decl);
end if;
return False;
-- allowed by the lock-free restrictions.
elsif Nkind (Decl) = N_Subprogram_Declaration
- and then Nkind (Specification (Decl)) =
- N_Procedure_Specification
- and then Present
- (Parameter_Specifications (Specification (Decl)))
+ and then
+ Nkind (Specification (Decl)) = N_Procedure_Specification
+ and then
+ Present (Parameter_Specifications (Specification (Decl)))
then
declare
Par_Specs : constant List_Id :=
end;
end if;
- -- Examine the private declarations after the visible
- -- declarations.
+ -- Examine private declarations after visible declarations
if No (Next (Decl))
and then List_Containing (Decl) = Vis_Decls
begin
Decl := First (Decls);
-
while Present (Decl) loop
if Nkind (Decl) = N_Subprogram_Body
and then not Satisfies_Lock_Free_Requirements (Decl)
then
if Complain then
- Error_Msg_N ("body not allowed when Lock_Free given",
- Decl);
+ Error_Msg_N
+ ("body not allowed when Lock_Free given", Decl);
end if;
return False;
else
if Ada_Version >= Ada_2005 then
Error_Msg_N ("expect task name or task interface class-wide "
- & "object for ABORT", T_Name);
+ & "object for ABORT", T_Name);
else
Error_Msg_N ("expect task name for ABORT", T_Name);
end if;
-- issued by Allows_Lock_Free_Implementation.
if Uses_Lock_Free (Defining_Identifier (N)) then
+
-- Complain when there is an explicit aspect/pragma Priority (or
-- Interrupt_Priority) while the lock-free implementation is forced
-- by an aspect/pragma.
declare
- Id : constant Entity_Id :=
- Defining_Identifier (Original_Node (N));
+ Id : constant Entity_Id :=
+ Defining_Identifier (Original_Node (N));
-- The warning must be issued on the original identifier in order
-- to deal properly with the case of a single protected object.
begin
if Present (Prio_Item) then
+
-- Aspect case
if Nkind (Prio_Item) = N_Aspect_Specification
function Is_Internal_Attribute_Name (N : Name_Id) return Boolean is
begin
- return N = Name_CPU
- or N = Name_Interrupt_Priority
- or N = Name_Dispatching_Domain;
+ return
+ N = Name_CPU or else
+ N = Name_Interrupt_Priority or else
+ N = Name_Dispatching_Domain;
end Is_Internal_Attribute_Name;
----------------------------
-- section in Sem_Attr.
-- The entries marked INT are not real attributes. They are special names
- -- used internally by GNAT in order to deal with delayed aspects
+ -- used internally by GNAT in order to deal with certain delayed aspects
-- (Aspect_CPU, Aspect_Dispatching_Domain, Aspect_Interrupt_Priority) that
- -- don't have corresponding pragma or attribute.
+ -- don't have corresponding pragmas or user-referencable attributes. It is
+ -- convenient to have these internal attributes available in processing
+ -- the aspects, since the normal approach is to convert an aspect into its
+ -- corresponding pragma or attribute specification.
-- The entries marked VMS are recognized only in OpenVMS implementations
-- of GNAT, and are treated as illegal in all other contexts.
projects / thirdparty / gcc.git / commitdiff
