diff options
| author | Robert Dewar <dewar@adacore.com> | 2009-07-23 09:34:26 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-23 11:34:26 +0200 |
| commit | eaa826f822541a6059d1f633b4299a81079c160b (patch) | |
| tree | cc91e16e1239e5e819de3651e828aab9e9648cd5 /gcc/ada/exp_disp.ads | |
| parent | a50790d1cad989184d0b77e20c60bf38de3c08a4 (diff) | |
| download | gcc-eaa826f822541a6059d1f633b4299a81079c160b.zip gcc-eaa826f822541a6059d1f633b4299a81079c160b.tar.gz gcc-eaa826f822541a6059d1f633b4299a81079c160b.tar.bz2 | |
checks.adb (Apply_Arithmetic_Overflow_Check): Add comments cross-referencing the new related code in...
2009-07-23 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Arithmetic_Overflow_Check): Add comments
cross-referencing the new related code in
Exp_Ch4.Expand_N_Type_Conversion.
* exp_ch4.adb (Expand_N_Type_Conversion): Avoid unnecessary overflows
* exp_disp.adb, exp_disp.ads, sinfo.ads: Minor reformatting.
Add comment.
From-SVN: r149983
Diffstat (limited to 'gcc/ada/exp_disp.ads')
| -rw-r--r-- | gcc/ada/exp_disp.ads | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/gcc/ada/exp_disp.ads b/gcc/ada/exp_disp.ads index e02cca7..fa16aaf 100644 --- a/gcc/ada/exp_disp.ads +++ b/gcc/ada/exp_disp.ads @@ -39,26 +39,24 @@ package Exp_Disp is -- N_Null_Statement nodes that have extra attributes. The information -- available through these extra attributes relies on the kind of SCIL -- node. The SCIL node kind is stored in the Scil_Nkind attribute of - -- the N_Null_Statement node. The kind of SCIL nodes generated by the - -- frontend are the following: - - -- IP_Tag_Init: Scil node of tag component initialization. - - -- Dispatching_Call: Scil node of dispatching call. Used by the - -- CodePeer backend to locate nodes associated with dispatching - -- calls. - - -- Dispatching_Table_Object_Init: Scil node of object declaration - -- containing a dispatch table. - - -- Dispatching_Table_Tag_Init: Scil node of tag initialization. + -- the N_Null_Statement node, and indicates the type of the SCIL node. type Scil_Node_Kind is (Unused, + -- What is this for ??? + IP_Tag_Init, + -- SCIL node for tag component initialization + Dispatching_Call, + -- SCIL node for dispatching call. Used by the CodePeer backend to + -- locate nodes associated with dispatching calls. + Dispatch_Table_Object_Init, + -- SCIL node for object declaration containing a dispatch table + Dispatch_Table_Tag_Init); + -- SCIL node for tag initialization ------------------------------------- -- Predefined primitive operations -- |