diff options
Diffstat (limited to 'meta/recipes-devtools/gcc/gcc-4.6.0/gcc-4_6-branch-backports/0176-2011-04-24-Paolo-Carlini-paolo.carlini-oracle.com.patch')
-rw-r--r-- | meta/recipes-devtools/gcc/gcc-4.6.0/gcc-4_6-branch-backports/0176-2011-04-24-Paolo-Carlini-paolo.carlini-oracle.com.patch | 142 |
1 files changed, 142 insertions, 0 deletions
diff --git a/meta/recipes-devtools/gcc/gcc-4.6.0/gcc-4_6-branch-backports/0176-2011-04-24-Paolo-Carlini-paolo.carlini-oracle.com.patch b/meta/recipes-devtools/gcc/gcc-4.6.0/gcc-4_6-branch-backports/0176-2011-04-24-Paolo-Carlini-paolo.carlini-oracle.com.patch new file mode 100644 index 000000000..49076dfa8 --- /dev/null +++ b/meta/recipes-devtools/gcc/gcc-4.6.0/gcc-4_6-branch-backports/0176-2011-04-24-Paolo-Carlini-paolo.carlini-oracle.com.patch @@ -0,0 +1,142 @@ +From 63c4ffd33d8f3e61e53d30f50146e1bc4cb6e38a Mon Sep 17 00:00:00 2001 +From: paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> +Date: Sun, 24 Apr 2011 09:43:29 +0000 +Subject: [PATCH 176/200] 2011-04-24 Paolo Carlini <paolo.carlini@oracle.com> + + PR other/48748 + * doc/extend.texi (Type Traits): Document __is_standard_layout, + __is_literal_type, and __is_trivial; update throughout about + possibly cv-qualified void types. + + +git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_6-branch@172912 138bc75d-0d04-0410-961f-82ee72b054a4 + +index 998d703..c771436 100644 +--- a/gcc/doc/extend.texi ++++ b/gcc/doc/extend.texi +@@ -14266,63 +14266,63 @@ 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. ++else it is false. Requires: @code{type} shall be a complete type, ++(possibly cv-qualified) @code{void}, or an array of unknown bound. + + @item __has_nothrow_copy (type) + If @code{__has_trivial_copy (type)} is true then the trait is true, else if + @code{type} is a cv class or union type with copy constructors 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. ++Requires: @code{type} shall be a complete type, (possibly cv-qualified) ++@code{void}, or an array of unknown bound. + + @item __has_nothrow_constructor (type) + If @code{__has_trivial_constructor (type)} is true then the trait is + true, else if @code{type} is a cv class or union type (or array + thereof) with a default constructor that is 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. ++exception then the trait is true, else it is false. Requires: ++@code{type} shall be a complete type, (possibly cv-qualified) ++@code{void}, or an array of unknown bound. + + @item __has_trivial_assign (type) + If @code{type} is const qualified or is a reference type then the trait is + false. Otherwise if @code{__is_pod (type)} is true then the trait is + true, else if @code{type} is a cv class or union type with a trivial + copy assignment ([class.copy]) 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. ++false. 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 true or @code{type} is a reference type + then the trait is true, else if @code{type} is a cv class or union type + with a trivial copy constructor ([class.copy]) 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. ++type, (possibly cv-qualified) @code{void}, or an array of unknown bound. + + @item __has_trivial_constructor (type) + If @code{__is_pod (type)} is true then the trait is true, else if + @code{type} is a cv class or union type (or array thereof) with a + trivial default constructor ([class.ctor]) 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. ++else it is false. 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 true or @code{type} is a reference type then + the trait is 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 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. ++type, (possibly cv-qualified) @code{void}, or an array of unknown bound. + + @item __has_virtual_destructor (type) + If @code{type} is a class type with a virtual destructor + ([class.dtor]) 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. ++@code{type} shall be a complete type, (possibly cv-qualified) ++@code{void}, or an array of unknown bound. + + @item __is_abstract (type) + If @code{type} is an abstract class ([class.abstract]) 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. ++type, (possibly cv-qualified) @code{void}, or an array of unknown bound. + + @item __is_base_of (base_type, derived_type) + If @code{base_type} is a base class of @code{derived_type} +@@ -14347,22 +14347,37 @@ any, are bit-fields of length 0, and @code{type} has no virtual + members, and @code{type} has no virtual base classes, and @code{type} + has no base classes @code{base_type} for which + @code{__is_empty (base_type)} is false. Requires: @code{type} shall +-be a complete type, an array type of unknown bound, or is a +-@code{void} type. ++be a complete type, (possibly cv-qualified) @code{void}, or an array ++of unknown bound. + + @item __is_enum (type) + If @code{type} is a cv enumeration type ([basic.compound]) the trait is + true, else it is false. + ++@item __is_literal_type (type) ++If @code{type} is a literal type ([basic.types]) the trait is ++true, else it is false. Requires: @code{type} shall be a complete type, ++(possibly cv-qualified) @code{void}, or an array of unknown bound. ++ + @item __is_pod (type) + If @code{type} is a cv POD type ([basic.types]) 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. ++else it is false. Requires: @code{type} shall be a complete type, ++(possibly cv-qualified) @code{void}, or an array of unknown bound. + + @item __is_polymorphic (type) + If @code{type} is a polymorphic class ([class.virtual]) 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. ++type, (possibly cv-qualified) @code{void}, or an array of unknown bound. ++ ++@item __is_standard_layout (type) ++If @code{type} is a standard-layout type ([basic.types]) the trait is ++true, else it is false. Requires: @code{type} shall be a complete ++type, (possibly cv-qualified) @code{void}, or an array of unknown bound. ++ ++@item __is_trivial (type) ++If @code{type} is a trivial type ([basic.types]) the trait is ++true, else it is false. Requires: @code{type} shall be a complete ++type, (possibly cv-qualified) @code{void}, or an array of unknown bound. + + @item __is_union (type) + If @code{type} is a cv union type ([basic.compound]) the trait is +-- +1.7.0.4 + |