diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 11:04:39 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 11:04:39 +0100 |
| commit | 8e1e62e3de4fd41f8c8b813657b638d0c8695dbf (patch) | |
| tree | 491a47bc58c76025bad512392a2cce5249ee6fd1 /gcc/ada/exp_util.ads | |
| parent | cbee4f7497366895219ee4caa04b9d2f4c45ce83 (diff) | |
| download | gcc-8e1e62e3de4fd41f8c8b813657b638d0c8695dbf.zip gcc-8e1e62e3de4fd41f8c8b813657b638d0c8695dbf.tar.gz gcc-8e1e62e3de4fd41f8c8b813657b638d0c8695dbf.tar.bz2 | |
[multiple changes]
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Depends_In_Decl_Part): Add
local variable Expr. Flag clauses with extra parenthesis as this
is not allowed by the syntax of the pragma. Code reformatting.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Alphabetize
variables. Rename variabme Tnn to Temp. Do not create a temporary
if assertions are disabled. Find enclosing routine _Postconditions
and insert the temporary that captures the value of the prefix
before the routine.
* exp_ch6.adb (Build_Postconditions_Procedure):
Insert the generated _Postconditions routine
before the first source declaration of the related
subprogram.
(Insert_After_Last_Declaration): Removed.
(Insert_Before_First_Source_Declaration): New routine.
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* exp_util.adb, exp_util.ads (Within_Internal_Subprogram):
Utility to determine whether current expansion is for the body
of a predefined primitive operation.
(Make_Predicate_Check): Use Within_Internal_Subpgram
* checks.adb (Apply_Predicate_Check): Use
Within_Internal_Subprogram
* sem_ch13.adb (Freeze_Entity_Checks): Ditto.
2014-02-06 Pascal Obry <obry@adacore.com>
* prj.ads, prj-util.adb: Minor reformatting.
From-SVN: r207537
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index bf72220..8fa66a9 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -834,6 +834,11 @@ package Exp_Util is function Within_Case_Or_If_Expression (N : Node_Id) return Boolean; -- Determine whether arbitrary node N is within a case or an if expression + function Within_Internal_Subprogram return Boolean; + -- Indicates that some expansion is taking place within the body of a + -- predefined primitive operation. Some expansion activity (e.g. predicate + -- checks) is disabled in such. + procedure Wrap_Cleanup_Procedure (N : Node_Id); -- Given an N_Subprogram_Body node, this procedure adds an Abort_Defer call -- at the start of the statement sequence, and an Abort_Undefer call at the |