2007-04-06 Javier Miranda <miranda@adacore.com>

	    Matt Heaney  <heaney@adacore.com>
	    Robert Dewar  <dewar@adacore.com>

	a-coprnu.ads, a-cohata.ads, a-chtgop.ads, a-chtgop.adb, a-cgcaso.ads,
	a-cgarso.ads, a-secain.ads, a-slcain.ads, a-shcain.ads, a-chtgke.ads,
	a-chtgke.ads, a-coprnu.ads, a-contai.ads, a-chtgke.ads, a-chtgke.adb,
	a-stwiha.ads, a-strhas.ads, a-lfztio.ads, a-liztio.ads, a-llfzti.ads,
	a-llizti.ads, a-sfztio.ads, a-siztio.ads, a-ssizti.ads, a-stzfix.ads,
	a-stzhas.ads, a-szuzha.ads, a-tiunio.ads, a-wwunio.ads, a-ztcoio.ads,
	a-ztinio.ads, a-zttest.ads, a-zzunio.ads, a-astaco.ads, a-charac.ads,
	a-chlat1.ads, ada.ads, a-dynpri.ads, a-flteio.ads, a-fwteio.ads,
	a-inteio.ads, a-intnam.ads, a-ioexce.ads, a-iwteio.ads, a-lfteio.ads,
	a-lfwtio.ads, a-liteio.ads, a-liwtio.ads, a-llftio.ads, a-llfwti.ads,
	a-llitio.ads, a-lliwti.ads, a-ncelfu.ads, a-ngcefu.ads, a-ngelfu.ads,
	a-nlcefu.ads, a-nlcoty.ads, a-nlelfu.ads, a-nllcef.ads, a-nllcty.ads,
	a-nllefu.ads, a-nscefu.ads, a-nscoty.ads, a-nselfu.ads, a-nucoty.ads,
	a-nuelfu.ads, a-numeri.ads, a-sfteio.ads, a-sfwtio.ads, a-siteio.ads,
	a-siwtio.ads, a-ssitio.ads, a-ssiwti.ads, a-storio.ads, a-strfix.ads,
	a-string.ads, a-stwifi.ads, a-titest.ads, a-unccon.ads, a-uncdea.ads,
	a-wtcoio.ads, a-wtinio.ads, a-wttest.ads, calendar.ads, directio.ads,
	i-c.ads, ioexcept.ads, machcode.ads, sequenio.ads, text_io.ads,
	unchconv.ads, unchdeal.ads, a-widcha.ads, a-zchara.ads, a-stboha.ads,
	a-stfiha.ads, a-coteio.ads, a-envvar.ads, a-lcteio.ads, a-llctio.ads,
	a-scteio.ads, a-swbwha.ads, a-swfwha.ads, a-szbzha.ads, a-szfzha.ads,
	a-tiboio.ads, a-wwboio.ads, a-zzboio.ads, a-dispat.ads, a-tgdico.ads,
	expander.adb, g-socket.ads, par-labl.adb, sinput-c.adb, s-tarest.ads,
	s-stchop.ads, g-expect-vms.adb, s-taprop-lynxos.adb,
	s-taprop-tru64.adb, s-taprop-irix.adb,
	s-taprop-hpux-dce.adb, s-traceb-hpux.adb,
	s-taprop-linux.adb, s-taprop-dummy.adb, s-osprim-unix.adb,
	s-osprim-solaris.adb, s-taprop-solaris.adb, s-taprop-vms.adb,
	s-osprim-mingw.adb, s-taprop-mingw.adb, s-osprim-posix.adb, 
	s-taprop-posix.adb, a-exexpr-gcc.adb, a-ststio.adb, a-ststio.ads, 
	a-textio.adb, a-textio.ads, a-tideau.adb, a-tideau.ads, a-witeio.adb, 
	a-witeio.ads, a-wtdeau.adb, a-wtdeau.ads, g-calend.adb, g-calend.ads, 
	g-dirope.adb, g-expect.ads, gnatchop.adb, g-spipat.adb, g-spipat.ads, 
	s-direio.adb, s-direio.ads, s-fatgen.adb, s-fatgen.ads, s-parint.adb, 
	s-sequio.adb, s-sequio.ads, s-taprop.ads, s-valdec.adb, s-valdec.ads, 
	s-valint.adb, s-valint.ads, s-vallld.adb, s-vallld.ads, s-vallli.adb, 
	s-vallli.ads, s-valllu.adb, s-valllu.ads, s-valrea.adb, s-valrea.ads, 
	s-valuns.adb, s-valuns.ads, s-valuti.adb, s-valuti.ads, xref_lib.adb, 
	s-stchop.adb, i-vxwork-x86.ads, a-crbtgo.ads, a-crbtgo.adb, 
	a-coorse.ads, a-coorse.adb, a-cohama.ads, a-cohama.adb, a-ciorse.ads, 
	a-ciorse.adb, a-cihama.ads, a-cihama.adb, a-chtgop.ads, a-chtgop.ads, 
	a-coormu.adb, a-ciormu.adb, a-cihase.adb, a-cihase.ads, a-cohase.adb, 
	a-cohase.ads, a-swuwha.ads, a-ciormu.ads, a-coormu.ads, a-rbtgso.ads,
	a-stunha.ads, a-ciorma.adb, a-coorma.adb, a-ztdeau.adb, a-ztdeau.ads, 
	a-ztexio.adb, a-ztexio.ads: Addition of null-exclusion to anonymous
	access types.
	Update documentation.
	Minor rewording.



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123538 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 17 insertions, 14 deletions

