Bug 96288 - [DR 1734] __is_trivial and __is_trivially_copyable fails for deleted members
Summary: [DR 1734] __is_trivial and __is_trivially_copyable fails for deleted members
Status: NEW
Alias: None
Product: gcc
Classification: Unclassified
Component: c++ (show other bugs)
Version: unknown
: P3 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords: rejects-valid
Depends on:
Blocks:
 
Reported: 2020-07-22 16:10 UTC by Roland Schulz
Modified: 2024-06-18 19:42 UTC (History)
3 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2024-06-18 00:00:00

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Roland Schulz 2020-07-22 16:10:51 UTC 
https://godbolt.org/z/snjof8

The resolution of 1734 requires the class:
- has at least one non-deleted copy constructor, move constructor, copy assignment operator, or move assignment operator, and
- has a trivial, non-deleted destructor

Therefore all 4 static-asserts should pass.

Same bug in LLVM with discussion of ABI impact: https://bugs.llvm.org/show_bug.cgi?id=39050