@@ -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}.
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 <kmatsui@gcc.gnu.org> --- gcc/doc/extend.texi | 9 +++++++++ 1 file changed, 9 insertions(+)