diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:38:05 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:38:05 +0000 |
| commit | 3a2879357a1cd6e028c2426c1d20ce33c2892ce1 (patch) | |
| tree | e56e2122ef57259e9264e424a349c3214e4593bb /gcc/ada/einfo.ads | |
| parent | 6c545057b03e95dbc048d03b6c65c03fc11fcfb4 (diff) | |
| download | ppe42-gcc-3a2879357a1cd6e028c2426c1d20ce33c2892ce1.tar.gz ppe42-gcc-3a2879357a1cd6e028c2426c1d20ce33c2892ce1.zip | |
2011-08-04 Bob Duff <duff@adacore.com>
* sem_type.adb (Covers): If T2 is a subtype of a class-wide type, we
need to compare with Class_Wide_Type (T2), in order to get at the
original class-wide type node.
* sem_type.ads (Covers): Improve the comment.
* einfo.ads (Class_Wide_Type): Improve the comment.
* exp_intr.adb (Expand_Unc_Deallocation): Remove unnecessary setting of
the type of the Deref.
2011-08-04 Yannick Moy <moy@adacore.com>
* gnat_rm.texi: Document that Test_Case pragma can only appear on
separate declarations.
* sem_prag.adb (procedure Check_Identifier_Is_One_Of): new procedure to
check identifier of pragma argument.
(Chain_TC): check that no other test case associated to the same entity
share the same name.
(Check_Test_Case): disallow test case inside subprogram body
(Analyze_Pragma): correct call to check identifier and not argument
* sem_util.adb, sem_util.ads (Get_Name_From_Test_Case_Pragma): new
function gets name from test case pragma.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177385 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 29baab0b43e..a4ca25d4890 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -567,8 +567,8 @@ package Einfo is -- Class_Wide_Type (Node9) -- Present in all type entities. For a tagged type or subtype, returns --- the corresponding implicitly declared class-wide type. Set to Empty --- for non-tagged types. +-- the corresponding implicitly declared class-wide type. For a +-- class-wide type, returns itself. Set to Empty for non-tagged types. -- Cloned_Subtype (Node16) -- Present in E_Record_Subtype and E_Class_Wide_Subtype entities. |
