Skip to content
Open
Show file tree
Hide file tree
Changes from 1 commit
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">,
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the 'maybe' part at least requires some work. Typically we'd do something like did you intend to dereference %0? Or did you mean *%0?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tell me if the new syntax + fixit is good.

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