+2012-10-05 Robert Dewar <dewar@adacore.com>
+
+ * checks.adb, checks.ads, s-tassta.adb, s-stposu.adb, s-spsufi.adb,
+ s-spsufi.ads, exp_ch4.adb: Minor reformatting.
+
2012-10-05 Yannick Moy <moy@adacore.com>
* switch-c.adb, checks.adb, checks.ads, sem_prag.adb, exp_ch4.adb,
Analyze_And_Resolve (Op);
end;
- -- Here we know the result is Long_Long_Integer'Base,
- -- or that it has been rewritten because the parent
- -- is a conversion (see Conversion_Optimization in
- -- Apply_Arithmetic_Overflow_Checked_Suppressed).
+ -- Here we know the result is Long_Long_Integer'Base, of that it has
+ -- been rewritten because the parent operation is a conversion. See
+ -- Conversion_Optimization.Apply_Arithmetic_Overflow_Checked_Suppressed.
else
pragma Assert
--
-- Overflow checks are applied to the operands of a comparison operation.
-- In this case, the comparison is done on the result Long_Long_Integer
- -- or Bignum values, without raising any exception.
+ -- or Bignum values, without raising any exceptions.
--
-- Overflow checks are applied to the left operand of a membership test.
-- In this case no exception is raised if a Long_Long_Integer or Bignum
Typl := Base_Type (Typl);
-- Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
- -- results in not having a comparison operation anymore, we are done.
+ -- means we no longer have a comparison operation, we are all done.
Expand_Compare_Minimize_Eliminate_Overflow (N);
Binary_Op_Validity_Checks (N);
-- Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
- -- results in not having a comparison operation anymore, we are done.
+ -- means we no longer have a comparison operation, we are all done.
Expand_Compare_Minimize_Eliminate_Overflow (N);
Binary_Op_Validity_Checks (N);
-- Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
- -- results in not having a comparison operation anymore, we are done.
+ -- means we no longer have a comparison operation, we are all done.
Expand_Compare_Minimize_Eliminate_Overflow (N);
Binary_Op_Validity_Checks (N);
-- Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
- -- results in not having a comparison operation anymore, we are done.
+ -- means we no longer have a comparison operation, we are all done.
Expand_Compare_Minimize_Eliminate_Overflow (N);
Binary_Op_Validity_Checks (N);
-- Deal with overflow checks in MINIMIZED/ELIMINATED mode and if that
- -- results in not having a comparison operation anymore, we are done.
+ -- means we no longer have a comparison operation, we are all done.
Expand_Compare_Minimize_Eliminate_Overflow (N);
Binary_Op_Validity_Checks (N);
-- Deal with overflow checks in MINIMIZED/ELIMINATED mode and if
- -- that results in not having a /= operation anymore, we are done.
+ -- means we no longer have a /= operation, we are all done.
Expand_Compare_Minimize_Eliminate_Overflow (N);
-- --
-- GNAT COMPILER COMPONENTS --
-- --
--- S Y S T E M . S T O R A G E _ P O O L S . S U B P O O L S . --
--- F I N A L I Z A T I O N --
+-- SYSTEM.STORAGE_POOLS.SUBPOOLS.FINALIZATION --
-- --
-- B o d y --
-- --
--- Copyright (C) 2011-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 2011-2012, Free Software Foundation, Inc. --
-- --
-- GNAT 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- --
------------------------------------------------------------------------------
with Ada.Unchecked_Deallocation;
+
with System.Finalization_Masters; use System.Finalization_Masters;
package body System.Storage_Pools.Subpools.Finalization is
-- --
-- GNAT COMPILER COMPONENTS --
-- --
--- S Y S T E M . S T O R A G E _ P O O L S . S U B P O O L S . --
--- F I N A L I Z A T I O N --
+-- SYSTEM.STORAGE_POOLS.SUBPOOLS.FINALIZATION --
-- --
-- S p e c --
-- --
--- Copyright (C) 2011-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 2011-2012, Free Software Foundation, Inc. --
-- --
-- GNAT 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- --
pragma Compiler_Unit;
package System.Storage_Pools.Subpools.Finalization is
+
+ -- The pragma is needed because package System.Storage_Pools.Subpools which
+ -- is already preelaborated now depends on this unit.
+
pragma Preelaborate;
procedure Finalize_And_Deallocate (Subpool : in out Subpool_Handle);
-- --
------------------------------------------------------------------------------
-with Ada.Exceptions; use Ada.Exceptions;
+with Ada.Exceptions; use Ada.Exceptions;
with Ada.Unchecked_Conversion;
+
with System.Address_Image;
with System.Finalization_Masters; use System.Finalization_Masters;
with System.IO; use System.IO;
with System.Soft_Links; use System.Soft_Links;
with System.Storage_Elements; use System.Storage_Elements;
+
with System.Storage_Pools.Subpools.Finalization;
use System.Storage_Pools.Subpools.Finalization;
C := All_Tasks_List;
P := null;
while C /= null loop
- -- If Free_On_Termination is set, do nothing here, and let
- -- the task free itself if not already done, otherwise we
- -- risk a race condition where Vulnerable_Free_Task is called
- -- in the loop below, while the task calls Free_Task itself,
- -- in Terminate_Task.
+
+ -- If Free_On_Termination is set, do nothing here, and let the
+ -- task free itself if not already done, otherwise we risk a race
+ -- condition where Vulnerable_Free_Task is called in the loop below,
+ -- while the task calls Free_Task itself, in Terminate_Task.
if C.Common.Parent = Self_ID
and then C.Master_of_Task >= CM
OSDN Git Service
