From: Sergey Rybin Date: Mon, 26 May 2008 09:41:12 +0000 (+0200) Subject: gnat_ugn.texi: Add description for the new gnatcheck rule - Separate_Numeric_Error_Ha... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0390e4718d0cf4f99db3de289f12a0427c89b193;p=gcc.git gnat_ugn.texi: Add description for the new gnatcheck rule - Separate_Numeric_Error_Handlers. 2008-05-26 Sergey Rybin * gnat_ugn.texi: Add description for the new gnatcheck rule - Separate_Numeric_Error_Handlers. From-SVN: r135905 --- diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index ed5cec7d049..5dce93a7cc3 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