diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-07-30 19:38:16 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-30 19:38:16 +0200 |
| commit | 7813a5109103ac06197386fa7c6cda211b8f5037 (patch) | |
| tree | 56c07c375e2b2ee1b22cdf54090931c10d63a001 /gcc/ada/exp_util.adb | |
| parent | 1adfc03bfe5852370d96336666abfbec6e40060e (diff) | |
| download | gcc-7813a5109103ac06197386fa7c6cda211b8f5037.zip gcc-7813a5109103ac06197386fa7c6cda211b8f5037.tar.gz gcc-7813a5109103ac06197386fa7c6cda211b8f5037.tar.bz2 | |
exp_util.ads (Find_Prim_Op): Document that Program_Error is raised if no primitive operation is found.
2008-07-30 Robert Dewar <dewar@adacore.com>
* exp_util.ads (Find_Prim_Op): Document that Program_Error is raised
if no primitive operation is found.
* exp_util.adb: (Find_Prim_Op): Add comments for previous change
From-SVN: r138329
Diffstat (limited to 'gcc/ada/exp_util.adb')
| -rw-r--r-- | gcc/ada/exp_util.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index e4b4389..09850f6 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -1582,6 +1582,8 @@ package body Exp_Util is Next_Elmt (Prim); + -- Raise Program_Error if no primitive found + if No (Prim) then raise Program_Error; end if; @@ -1612,6 +1614,8 @@ package body Exp_Util is while not Is_TSS (Node (Prim), Name) loop Next_Elmt (Prim); + -- Raise program error if no primitive found + if No (Prim) then raise Program_Error; end if; |