diff options
| author | Sergey Rybin <rybin@adacore.com> | 2008-05-26 11:41:12 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-26 11:41:12 +0200 |
| commit | 0390e4718d0cf4f99db3de289f12a0427c89b193 (patch) | |
| tree | 0e38046fd0a53d69538f97edafd73ba08312abb4 /gcc | |
| parent | b98bd80dcf9d82564a9f38930c87121910d7505f (diff) | |
| download | gcc-0390e4718d0cf4f99db3de289f12a0427c89b193.zip gcc-0390e4718d0cf4f99db3de289f12a0427c89b193.tar.gz gcc-0390e4718d0cf4f99db3de289f12a0427c89b193.tar.bz2 | |
gnat_ugn.texi: Add description for the new gnatcheck rule - Separate_Numeric_Error_Handlers.
2008-05-26 Sergey Rybin <rybin@adacore.com>
* gnat_ugn.texi: Add description for the new gnatcheck rule -
Separate_Numeric_Error_Handlers.
From-SVN: r135905
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index ed5cec7..5dce93a 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -20513,6 +20513,7 @@ used as a parameter of the @option{+R} or @option{-R} options. * Predefined_Numeric_Types:: * Raising_External_Exceptions:: * Raising_Predefined_Exceptions:: +* Separate_Numeric_Error_Handlers:: @ignore * Recursion:: * Side_Effect_Functions:: @@ -21707,6 +21708,18 @@ Flag each @code{raise} statement that raises a predefined exception This rule has no parameters. +@node Separate_Numeric_Error_Handlers +@subsection @code{Separate_Numeric_Error_Handlers} +@cindex @code{Separate_Numeric_Error_Handlers} rule (for @command{gnatcheck}) + +@noindent +Flags each exception handler that contains a choice for +the predefined @code{Constraint_Error} exception, but does not contain +the choice for the predefined @code{Numeric_Error} exception, or +that contains the choice for @code{Numeric_Error}, but does not contain the +choice for @code{Constraint_Error}. + +This rule has no parameters. @ignore @node Recursion |