diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 17:12:06 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 17:12:06 +0200 |
| commit | 5ffe0bab81981655b009617fc7041a818fee1d89 (patch) | |
| tree | c3e1b37787cbc0bbe2f029504a32efa76e9d5ecd /gcc/ada/get_scos.adb | |
| parent | f9ad6b6231baeb79e967d1e7f1d1d9a7953453b7 (diff) | |
| download | gcc-5ffe0bab81981655b009617fc7041a818fee1d89.tar.gz | |
[multiple changes]
2011-08-03 Thomas Quinot <quinot@adacore.com>
* scos.adb, get_scos.adb, put_scos.adb
New code letter for decisions: G (entry guard)
* par_sco.adb
(Traverse_Subprogram_Body): Rename to...
(Traverse_Subprogram_Or_Task_Body): New subrpogram.
(Traverse_Protected_Body): New subprogram
(Traverse_Declarations_Or_Statements): Add traversal of task bodies,
protected bodies and entry bodies.
2011-08-03 Yannick Moy <moy@adacore.com>
* einfo.adb, einfo.ads (Is_Postcondition_Proc): new flag for procedure
entities with get/set subprograms, which is set on procedure entities
generated by the compiler for a postcondition.
* sem_ch6.adb (Process_PPCs): set new flag on postcondition procedures
* alfa.adb, alfa.ads (Get_Entity_For_Decl): new function returning the
entity for a declaration
(Get_Unique_Entity_For_Decl): new function returning an entity which
represents a declaration, so that matching spec and body have the same
entity.
2011-08-03 Robert Dewar <dewar@adacore.com>
* a-except-2005.adb, a-cfhama.adb, a-cfhase.adb, a-cfhase.ads,
a-cforma.adb, a-cforse.ads, a-cforse.adb: Minor reformatting
2011-08-03 Yannick Moy <moy@adacore.com>
* lib-xref-alfa.adb (Detect_And_Add_ALFA_Scope): make the subprogram
library-level because retriction No_Implicit_Dynamic_Code in the
front-end prevents its definition as a local subprogram
(Traverse_Compilation_Unit): extract new procedure from Add_ALFA_File,
for reuse in other contexts
(Traverse_Declarations_Or_Statements,
Traverse_Handled_Statement_Sequence, Traverse_Package_Body,
Traverse_Package_Declaration, Traverse_Subprogram_Body): make all these
procedures take a callback parameter to be called on all declarations
* lib-xref.ads
(Traverse_All_Compilation_Units): new generic function to traverse a
compilation unit and call a callback parameter on all declarations
From-SVN: r177284
Diffstat (limited to 'gcc/ada/get_scos.adb')
| -rw-r--r-- | gcc/ada/get_scos.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/get_scos.adb b/gcc/ada/get_scos.adb index 7a90959f96b..7ee46b300b0 100644 --- a/gcc/ada/get_scos.adb +++ b/gcc/ada/get_scos.adb @@ -307,7 +307,7 @@ begin -- Decision entry - when 'I' | 'E' | 'P' | 'W' | 'X' => + when 'I' | 'E' | 'G' | 'P' | 'W' | 'X' => Dtyp := C; Skip_Spaces; |