Skip to content

[clang] Add diagnostic for usage of implicit constructor with pointer to bool convertion #143990

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions clang/include/clang/Basic/DiagnosticSemaKinds.td
Original file line number Diff line number Diff line change
Expand Up @@ -4397,6 +4397,9 @@ def ext_ms_impcast_fn_obj : ExtWarn<
"implicit conversion between pointer-to-function and pointer-to-object is a "
"Microsoft extension">, InGroup<MicrosoftCast>;

def warn_imp_constructor_pointer_to_bool : Warning<
"implicit conversion from %0 to %1 calls %q2; maybe you intended to dereference">,
InGroup<PointerBoolConversion>;
def warn_impcast_pointer_to_bool : Warning<
"address of %select{'%1'|function '%1'|array '%1'|lambda function pointer "
"conversion operator}0 will always evaluate to 'true'">,
Expand Down
19 changes: 19 additions & 0 deletions clang/lib/Sema/SemaChecking.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -11767,6 +11767,25 @@ static void CheckImplicitArgumentConversions(Sema &S, const CallExpr *TheCall,
SourceLocation CC) {
for (unsigned I = 0, N = TheCall->getNumArgs(); I < N; ++I) {
const Expr *CurrA = TheCall->getArg(I);

if (auto *MTE = dyn_cast<MaterializeTemporaryExpr>(CurrA))
// We shouldnt skip over any node here as it may be an attempt to silence
// the warning
if (auto *CCE = dyn_cast<CXXConstructExpr>(MTE->getSubExpr()))
if (CCE->getNumArgs() == 1) {
Expr *Inner = CCE->getArg(0)->IgnoreImpCasts();
if ((Inner->getType()->isAnyPointerType() &&
Inner->getType()->getPointeeType().getUnqualifiedType() ==
CCE->getType().getUnqualifiedType())) {
S.Diag(CCE->getLocation(),
diag::warn_imp_constructor_pointer_to_bool)
<< Inner->getType() << CCE->getType() << CCE->getConstructor();
S.Diag(CCE->getConstructor()->getLocation(),
diag::note_entity_declared_at)
<< CCE->getConstructor();
}
}

if (!IsImplicitBoolFloatConversion(S, CurrA, true))
continue;

Expand Down
31 changes: 31 additions & 0 deletions clang/test/SemaCXX/warn-bool-conversion.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -234,3 +234,34 @@ namespace Template {
template void h<d>();
}
#endif // __cplusplus < 201703L

namespace implicit_constructor_bool {

struct B {
bool a;
B(bool V) : a(V) {} // expected-note {{'B' declared here}}
};

void test(const B& b);

void test0(B* b) {
test(b); // expected-warning {{implicit conversion from 'B *' to 'const B' calls}}
test((const B&)b);
test(B(b));
test((bool)b);
test(static_cast<bool>(b));
test(*b);
}

struct C {
bool a;
explicit C(bool V) : a(V) {}
};

void testC(const C& b); // expected-note {{candidate function not viable: no known conversion from 'C *' to 'const C'}}

void testC0(C* b) {
testC(b); // expected-error {{no matching function for call to 'testC'}}
}

}
Loading