diff options
| author | Jason Merrill <jason@redhat.com> | 2022-03-28 15:32:30 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2022-03-28 15:36:13 -0400 |
| commit | 83a21c993449a32b98916814ed8ca237b3276912 (patch) | |
| tree | 0f46742f927632626847e05d4d53c564c62ef3f3 /gcc/doc | |
| parent | f8093854c78f820a4f0202fd4db7bba0ee0573c8 (diff) | |
c++: Fix __has_trivial_* docs [PR59426]
These have been misdocumented since C++98 POD was split into C++11 trivial
and standard-layout in r149721.
PR c++/59426
gcc/ChangeLog:
* doc/extend.texi: Refer to __is_trivial instead of __is_pod.
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/extend.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index a4a25e86928..8381eb620ea 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -25144,7 +25144,7 @@ Requires: @code{type} shall be a complete type, (possibly cv-qualified) @item __has_trivial_assign (type) If @code{type} is @code{const}- qualified or is a reference type then -the trait is @code{false}. Otherwise if @code{__is_pod (type)} is +the trait is @code{false}. Otherwise if @code{__is_trivial (type)} is @code{true} then the trait is @code{true}, else if @code{type} is a cv-qualified class or union type with a trivial copy assignment ([class.copy]) then the trait is @code{true}, else it is @code{false}. @@ -25152,7 +25152,7 @@ Requires: @code{type} shall be a complete type, (possibly cv-qualified) @code{void}, or an array of unknown bound. @item __has_trivial_copy (type) -If @code{__is_pod (type)} is @code{true} or @code{type} is a reference +If @code{__is_trivial (type)} is @code{true} or @code{type} is a reference type then the trait is @code{true}, else if @code{type} is a cv class or union type with a trivial copy constructor ([class.copy]) then the trait is @code{true}, else it is @code{false}. Requires: @code{type} shall be @@ -25160,7 +25160,7 @@ a complete type, (possibly cv-qualified) @code{void}, or an array of unknown bound. @item __has_trivial_constructor (type) -If @code{__is_pod (type)} is @code{true} then the trait is @code{true}, +If @code{__is_trivial (type)} is @code{true} then the trait is @code{true}, else if @code{type} is a cv-qualified class or union type (or array thereof) with a trivial default constructor ([class.ctor]) then the trait is @code{true}, else it is @code{false}. @@ -25168,7 +25168,7 @@ Requires: @code{type} shall be a complete type, (possibly cv-qualified) @code{void}, or an array of unknown bound. @item __has_trivial_destructor (type) -If @code{__is_pod (type)} is @code{true} or @code{type} is a reference type +If @code{__is_trivial (type)} is @code{true} or @code{type} is a reference type then the trait is @code{true}, else if @code{type} is a cv class or union type (or array thereof) with a trivial destructor ([class.dtor]) then the trait is @code{true}, else it is @code{false}. |