devin.jeanpierre updated this revision to Diff 409794. devin.jeanpierre added a comment.
Rebase off of D119385 <https://reviews.llvm.org/D119385>. Sorry, I'm bad at git. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D120086/new/ https://reviews.llvm.org/D120086 Files: clang/docs/LanguageExtensions.rst Index: clang/docs/LanguageExtensions.rst =================================================================== --- clang/docs/LanguageExtensions.rst +++ clang/docs/LanguageExtensions.rst @@ -1372,8 +1372,9 @@ * ``__is_trivially_relocatable`` (Clang): Returns true if moving an object of the given type, and then destroying the source object, is known to be functionally equivalent to copying the underlying bytes and then dropping the - source object on the floor. This is true of trivial types and types which - were made trivially relocatable via the ``clang::trivial_abi`` attribute. + source object on the floor. (Note: any such type is, therefore, implicit-lifetime.) + This is true of trivial types and types which were made trivially relocatable + via the ``clang::trivial_abi`` attribute. * ``__is_union`` (C++, GNU, Microsoft, Embarcadero) * ``__is_unsigned`` (C++, Embarcadero): Returns false for enumeration types. Note, before Clang 13, returned true for
Index: clang/docs/LanguageExtensions.rst =================================================================== --- clang/docs/LanguageExtensions.rst +++ clang/docs/LanguageExtensions.rst @@ -1372,8 +1372,9 @@ * ``__is_trivially_relocatable`` (Clang): Returns true if moving an object of the given type, and then destroying the source object, is known to be functionally equivalent to copying the underlying bytes and then dropping the - source object on the floor. This is true of trivial types and types which - were made trivially relocatable via the ``clang::trivial_abi`` attribute. + source object on the floor. (Note: any such type is, therefore, implicit-lifetime.) + This is true of trivial types and types which were made trivially relocatable + via the ``clang::trivial_abi`` attribute. * ``__is_union`` (C++, GNU, Microsoft, Embarcadero) * ``__is_unsigned`` (C++, Embarcadero): Returns false for enumeration types. Note, before Clang 13, returned true for
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits