From: Sergey Rybin Date: Thu, 31 Jul 2008 10:25:35 +0000 (+0200) Subject: gnat_ugn.texi: Change the description of the Overly_Nested_Control_Structures... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b4205ab59dcb147539230061c81f9c3f904c7a34;p=gcc.git gnat_ugn.texi: Change the description of the Overly_Nested_Control_Structures... 2008-07-31 Sergey Rybin * gnat_ugn.texi: Change the description of the Overly_Nested_Control_Structures: now the rule always requires a positive parameter for '+R' option From-SVN: r138378 --- diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index c0361785853..6bff8b86e11 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -21541,7 +21541,7 @@ The control structures checked are the following: @end itemize @noindent -The rule may have the following parameter for the @option{+R} option: +The rule has the following parameter for the @option{+R} option: @table @emph @item N @@ -21550,18 +21550,12 @@ level that is not flagged @end table @noindent -If the parameter for the @option{+R} option is not a positive integer, -the parameter is ignored and the rule is turned ON with the most recently -specified maximal non-flagged nesting level. +If the parameter for the @option{+R} option is not specified or +if it is not a positive integer, @option{+R} option is ignored. If more then one option is specified for the gnatcheck call, the later option and new parameter override the previous one(s). -A @option{+R} option with no parameter turns the rule ON using the maximal -non-flagged nesting level specified by the most recent @option{+R} option with -a parameter, or the value 4 if there is no such previous @option{+R} option. - - @node Parameters_Out_Of_Order @subsection @code{Parameters_Out_Of_Order}