diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 12:03:49 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 12:03:49 +0200 |
| commit | ad05f2e9b874e19cd3d66a3971c1c385959d466a (patch) | |
| tree | 839aeecfdf5bb0318d6cec13a66c77b3430e4ce1 /gcc/ada/sem_util.ads | |
| parent | 756ef2a03df27c1998266ecae0ce335668fc2f8a (diff) | |
| download | gcc-ad05f2e9b874e19cd3d66a3971c1c385959d466a.zip gcc-ad05f2e9b874e19cd3d66a3971c1c385959d466a.tar.gz gcc-ad05f2e9b874e19cd3d66a3971c1c385959d466a.tar.bz2 | |
[multiple changes]
2011-08-04 Yannick Moy <moy@adacore.com>
* alfa.adb, alfa.ads (Get_Entity_For_Decl): remove function, partial
duplicate of Defining_Entity
(Get_Unique_Entity_For_Decl): rename function into
Unique_Defining_Entity
* einfo.adb, einfo.ads (Is_In_ALFA, Body_Is_In_ALFA): remove flags
(Formal_Proof_On): remove synthesized flag
* cstand.adb, sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb,
sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_res.adb, sem_util.adb,
sem_util.ads, stand.ads: Remove treatment associated to entities in ALFA
* sem_prag.adb (Analyze_Pragma): remove special treatment for pragma
Annotate (Formal_Proof)
2011-08-04 Emmanuel Briot <briot@adacore.com>
* prj-env.adb (Create_Config_Pragmas_File): fix handling of multi-unit
source files with non-standard naming schemes, in imported projects
From-SVN: r177353
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 62b7567..a282bf6 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -277,22 +277,6 @@ package Sem_Util is -- Current_Scope is returned. The returned value is Empty if this is called -- from a library package which is not within any subprogram. - procedure Mark_Non_ALFA_Subprogram (Msg : String; N : Node_Id); - -- If Current_Subprogram is not Empty, mark either its specification or its - -- body as not being in ALFA. - - -- This procedure may be called during the analysis of a precondition or - -- postcondition, as indicated by the flag In_Pre_Post_Expression, or - -- during the analysis of a subprogram's body. In the first case, the - -- specification of Current_Subprogram must be marked as not being in ALFA, - -- as the contract is considered to be part of the specification, so that - -- calls to this subprogram are not in ALFA. In the second case, mark the - -- body as not being in ALFA, which does not prevent the subprogram's - -- specification, and calls to the subprogram, from being in ALFA. - - -- If the subprogram being marked as not in ALFA is annotated with - -- Formal_Proof On, then an error is issued with message Msg on node N. - function Defining_Entity (N : Node_Id) return Entity_Id; -- Given a declaration N, returns the associated defining entity. If the -- declaration has a specification, the entity is obtained from the |