diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-04-26 11:49:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-04-26 11:49:04 +0200 |
| commit | fcf848c4f7f38420c3bbec193bf0fbc629ebe8df (patch) | |
| tree | 377f1b871b76d4821d44212dba3d76960aac53ef /gcc/ada/exp_util.ads | |
| parent | 68f640f221af5ffdaf1e06a2e146287c346b590a (diff) | |
| download | gcc-fcf848c4f7f38420c3bbec193bf0fbc629ebe8df.zip gcc-fcf848c4f7f38420c3bbec193bf0fbc629ebe8df.tar.gz gcc-fcf848c4f7f38420c3bbec193bf0fbc629ebe8df.tar.bz2 | |
[multiple changes]
2012-04-26 Robert Dewar <dewar@adacore.com>
* exp_aggr.adb: Minor reformatting.
2012-04-26 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Expand_Cleanup_Actions): Update the call to
Requires_Cleanup_Actions.
* exp_util.adb (Requires_Cleanup_Actions (List_Id; Boolean;
Boolean)): Rename formal parameter For_Package to Lib_Level to
better reflect its purpose. Update the related comment and all
occurrences of For_Package in the body.
(Requires_Cleanup_Actions
(Node_Id; Boolean)): Add new formal parameter Lib_Level. Add
local constant At_Lib_Level to keep monitor whether the path
taken from the top-most context to the current construct involves
package constructs. Update all calls to Requires_Cleanup_Actions.
* exp_util.ads (Requires_Cleanup_Actions): Add new formal
parameter Lib_Level and associated comment.
2012-04-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Process_Formals): If the type of the formal is
a non null access type, mark the generated subtype as having a
delayed freeze only if the designated type is not frozen yet.
2012-04-26 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New package Clean with attributes
Object_Artifact_Extensions and Source_Artifact_Extensions.
* prj-nmsc.adb (Process_Clean): Process new package Clean
* prj.ads (Language_Config): New components
Clean_Object_Artifacts and Clean_Source_Artifacts.
* snames.ads-tmpl: New standard names Clean,
Object_Artifact_Extensions and Source_Artifact_Extensions.
From-SVN: r186867
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index 9f3ae2a..e42c8a5 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -744,14 +744,17 @@ package Exp_Util is -- terms is scalar. This is true for scalars in the Ada sense, and for -- packed arrays which are represented by a scalar (modular) type. - function Requires_Cleanup_Actions (N : Node_Id) return Boolean; + function Requires_Cleanup_Actions + (N : Node_Id; + Lib_Level : Boolean) return Boolean; -- Given a node N, determine whether its declarative and/or statement list -- contains one of the following: -- -- 1) controlled objects -- 2) library-level tagged types -- - -- The above cases require special actions on scope exit. + -- The above cases require special actions on scope exit. Flag Lib_Level + -- is used to track whether a construct is at the library level. function Safe_Unchecked_Type_Conversion (Exp : Node_Id) return Boolean; -- Given the node for an N_Unchecked_Type_Conversion, return True if this |