[PATCH v2 03/12] extend.texi: Add documentation for __is_bounded_array

[Ken Matsui]

gcc/ChangeLog:

        * doc/extend.texi (__is_bounded_array): New documentation.
        (__is_array): Add @anchor to get linked from
        __is_bounded_array.

Signed-off-by: Ken Matsui <kmat...@gcc.gnu.org>
---
 gcc/doc/extend.texi | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 5aeb9bdd47a..ae06e4da022 100644
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -29579,9 +29579,11 @@ If @var{type} is an aggregate type ([dcl.init.aggr]) 
the trait is
 Requires: If @var{type} is a class type, it shall be a complete type.
 @enddefbuiltin
 
+@anchor{__is_array}
 @defbuiltin{bool __is_array (@var{type})}
 If @var{type} is an array type ([dcl.array]) the trait is @code{true},
 else it is @code{false}.
+See also: @ref{__is_bounded_array}.
 @enddefbuiltin
 
 @defbuiltin{bool __is_base_of (@var{base_type}, @var{derived_type})}
@@ -29596,6 +29598,13 @@ type (disregarding cv-qualifiers), @var{derived_type} 
shall be a complete
 type.  A diagnostic is produced if this requirement is not met.
 @enddefbuiltin
 
+@anchor{__is_bounded_array}
+@defbuiltin{bool __is_bounded_array (@var{type})}
+If @var{type} is an array type of known bound ([dcl.array])
+the trait is @code{true}, else it is @code{false}.
+See also: @ref{__is_array}.
+@enddefbuiltin
+
 @defbuiltin{bool __is_class (@var{type})}
 If @var{type} is a cv-qualified class type, and not a union type
 ([basic.compound]) the trait is @code{true}, else it is @code{false}.
-- 
2.44.0