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
