diff options
| author | Paolo Carlini <pcarlini@suse.de> | 2007-04-25 23:55:11 +0000 |
|---|---|---|
| committer | Paolo Carlini <pcarlini@suse.de> | 2007-04-25 23:55:11 +0000 |
| commit | 76ac1d4b7758fdeb6f4c50d1471145aa0e8d55ff (patch) | |
| tree | 6ecdfd411e832bd7ab82f7dc1e3dc7d5b41be3e0 /gcc/doc | |
| parent | 4af9480b00bf09ce696cde892a02d05ff40c7af7 (diff) | |
gcc/cp
2007-04-25 Paolo Carlini <pcarlini@suse.de>
* semantics.c (classtype_has_nothrow_copy_or_assign_p): Adjust
per N2255; rename as classtype_has_nothrow_assign_or_copy_p.
(trait_expr_value): Adjust.
gcc/testsuite/
2007-04-25 Paolo Carlini <pcarlini@suse.de>
* g++.dg/ext/has_nothrow_assign.C: Adjust per N2255.
gcc/
2007-04-25 Paolo Carlini <pcarlini@suse.de>
* doc/extend.texi ([Type Traits]): Adjust per N2255.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@124170 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/extend.texi | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index ce63202ebb0..45a632493de 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -11246,13 +11246,12 @@ pair of types). @table @code @item __has_nothrow_assign (type) -If @code{__has_trivial_assign (type)} is true then the trait is true, else if -@code{type} is a cv class or union type with copy assignment operators that -are known not to throw an exception then the trait is true, else it is false. -If @code{type} is const qualified, any copy assignment operator must -be both known not to throw an exception, and const qualified, for the -trait to be true. Requires: @code{type} shall be a complete type, an -array type of unknown bound, or is a @code{void} type. +If @code{type} is const qualified or is a reference type then the trait is +false. Otherwise if @code{__has_trivial_assign (type)} is true then the trait +is true, else if @code{type} is a cv class or union type with copy assignment +operators that are known not to throw an exception then the trait is true, +else it is false. Requires: @code{type} shall be a complete type, an array +type of unknown bound, or is a @code{void} type. @item __has_nothrow_copy (type) If @code{__has_trivial_copy (type)} is true then the trait is true, else if |