diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-18 14:31:00 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-08 09:34:57 +0100 |
| commit | 59dd07ef2534c00f0144431bf54d8219ebb91218 (patch) | |
| tree | ead7689281a5b3c0737958760ca0af6d7396455c /gcc/java/jv-scan.c | |
| parent | ae5de5a32798995bcc61099f3021ac28e8614bea (diff) | |
| download | gcc-59dd07ef2534c00f0144431bf54d8219ebb91218.zip gcc-59dd07ef2534c00f0144431bf54d8219ebb91218.tar.gz gcc-59dd07ef2534c00f0144431bf54d8219ebb91218.tar.bz2 | |
ada: Raise Tag_Error when Ada.Tags operations are called with No_Tag
Implement missing behavior of RM 13.9 (25.1/3): Tag_Error is raised by a
call of Interface_Ancestor_Tags and Is_Descendant_At_Same_Level, if any
tag passed is No_Tag. This change also fixes Descendant_Tag, which
relies on Is_Descendant_At_Same_Level. The remaining operations already
worked properly.
gcc/ada/
* libgnat/a-tags.adb
(Interface_Ancestor_Tags): Raise Tag_Error on No_Tag.
(Is_Descendant_At_Same_Level): Likewise.
Diffstat (limited to 'gcc/java/jv-scan.c')
0 files changed, 0 insertions, 0 deletions