From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2122) id 9D7DD3858002; Mon, 28 Mar 2022 19:36:50 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9D7DD3858002 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jason Merrill To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-7863] c++: Fix __has_trivial_* docs [PR59426] X-Act-Checkin: gcc X-Git-Author: Jason Merrill X-Git-Refname: refs/heads/master X-Git-Oldrev: f8093854c78f820a4f0202fd4db7bba0ee0573c8 X-Git-Newrev: 83a21c993449a32b98916814ed8ca237b3276912 Message-Id: <20220328193650.9D7DD3858002@sourceware.org> Date: Mon, 28 Mar 2022 19:36:50 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 28 Mar 2022 19:36:50 -0000 https://gcc.gnu.org/g:83a21c993449a32b98916814ed8ca237b3276912 commit r12-7863-g83a21c993449a32b98916814ed8ca237b3276912 Author: Jason Merrill Date: Mon Mar 28 15:32:30 2022 -0400 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. Diff: --- gcc/doc/extend.texi | 8 ++++---- 1 file 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}.