From 0390e4718d0cf4f99db3de289f12a0427c89b193 Mon Sep 17 00:00:00 2001 From: Sergey Rybin Date: Mon, 26 May 2008 11:41:12 +0200 Subject: [PATCH] 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 --- gcc/ada/gnat_ugn.texi | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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 -- 2.30.2