[clang] [Clang] Fix a regression introduced by #140073 (PR #140288)
via cfe-commits
cfe-commits at lists.llvm.org
Fri May 16 10:55:24 PDT 2025
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-clang
Author: cor3ntin (cor3ntin)
<details>
<summary>Changes</summary>
Pointer to data member don't decay, assuming they do caused an assertion failure.
---
Full diff: https://github.com/llvm/llvm-project/pull/140288.diff
2 Files Affected:
- (modified) clang/include/clang/Sema/Overload.h (+2-1)
- (modified) clang/test/SemaCXX/overload-resolution-deferred-templates.cpp (+23)
``````````diff
diff --git a/clang/include/clang/Sema/Overload.h b/clang/include/clang/Sema/Overload.h
index e88f764a0a601..a70335bef9dd4 100644
--- a/clang/include/clang/Sema/Overload.h
+++ b/clang/include/clang/Sema/Overload.h
@@ -435,7 +435,8 @@ class Sema;
// A function pointer type can be resolved to a member function type,
// which is still an identity conversion.
- if (auto *N = T->getAs<MemberPointerType>())
+ if (auto *N = T->getAs<MemberPointerType>();
+ N && N->isMemberFunctionPointer())
T = C.getDecayedType(N->getPointeeType());
return T;
};
diff --git a/clang/test/SemaCXX/overload-resolution-deferred-templates.cpp b/clang/test/SemaCXX/overload-resolution-deferred-templates.cpp
index d559fb23ca043..4c5ac5dcbbd04 100644
--- a/clang/test/SemaCXX/overload-resolution-deferred-templates.cpp
+++ b/clang/test/SemaCXX/overload-resolution-deferred-templates.cpp
@@ -251,3 +251,26 @@ void f() {
e.g(&N::f);
}
}
+
+#if __cplusplus >= 201402
+namespace PointerToMemData {
+struct N {
+ int field;
+};
+template <typename It, typename T>
+struct B {
+ B(It, T);
+ template <typename It2>
+ B(B<It2, T>);
+};
+template <typename T>
+struct C {
+ auto g() { return B<int, T>(0, T{}); }
+};
+void f() {
+ using T = decltype(C<decltype(&N::field)>{}.g());
+}
+
+}
+
+#endif
``````````
</details>
https://github.com/llvm/llvm-project/pull/140288
More information about the cfe-commits
mailing list