| Issue |
108160
|
| Summary |
[Clang] Specialize diagnostics for std::launder
|
| Labels |
clang:diagnostics
|
| Assignees |
|
| Reporter |
philnik777
|
Clang diagnoses erroneous uses of `__builtin_launder`, but doesn't produce nice diagnostics when it's used in `std::launder` currently. `__builtin_is_constant_evaluated` detects when it's used inside `std::is_constant_evaluated` to produce nicer diagnostics. It would be great if clang could do this too for `__builtin_launder`, since it would allow us to remove a few `static_assert`s inside `std::launder` in libc++ to get some really nice diagnostics for this.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
