diff options
author | Fangrui Song <i@maskray.me> | 2024-03-01 08:57:54 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-01 08:57:54 -0800 |
commit | 64216ba1e427fab1ee38ef9492d3fbca907606b9 (patch) | |
tree | 636f20e3ed8e3e1345354c706919c99ff1ab32ce /clang/lib/Sema/SemaChecking.cpp | |
parent | 18d0d9b9b2e99ba1d22b9c7c3352f5f9df978d2c (diff) | |
download | llvm-64216ba1e427fab1ee38ef9492d3fbca907606b9.zip llvm-64216ba1e427fab1ee38ef9492d3fbca907606b9.tar.gz llvm-64216ba1e427fab1ee38ef9492d3fbca907606b9.tar.bz2 |
[Sema] -Wpointer-bool-conversion: suppress lambda function pointer conversion diagnostic during instantiation (#83497)
I have seen two internal pieces of code that uses a template type
parameter to accept any callable type (function pointer, std::function,
closure type, etc). The diagnostic added in #83152 would require
adaptation to the template, which is difficult and also seems
unnecessary. Example:
```cpp
template <typename... Ts>
static bool IsFalse(const Ts&...) { return false; }
template <typename T, typename... Ts,
typename = typename std::enable_if<std::is_constructible<bool, const T&>::value>::type>
static bool IsFalse(const T& p, const Ts&...) {
return p ? false : true;
}
template <typename... Args>
void Init(Args&&... args) {
if (IsFalse(absl::implicit_cast<const typename std::decay<Args>::type&>(
args)...)) {
// A callable object convertible to false is either a null pointer or a
// null functor (e.g., a default-constructed std::function).
empty_ = true;
} else {
empty_ = false;
new (&factory_) Factory(std::forward<Args>(args)...);
}
}
```
Diffstat (limited to 'clang/lib/Sema/SemaChecking.cpp')
-rw-r--r-- | clang/lib/Sema/SemaChecking.cpp | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp index 7be2b31..9f9b0a0 100644 --- a/clang/lib/Sema/SemaChecking.cpp +++ b/clang/lib/Sema/SemaChecking.cpp @@ -16588,13 +16588,16 @@ void Sema::DiagnoseAlwaysNonNullPointer(Expr *E, } // Complain if we are converting a lambda expression to a boolean value - if (const auto *MCallExpr = dyn_cast<CXXMemberCallExpr>(E)) { - if (const auto *MRecordDecl = MCallExpr->getRecordDecl(); - MRecordDecl && MRecordDecl->isLambda()) { - Diag(E->getExprLoc(), diag::warn_impcast_pointer_to_bool) - << /*LambdaPointerConversionOperatorType=*/3 - << MRecordDecl->getSourceRange() << Range << IsEqual; - return; + // outside of instantiation. + if (!inTemplateInstantiation()) { + if (const auto *MCallExpr = dyn_cast<CXXMemberCallExpr>(E)) { + if (const auto *MRecordDecl = MCallExpr->getRecordDecl(); + MRecordDecl && MRecordDecl->isLambda()) { + Diag(E->getExprLoc(), diag::warn_impcast_pointer_to_bool) + << /*LambdaPointerConversionOperatorType=*/3 + << MRecordDecl->getSourceRange() << Range << IsEqual; + return; + } } } |