diff options
| author | Vlad Serebrennikov <serebrennikov.vladislav@gmail.com> | 2025-01-13 20:10:31 +0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-13 20:10:31 +0400 |
| commit | 658ec8593b25f2bd05874deab4582b6759e92e40 (patch) | |
| tree | eb21ad85ab2dd0eb78df047d4d973e0aef458040 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 7aebacbee965a83c5cc69f6a723605436651672c (diff) | |
| download | llvm-658ec8593b25f2bd05874deab4582b6759e92e40.zip llvm-658ec8593b25f2bd05874deab4582b6759e92e40.tar.gz llvm-658ec8593b25f2bd05874deab4582b6759e92e40.tar.bz2 | |
[clang] Add test for CWG170 "Pointer-to-member conversions" (#121667)
This patch adds test for
[CWG170](https://cplusplus.github.io/CWG/issues/170.html). The
resolution adds explicit undefined behavior, so I think the best we can
do is to put the test into constexpr evaluator. Change to
[expr.static.cast] is not tested, because it was a drive-by fix that
removed an impossible case (I confirmed it using minutes). Minutes
mention several times a comprehensive paper in this design space which
no one seem to remember. I believe it's
[P0149R0](https://wg21.link/p0149r0) "Generalised member pointers".
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
0 files changed, 0 insertions, 0 deletions