diff --git a/gcc/ada/s-traceb-hpux.adb b/gcc/ada/s-traceb-hpux.adb
index 5457cb1d0ee..c2718af3f60 100644
--- a/gcc/ada/s-traceb-hpux.adb
+++ b/gcc/ada/s-traceb-hpux.adb
@@ -7,7 +7,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---                     Copyright (C) 1999-2005, AdaCore                     --
+--                     Copyright (C) 1999-2006, AdaCore                     --
 --                                                                          --
 -- 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- --
@@ -228,17 +228,18 @@ package body System.Traceback is
    --  of shared library code, the offset from the beginning of the library
    --  is expected as Pc.
 
-   procedure U_init_frame_record (Frame : access CFD);
+   procedure U_init_frame_record (Frame : not null access CFD);
    pragma Import (C, U_init_frame_record, "U_init_frame_record");
 
-   procedure U_prep_frame_rec_for_unwind (Frame : access CFD);
+   procedure U_prep_frame_rec_for_unwind (Frame : not null access CFD);
    pragma Import (C, U_prep_frame_rec_for_unwind,
                     "U_prep_frame_rec_for_unwind");
 
    --  Fetch the description data of the frame in which these two procedures
    --  are called.
 
-   function U_get_u_rlo (Cur : access CFD; Prev : access PFD) return Integer;
+   function U_get_u_rlo
+     (Cur : not null access CFD; Prev : not null access PFD) return Integer;
    pragma Import (C, U_get_u_rlo, "U_IS_STUB_OR_CALLX");
    --  From a complete current frame with a return location possibly located
    --  into a linker generated stub, and basic information about the previous
@@ -251,8 +252,8 @@ package body System.Traceback is
    --  in a shared library, or something non null otherwise.
 
    function U_get_previous_frame_x
-     (current_frame  : access CFD;
-      previous_frame : access PFD;
+     (current_frame  : not null access CFD;
+      previous_frame : not null access PFD;
       previous_size  : Integer) return Integer;
    pragma Import (C, U_get_previous_frame_x, "U_get_previous_frame_x");
    --  Fetch the data describing the "previous" frame relatively to the
@@ -316,15 +317,15 @@ package body System.Traceback is
 
       --  The backtracing process needs a set of subprograms :
 
-      function UWD_For_RLO_Of (Frame : access CFD) return UWD_Ptr;
+      function UWD_For_RLO_Of (Frame : not null access CFD) return UWD_Ptr;
       --  Return an access to the unwind descriptor for the caller of
       --  a given frame, using only the provided return location.
 
-      function UWD_For_Caller_Of (Frame : access CFD) return UWD_Ptr;
+      function UWD_For_Caller_Of (Frame : not null access CFD) return UWD_Ptr;
       --  Return an access to the unwind descriptor for the user code caller
       --  of a given frame, or null if the information is not available.
 
-      function Pop_Frame (Frame : access CFD) return Boolean;
+      function Pop_Frame (Frame : not null access CFD) return Boolean;
       --  Update the provided machine state structure so that it reflects
       --  the state one call frame "above" the initial one.
       --
@@ -332,7 +333,8 @@ package body System.Traceback is
       --  Failure typically occurs when the top of the call stack has been
       --  reached.
 
-      function Prepare_For_Unwind_Of (Frame : access CFD) return Boolean;
+      function Prepare_For_Unwind_Of
+        (Frame : not null access CFD) return Boolean;
       --  Perform the necessary adaptations to the machine state before
       --  calling the unwinder. Currently used for the specific case of
       --  dynamically sized previous frames.
@@ -345,7 +347,7 @@ package body System.Traceback is
       -- Pop_Frame --
       ---------------
 
-      function Pop_Frame (Frame : access CFD) return Boolean is
+      function Pop_Frame (Frame : not null access CFD) return Boolean is
          Up_Frame    : aliased PFD;
          State_Ready : Boolean;
 
@@ -391,7 +393,8 @@ package body System.Traceback is
       -- Prepare_State_For_Unwind_Of --
       ---------------------------------
 
-      function Prepare_For_Unwind_Of (Frame : access CFD) return Boolean
+      function Prepare_For_Unwind_Of
+        (Frame : not null access CFD) return Boolean
       is
          Caller_UWD    : UWD_Ptr;
          FP_Adjustment : Integer;
@@ -453,7 +456,7 @@ package body System.Traceback is
       -- UWD_For_Caller_Of --
       -----------------------
 
-      function UWD_For_Caller_Of (Frame : access CFD) return UWD_Ptr
+      function UWD_For_Caller_Of (Frame : not null access CFD) return UWD_Ptr
       is
          UWD_Access : UWD_Ptr;
 
@@ -499,7 +502,7 @@ package body System.Traceback is
       -- UWD_For_RLO_Of --
       --------------------
 
-      function UWD_For_RLO_Of (Frame : access CFD) return UWD_Ptr
+      function UWD_For_RLO_Of (Frame : not null access CFD) return UWD_Ptr
       is
          UWD_Address : Address;