diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-16 11:03:56 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-16 11:03:56 +0200 |
| commit | b4763f5c4a9d2bde0963bbb9422aa3480c5e81da (patch) | |
| tree | 1988421b1a76b066acdb0b87a9eb5302ceb428bf /gcc/ada/sinfo.ads | |
| parent | 0c72247e06e7cebbe398cb3c3948e77d8939f5ce (diff) | |
| download | gcc-b4763f5c4a9d2bde0963bbb9422aa3480c5e81da.zip gcc-b4763f5c4a9d2bde0963bbb9422aa3480c5e81da.tar.gz gcc-b4763f5c4a9d2bde0963bbb9422aa3480c5e81da.tar.bz2 | |
[multiple changes]
2009-04-16 Emmanuel Briot <briot@adacore.com>
* prj-nmsc.adb (Path_Name_Of): fix memory leak
2009-04-16 Robert Dewar <dewar@adacore.com>
* sinfo.ads (Backwards_OK, Forwards_OK): Clarify documentation
2009-04-16 Vincent Celier <celier@adacore.com>
* fmap.adb (Initialize): Show the current line when the mapping file
is detected as "incorrectly formatted".
2009-04-16 Robert Dewar <dewar@adacore.com>
* sem_ch12.adb: Minor reformatting
* sem_ch5.adb: Minor comment addition
* sem_util.adb: Minor reformatting
* sinput-p.adb: Minor reformatting
Add missing pragma Warnings (On)
From-SVN: r146152
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index ffb44d11a4..5a20bc7 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -621,10 +621,15 @@ package Sinfo is -- A flag present in the N_Assignment_Statement node. It is used only -- if the type being assigned is an array type, and is set if analysis -- determines that it is definitely safe to do the copy backwards, i.e. - -- starting at the highest addressed element. Note that if neither of the - -- flags Forwards_OK or Backwards_OK is set, it means that the front end - -- could not determine that either direction is definitely safe, and a - -- runtime check may be required if the backend cannot figure it out. + -- starting at the highest addressed element. This is the case if either + -- the operands do not overlap, or they may overlap, but if they do, + -- then the left operand is at a higher address than the right operand. + -- + -- Note: If neither of the flags Forwards_OK or Backwards_OK is set, it + -- means that the front end could not determine that either direction is + -- definitely safe, and a runtime check may be required if the backend + -- cannot figure it out. If both flags Forwards_OK and Backwards_OK are + -- set, it means that the front end can assure no overlap of operands. -- Body_To_Inline (Node3-Sem) -- present in subprogram declarations. Denotes analyzed but unexpanded @@ -1023,10 +1028,15 @@ package Sinfo is -- A flag present in the N_Assignment_Statement node. It is used only -- if the type being assigned is an array type, and is set if analysis -- determines that it is definitely safe to do the copy forwards, i.e. - -- starting at the lowest addressed element. Note that if neither of the - -- flags Forwards_OK or Backwards_OK is set, it means that the front end - -- could not determine that either direction is definitely safe, and a - -- runtime check is required. + -- starting at the lowest addressed element. This is the case if either + -- the operands do not overlap, or they may overlap, but if they do, + -- then the left operand is at a lower address than the right operand. + -- + -- Note: If neither of the flags Forwards_OK or Backwards_OK is set, it + -- means that the front end could not determine that either direction is + -- definitely safe, and a runtime check may be required if the backend + -- cannot figure it out. If both flags Forwards_OK and Backwards_OK are + -- set, it means that the front end can assure no overlap of operands. -- From_At_End (Flag4-Sem) -- This flag is set on an N_Raise_Statement node if it corresponds to |