Index: clang-tools-extra/trunk/clang-tidy/modernize/UseBoolLiteralsCheck.cpp =================================================================== --- clang-tools-extra/trunk/clang-tidy/modernize/UseBoolLiteralsCheck.cpp +++ clang-tools-extra/trunk/clang-tidy/modernize/UseBoolLiteralsCheck.cpp @@ -29,6 +29,17 @@ unless(isInTemplateInstantiation()), anyOf(hasParent(explicitCastExpr().bind("cast")), anything())), this); + + Finder->addMatcher( + conditionalOperator( + hasParent(implicitCastExpr( + hasImplicitDestinationType(qualType(booleanType())), + unless(isInTemplateInstantiation()))), + eachOf(hasTrueExpression( + ignoringParenImpCasts(integerLiteral().bind("literal"))), + hasFalseExpression( + ignoringParenImpCasts(integerLiteral().bind("literal"))))), + this); } void UseBoolLiteralsCheck::check(const MatchFinder::MatchResult &Result) { Index: clang-tools-extra/trunk/docs/clang-tidy/checks/modernize-use-bool-literals.rst =================================================================== --- clang-tools-extra/trunk/docs/clang-tidy/checks/modernize-use-bool-literals.rst +++ clang-tools-extra/trunk/docs/clang-tidy/checks/modernize-use-bool-literals.rst @@ -10,9 +10,11 @@ bool p = 1; bool f = static_cast(1); std::ios_base::sync_with_stdio(0); + bool x = p ? 1 : 0; // transforms to bool p = true; bool f = true; std::ios_base::sync_with_stdio(false); + bool x = p ? true : false; Index: clang-tools-extra/trunk/test/clang-tidy/modernize-use-bool-literals.cpp =================================================================== --- clang-tools-extra/trunk/test/clang-tidy/modernize-use-bool-literals.cpp +++ clang-tools-extra/trunk/test/clang-tidy/modernize-use-bool-literals.cpp @@ -5,30 +5,30 @@ // CHECK-FIXES: {{^}}bool IntToTrue = true;{{$}} bool IntToFalse(0); -// CHECK-MESSAGES: :[[@LINE-1]]:17: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:17: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool IntToFalse(false);{{$}} bool LongLongToTrue{0x1LL}; -// CHECK-MESSAGES: :[[@LINE-1]]:21: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:21: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool LongLongToTrue{true};{{$}} bool ExplicitCStyleIntToFalse = (bool)0; -// CHECK-MESSAGES: :[[@LINE-1]]:33: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:33: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool ExplicitCStyleIntToFalse = false;{{$}} bool ExplicitFunctionalIntToFalse = bool(0); -// CHECK-MESSAGES: :[[@LINE-1]]:37: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:37: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool ExplicitFunctionalIntToFalse = false;{{$}} bool ExplicitStaticIntToFalse = static_cast(0); -// CHECK-MESSAGES: :[[@LINE-1]]:33: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:33: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool ExplicitStaticIntToFalse = false;{{$}} #define TRUE_MACRO 1 // CHECK-FIXES: {{^}}#define TRUE_MACRO 1{{$}} bool MacroIntToTrue = TRUE_MACRO; -// CHECK-MESSAGES: :[[@LINE-1]]:23: warning: converting integer literal to bool, use bool literal instead [modernize-use-bool-literals] +// CHECK-MESSAGES: :[[@LINE-1]]:23: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool MacroIntToTrue = TRUE_MACRO;{{$}} #define FALSE_MACRO bool(0) @@ -37,7 +37,7 @@ bool TrueBool = true; // OK bool FalseBool = bool(FALSE_MACRO); -// CHECK-MESSAGES: :[[@LINE-1]]:23: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:23: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool FalseBool = bool(FALSE_MACRO);{{$}} void boolFunction(bool bar) { @@ -52,28 +52,28 @@ // CHECK-FIXES: {{^}}#define MACRO_DEPENDENT_CAST(x) static_cast(x){{$}} bool MacroDependentBool = MACRO_DEPENDENT_CAST(0); -// CHECK-MESSAGES: :[[@LINE-1]]:27: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:27: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool MacroDependentBool = MACRO_DEPENDENT_CAST(0);{{$}} bool ManyMacrosDependent = MACRO_DEPENDENT_CAST(FALSE_MACRO); -// CHECK-MESSAGES: :[[@LINE-1]]:49: warning: {{.*}} +// CHECK-MESSAGES: :[[@LINE-1]]:49: warning: converting integer literal to bool // CHECK-FIXES: {{^}}bool ManyMacrosDependent = MACRO_DEPENDENT_CAST(FALSE_MACRO);{{$}} class FooClass { public: FooClass() : JustBool(0) {} - // CHECK-MESSAGES: :[[@LINE-1]]:25: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:25: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}FooClass() : JustBool(false) {}{{$}} FooClass(int) : JustBool{0} {} - // CHECK-MESSAGES: :[[@LINE-1]]:28: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:28: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}FooClass(int) : JustBool{false} {}{{$}} private: bool JustBool; bool BoolWithBraces{0}; - // CHECK-MESSAGES: :[[@LINE-1]]:23: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:23: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}bool BoolWithBraces{false};{{$}} bool BoolFromInt = 0; - // CHECK-MESSAGES: :[[@LINE-1]]:22: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:22: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}bool BoolFromInt = false;{{$}} bool SimpleBool = true; // OK }; @@ -93,13 +93,13 @@ template void anotherTemplateFunction(type) { bool JustBool = 0; - // CHECK-MESSAGES: :[[@LINE-1]]:19: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:19: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}bool JustBool = false;{{$}} } int main() { boolFunction(1); - // CHECK-MESSAGES: :[[@LINE-1]]:16: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:16: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}boolFunction(true);{{$}} boolFunction(false); @@ -113,6 +113,36 @@ anotherTemplateFunction(1); IntToTrue = 1; - // CHECK-MESSAGES: :[[@LINE-1]]:15: warning: {{.*}} + // CHECK-MESSAGES: :[[@LINE-1]]:15: warning: converting integer literal to bool // CHECK-FIXES: {{^ *}}IntToTrue = true;{{$}} } + +static int Value = 1; + +bool Function1() { + bool Result = Value == 1 ? 1 : 0; + // CHECK-MESSAGES: :[[@LINE-1]]:30: warning: converting integer literal to bool + // CHECK-MESSAGES: :[[@LINE-2]]:34: warning: converting integer literal to bool + // CHECK-FIXES: {{^ *}}bool Result = Value == 1 ? true : false;{{$}} + return Result; +} + +bool Function2() { + return Value == 1 ? 1 : 0; + // CHECK-MESSAGES: :[[@LINE-1]]:23: warning: converting integer literal to bool + // CHECK-MESSAGES: :[[@LINE-2]]:27: warning: converting integer literal to bool + // CHECK-FIXES: {{^ *}}return Value == 1 ? true : false;{{$}} +} + +void foo() { + bool Result; + Result = Value == 1 ? true : 0; + // CHECK-MESSAGES: :[[@LINE-1]]:32: warning: converting integer literal to bool + // CHECK-FIXES: {{^ *}}Result = Value == 1 ? true : false;{{$}} + Result = Value == 1 ? false : bool(0); + // CHECK-MESSAGES: :[[@LINE-1]]:33: warning: converting integer literal to bool + // CHECK-FIXES: {{^ *}}Result = Value == 1 ? false : false;{{$}} + Result = Value == 1 ? (bool)0 : false; + // CHECK-MESSAGES: :[[@LINE-1]]:25: warning: converting integer literal to bool + // CHECK-FIXES: {{^ *}}Result = Value == 1 ? false : false;{{$}} +}