+2015-11-12 Emmanuel Briot <briot@adacore.com>
+
+ * s-os_lib.ads: Documentation update.
+
+2015-11-12 Arnaud Charlet <charlet@adacore.com>
+
+ * s-taprop-vxworks.adb, s-osinte-vxworks.ads: Use a single import of
+ taskDelay to avoid confusion.
+
+2015-11-12 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch6.adb (Expand_Simple_Function_Return): If the return
+ type is class-wide and the expression is a view conversion,
+ remove the conversion to prevent overriding of the tag, which
+ must be that of the object being returned.
+
+2015-11-12 Tristan Gingold <gingold@adacore.com>
+
+ * bindgen.adb (Gen_Adainit): Code cleanup.
+
+2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * s-stalib.ads: Code cleanup.
+
+2015-11-12 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch3.adb (Analyze_Incomplete_Type_Decl): small optimization.
+ (Analyze_Subtype_Declaration): For floating point types,
+ inherit dimensions.
+ (OK_For_Limited_Init_In_05): Handle properly a conditional
+ expression whose condition is static, and is rewritten as the
+ branch that will be executed.
+
+2015-11-12 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_attr.adb (Resolve_Attribute, case 'Access): If the context
+ type is an access constant type, do not mark the attribute
+ reference as a possible modification of the prefix.
+
2015-11-12 Steve Baird <baird@adacore.com>
* sem_ch6.adb (Analyze_Procedure_Call) If CodePeer_Mode is True,
System_BB_CPU_Primitives_Multiprocessors_Used : Boolean := False;
-- Flag indicating whether unit System.BB.CPU_Primitives.Multiprocessors
- -- is in the closure of the partiation. This is set by procedure
+ -- is in the closure of the partition. This is set by procedure
-- Resolve_Binder_Options, and it is used to call a procedure that starts
-- slave processors.
" ""__gnat_activate_all_tasks"");");
end if;
+ -- Import procedure to start slave cpus for bareboard runtime
+
+ if System_BB_CPU_Primitives_Multiprocessors_Used then
+ WBI (" procedure Start_Slave_CPUs;");
+ WBI (" pragma Import (C, Start_Slave_CPUs," &
+ " ""__gnat_start_slave_cpus"");");
+ end if;
+
-- For restricted run-time libraries (ZFP and Ravenscar)
-- tasks are non-terminating, so we do not want finalization.
Utyp : constant Entity_Id := Underlying_Type (R_Type);
- Exp : constant Node_Id := Expression (N);
+ Exp : Node_Id := Expression (N);
pragma Assert (Present (Exp));
Exptyp : constant Entity_Id := Etype (Exp);
begin
if Is_Class_Wide_Type (R_Type)
- and then not Is_Class_Wide_Type (Etype (Exp))
+ and then not Is_Class_Wide_Type (Exptyp)
+ and then Nkind (Exp) /= N_Type_Conversion
then
- Subtype_Ind := New_Occurrence_Of (Etype (Exp), Loc);
+ Subtype_Ind := New_Occurrence_Of (Exptyp, Loc);
else
Subtype_Ind := New_Occurrence_Of (R_Type, Loc);
+
+ -- If the result type is class-wide and the expression is a view
+ -- conversion, the conversion plays no role in the expansion because
+ -- it does not modify the tag of the object. Remove the conversion
+ -- altogether to prevent tag overwriting.
+
+ if Is_Class_Wide_Type (R_Type)
+ and then not Is_Class_Wide_Type (Exptyp)
+ and then Nkind (Exp) = N_Type_Conversion
+ then
+ Exp := Expression (Exp);
+ end if;
end if;
-- For the case of a simple return that does not come from an extended
-- Argument_List. Note that the result is allocated on the heap, and must
-- be freed by the programmer (when it is no longer needed) to avoid
-- memory leaks.
+ -- On Windows, backslashes are used as directory separators. On Unix,
+ -- however, they are used to escape the following character, so that for
+ -- instance "-d=name\ with\ space" is a single argument. In the result
+ -- list, the backslashes have been cleaned up when needed. The previous
+ -- example will thus result a single-element array, where the element is
+ -- "-d=name with space" (Unix) or "-d=name\ with\ space" (windows).
procedure Kill (Pid : Process_Id; Hard_Kill : Boolean := True);
-- Kill the process designated by Pid. Does nothing if Pid is Invalid_Pid
pragma Import (C, taskIsSuspended, "taskIsSuspended");
function taskDelay (ticks : int) return int;
- procedure taskDelay (ticks : int);
pragma Import (C, taskDelay, "taskDelay");
function sysClkRateGet return int;
with Ada.Unchecked_Conversion;
package System.Standard_Library is
- pragma Warnings (Off);
+
+ -- Historical note: pragma Preelaborate was surrounded by a pair of pragma
+ -- Warnings (Off/On) to circumvent a bootstrap issue.
+
pragma Preelaborate;
- pragma Warnings (On);
subtype Big_String is String (1 .. Positive'Last);
pragma Suppress_Initialization (Big_String);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNARL is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
if Single_Lock then
Result := semGive (Single_RTS_Lock.Mutex);
- taskDelay (0);
+ Result := taskDelay (0);
Result := semTake (Single_RTS_Lock.Mutex, WAIT_FOREVER);
else
Result := semGive (Self_ID.Common.LL.L.Mutex);
- taskDelay (0);
+ Result := taskDelay (0);
Result := semTake (Self_ID.Common.LL.L.Mutex, WAIT_FOREVER);
end if;
end if;
else Self_ID.Common.LL.L.Mutex);
else
- taskDelay (0);
+ Result := taskDelay (0);
end if;
end Timed_Delay;
-- to a missed warning (the Valid check does not really
-- modify!) If this case, Note will be reset to False.
+ -- Skip it as well if the type is an Acccess_To_Constant,
+ -- given that no use of the value can modify the prefix.
+
begin
if Attr_Id = Attribute_Unrestricted_Access
and then Nkind (PN) = N_Function_Call
then
Note := False;
end if;
+
+ elsif Is_Access_Constant (Typ) then
+ Note := False;
end if;
if Note then
Set_Direct_Primitive_Operations (T, New_Elmt_List);
end if;
- Push_Scope (T);
-
Set_Stored_Constraint (T, No_Elist);
if Present (Discriminant_Specifications (N)) then
+ Push_Scope (T);
Process_Discriminants (N);
+ End_Scope;
end if;
- End_Scope;
-
-- If the type has discriminants, non-trivial subtypes may be
-- declared before the full view of the type. The full views of those
-- subtypes will be built after the full view of the type.
Set_Scalar_Range (Id, Scalar_Range (T));
Set_Digits_Value (Id, Digits_Value (T));
Set_Is_Constrained (Id, Is_Constrained (T));
+ Copy_Dimensions (From => T, To => Id);
when Signed_Integer_Kind =>
Set_Ekind (Id, E_Signed_Integer_Subtype);
-- dereference. The function may also be parameterless, in which case
-- the source node is just an identifier.
+ -- A branch of a conditional expression may have been removed if the
+ -- condition is statically known. This happens during expansion, and
+ -- thus will not happen if previous errors were encountered. The check
+ -- will have been performed on the chosen branch, which replaces the
+ -- original conditional expression.
+
+ if No (Exp) then
+ return True;
+ end if;
+
case Nkind (Original_Node (Exp)) is
when N_Aggregate | N_Extension_Aggregate | N_Function_Call | N_Op =>
return True;
projects / gcc.git / commitdiff