summaryrefslogtreecommitdiff
path: root/gcc/ada/a-assert.ads
diff options
context:
space:
mode:
authorbstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4>2008-04-14 16:23:18 +0000
committerbstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4>2008-04-14 16:23:18 +0000
commitab2ba306f09948ff09fef49f3592d714c38b2d93 (patch)
treeb12d13d305b3e049e0907c34ad5d505ce04fa415 /gcc/ada/a-assert.ads
parenta39fe8c82fd895251538269b679047bd6fc98ac5 (diff)
downloadgcc-ab2ba306f09948ff09fef49f3592d714c38b2d93.tar.gz
2008-04-14 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk r134275 stilly buggy for libgcc muldi3: internal compiler error: in execute_ipa_pass_list, at passes.c:1235 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@134279 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-assert.ads')
-rwxr-xr-xgcc/ada/a-assert.ads3
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/a-assert.ads b/gcc/ada/a-assert.ads
index 614421b7e4e..bfc2229beda 100755
--- a/gcc/ada/a-assert.ads
+++ b/gcc/ada/a-assert.ads
@@ -25,6 +25,9 @@ package Ada.Assertions is
pragma Pure (Assertions);
Assertion_Error : exception renames System.Assertions.Assert_Failure;
+ -- This is the renaming that is allowed by 11.4.2(24). Note that the
+ -- Exception_Name will refer to the one in System.Assertions (see
+ -- AARM-11.4.1(12.b)).
procedure Assert (Check : Boolean);