Skip to content

[Clang] Clarify the [[trivial_abi]] documentation. #143243

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 9, 2025
Merged

[Clang] Clarify the [[trivial_abi]] documentation. #143243

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
9b61282
[Clang] Clarify the `[[trivial_abi]]` documentation.
cor3ntin Jun 7, 2025
002d009
Apply Erich's feedback after some offline bike-shedding
cor3ntin Jun 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion clang/include/clang/Basic/AttrDocs.td
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4431,7 +4431,14 @@ destroy the object before returning. The lifetime of the copy of the parameter
in the caller ends without a destructor call when the call begins.

If a type is trivial for the purpose of calls, it is assumed to be trivially
relocatable for the purpose of ``__is_trivially_relocatable``.
relocatable for the purpose of ``__is_trivially_relocatable`` and
``__builtin_is_cpp_trivially_relocatable``.
When a type marked with ``[[trivial_abi]]`` is used as a function argument,
the compiler may omit the call to the copy constructor.
Thus, side effects of the copy constructor are potentially not performed.
For example, objects that contain pointers to themselves or otherwise depend
on their address (or the address or their subobjects) should not be declared
``[[trivial_abi]]``.

Attribute ``trivial_abi`` has no effect in the following cases:

Expand Down
Loading