diff options
author | Damien L-G <dalg24@gmail.com> | 2025-04-07 15:25:45 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-04-07 15:25:45 -0400 |
commit | 9965f3d337bba09fbf2497a78123957fdaee0ffa (patch) | |
tree | 7beb233e57f6a1366a42455c166fd3e2f529bc94 /clang/lib/CodeGen/CodeGenModule.cpp | |
parent | 27c099bc84d1432752b3828f1ba95de24db76c5e (diff) | |
download | llvm-9965f3d337bba09fbf2497a78123957fdaee0ffa.zip llvm-9965f3d337bba09fbf2497a78123957fdaee0ffa.tar.gz llvm-9965f3d337bba09fbf2497a78123957fdaee0ffa.tar.bz2 |
[libc++] Improve diagnostic when violating `std::atomic` trivially copyable mandates (#131754)
When attempting to instantiate `std::atomic` with a non trivially
copyable type, one gets errors from instantiating internals before the
actual static assertion that check the template parameter type
requirements.
The `verify` test for it had a `// ADDITIONAL_COMPILE_FLAGS: -Xclang
-verify-ignore-unexpected=error` directive to work around this issue.
The changes I propose enable us to drop that directive.
As I understand it, the `verify` test was misplaced so I moved it to
`test/{std -> libcxx}/atomics`.
(I ran into this while working on #121414 in which we would add another
static assertion in `__check_atomic_mandates`)
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions