TestBool() : TestFixture("TestBool") {}

const Settings settings = settingsBuilder().severity(Severity::style).severity(Severity::warning).certainty(Certainty::inconclusive).build();

void run() override {

TEST_CASE(bitwiseOnBoolean); // if (bool & bool)

TEST_CASE(incrementBoolean);

TEST_CASE(assignBoolToPointer);

TEST_CASE(assignBoolToFloat);

TEST_CASE(comparisonOfBoolExpressionWithInt1);

TEST_CASE(comparisonOfBoolExpressionWithInt2);

TEST_CASE(comparisonOfBoolExpressionWithInt3);

TEST_CASE(comparisonOfBoolExpressionWithInt4);

TEST_CASE(comparisonOfBoolWithInt1);

TEST_CASE(comparisonOfBoolWithInt2);

TEST_CASE(comparisonOfBoolWithInt3);

TEST_CASE(comparisonOfBoolWithInt4);

TEST_CASE(comparisonOfBoolWithInt5);

TEST_CASE(comparisonOfBoolWithInt6); // #4224 - integer is casted to bool

TEST_CASE(comparisonOfBoolWithInt7); // #4846 - (!x == true)

TEST_CASE(comparisonOfBoolWithInt8); // #9165

TEST_CASE(comparisonOfBoolWithInt9); // #9304

TEST_CASE(comparisonOfBoolWithInt10); // #10935

TEST_CASE(checkComparisonOfFuncReturningBool1);

TEST_CASE(checkComparisonOfFuncReturningBool2);

TEST_CASE(checkComparisonOfFuncReturningBool3);

TEST_CASE(checkComparisonOfFuncReturningBool4);

TEST_CASE(checkComparisonOfFuncReturningBool5);

TEST_CASE(checkComparisonOfFuncReturningBool6);

TEST_CASE(checkComparisonOfFuncReturningBool7); // #7197

TEST_CASE(checkComparisonOfFuncReturningBool8); // #4103

// Integration tests..

TEST_CASE(checkComparisonOfFuncReturningBoolIntegrationTest1); // #7798 overloaded functions

TEST_CASE(checkComparisonOfBoolWithBool);

// Converting pointer addition result to bool

TEST_CASE(pointerArithBool1);

TEST_CASE(returnNonBool);

TEST_CASE(returnNonBoolLambda);

TEST_CASE(returnNonBoolLogicalOp);

TEST_CASE(returnNonBoolClass);

}

#define check(...) check_(__FILE__, __LINE__, __VA_ARGS__)

void check_(const char* file, int line, const char code[], const char filename[] = "test.cpp") {

// Clear the error buffer..

errout.str("");

// Tokenize..

Tokenizer tokenizer(&settings, this);

std::istringstream istr(code);

ASSERT_LOC(tokenizer.tokenize(istr, filename), file, line);

// Check...

runChecks<CheckBool>(&tokenizer, &settings, this);

}

void assignBoolToPointer() {

check("void foo(bool *p) {\n"

" p = false;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (error) Boolean value assigned to pointer.\n", errout.str());

check("void foo(bool *p) {\n"

" p = (x<y);\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (error) Boolean value assigned to pointer.\n", errout.str());

check("void foo(bool *p) {\n"

" p = (x||y);\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (error) Boolean value assigned to pointer.\n", errout.str());

check("void foo(bool *p) {\n"

" p = (x&&y);\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (error) Boolean value assigned to pointer.\n", errout.str());

// check against potential false positives

check("void foo(bool *p) {\n"

" *p = false;\n"

"}");

ASSERT_EQUALS("", errout.str());

// ticket #5046 - false positive: Boolean value assigned to pointer

check("struct S {\n"

" bool *p;\n"

"};\n"

"void f() {\n"

" S s = {0};\n"

" *s.p = true;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("struct S {\n"

" bool *p;\n"

"};\n"

"void f() {\n"

" S s = {0};\n"

" s.p = true;\n"

"}");

ASSERT_EQUALS("[test.cpp:6]: (error) Boolean value assigned to pointer.\n", errout.str());

// ticket #5627 - false positive: template

check("void f() {\n"

" X *p = new ::std::pair<int,int>[rSize];\n"

"}");

ASSERT_EQUALS("", errout.str());

// ticket #6588 (c mode)

check("struct MpegEncContext { int *q_intra_matrix, *q_chroma_intra_matrix; };\n"

"void dnxhd_10bit_dct_quantize(MpegEncContext *ctx, int n, int qscale) {\n"

" const int *qmat = n < 4;\n" /* KO */

" const int *rmat = n < 4 ? " /* OK */

" ctx->q_intra_matrix :"

" ctx->q_chroma_intra_matrix;\n"

"}", "test.c");

ASSERT_EQUALS("[test.c:3]: (error) Boolean value assigned to pointer.\n", errout.str());

// ticket #6588 (c++ mode)

check("struct MpegEncContext { int *q_intra_matrix, *q_chroma_intra_matrix; };\n"

"void dnxhd_10bit_dct_quantize(MpegEncContext *ctx, int n, int qscale) {\n"

" const int *qmat = n < 4;\n" /* KO */

" const int *rmat = n < 4 ? " /* OK */

" ctx->q_intra_matrix :"

" ctx->q_chroma_intra_matrix;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (error) Boolean value assigned to pointer.\n", errout.str());

// ticket #6665

check("void pivot_big(char *first, int compare(const void *, const void *)) {\n"

" char *a = first, *b = first + 1, *c = first + 2;\n"

" char* m1 = compare(a, b) < 0\n"

" ? (compare(b, c) < 0 ? b : (compare(a, c) < 0 ? c : a))\n"

" : (compare(a, c) < 0 ? a : (compare(b, c) < 0 ? c : b));\n"

"}", "test.c");

ASSERT_EQUALS("", errout.str());

// #7381

check("void foo(bool *p, bool b) {\n"

" p = b;\n"

" p = &b;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (error) Boolean value assigned to pointer.\n", errout.str());

}

void assignBoolToFloat() {

check("void foo1() {\n"

" double d = false;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style) Boolean value assigned to floating point variable.\n", errout.str());

check("void foo2() {\n"

" float d = true;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style) Boolean value assigned to floating point variable.\n", errout.str());

check("void foo3() {\n"

" long double d = (2>1);\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style) Boolean value assigned to floating point variable.\n", errout.str());

// stability - don't crash:

check("void foo4() {\n"

" unknown = false;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("struct S {\n"

" float p;\n"

"};\n"

"void f() {\n"

" S s = {0};\n"

" s.p = true;\n"

"}");

ASSERT_EQUALS("[test.cpp:6]: (style) Boolean value assigned to floating point variable.\n", errout.str());

check("struct S {\n"

" float* p[1];\n"

"};\n"

"void f() {\n"

" S s = {0};\n"

" *s.p[0] = true;\n"

"}");

ASSERT_EQUALS("[test.cpp:6]: (style) Boolean value assigned to floating point variable.\n", errout.str());

}

void comparisonOfBoolExpressionWithInt1() {

check("void f(int x) {\n"

" if ((x && 0x0f)==6)\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if ((x && 0x0f)==0)\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if ((x || 0x0f)==6)\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if ((x || 0x0f)==0)\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if ((x & 0x0f)==6)\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if ((x | 0x0f)==6)\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if ((5 && x)==3)\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if ((5 && x)==3 || (8 && x)==9)\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if ((5 && x)!=3)\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if ((5 && x) > 3)\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if ((5 && x) > 0)\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if ((5 && x) < 0)\n"

" a++;\n"

"}"

);

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer.\n", errout.str());

check("void f(int x) {\n"

" if ((5 && x) < 1)\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if ((5 && x) > 1)\n"

" a++;\n"

"}"

);

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer.\n", errout.str());

check("void f(int x) {\n"

" if (0 < (5 && x))\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if (0 > (5 && x))\n"

" a++;\n"

"}"

);

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer.\n", errout.str());

check("void f(int x) {\n"

" if (1 > (5 && x))\n"

" a++;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if (1 < (5 && x))\n"

" a++;\n"

"}"

);

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer.\n", errout.str());

check("void f(bool x ) {\n"

" if ( x > false )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( false < x )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( x < false )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( false > x )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( x >= false )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( false >= x )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( x <= false )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("void f(bool x ) {\n"

" if ( false <= x )\n"

" a++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean value using relational operator (<, >, <= or >=).\n", errout.str());

check("typedef int (*func)(bool invert);\n"

"void x(int, func f);\n"

"void foo(int error) {\n"

" if (error == ABC) { }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("int f() { return !a+b<c; }"); // #5072

ASSERT_EQUALS("",errout.str());

check("int f() { return (!a+b<c); }");

ASSERT_EQUALS("",errout.str());

check("int f() { return (a+(b<5)<=c); }");

ASSERT_EQUALS("",errout.str());

}

void comparisonOfBoolExpressionWithInt2() {

check("void f(int x) {\n"

" if (!x == 10) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if (!x != 10) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if (x != 10) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if (10 == !x) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x) {\n"

" if (10 != !x) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int x, int y) {\n"

" if (y != !x) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x, bool y) {\n"

" if (y != !x) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x) {\n"

" if (10 != x) {\n"

" printf(\"x not equal to 10\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int x, int y) {\n"

" return (!y == !x);\n"

"}");

ASSERT_EQUALS("", errout.str());

check("int f(int a) {\n"

" return (x()+1 == !a);\n"

"}");

TODO_ASSERT_EQUALS("error", "", errout.str());

check("void f() { if (!!a+!!b+!!c>1){} }");

ASSERT_EQUALS("",errout.str());

check("void f(int a, int b, int c) { if (a != !b || c) {} }");

ASSERT_EQUALS("",errout.str());

check("void f(int a, int b, int c) { if (1 < !!a + !!b + !!c) {} }");

ASSERT_EQUALS("",errout.str());

check("void f(int a, int b, int c) { if (1 < !(a+b)) {} }");

ASSERT_EQUALS("[test.cpp:1]: (warning) Comparison of a boolean expression with an integer.\n",errout.str());

}

void comparisonOfBoolExpressionWithInt3() {

check("int f(int x) {\n"

" return t<0>() && x;\n"

"}");

ASSERT_EQUALS("", errout.str());

}

void comparisonOfBoolExpressionWithInt4() {

// #5016

check("void f() {\n"

" for(int i = 4; i > -1 < 5 ; --i) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(int a, int b, int c) {\n"

" return (a > b) < c;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int a, int b, int c) {\n"

" return x(a > b) < c;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(int a, int b, int c) {\n"

" return a > b == c;\n"

"}");

ASSERT_EQUALS("", errout.str());

// templates

check("struct Tokenizer { TokenList list; };\n"

"void Tokenizer::f() {\n"

" std::list<Token*> locationList;\n"

"}");

ASSERT_EQUALS("", errout.str());

// #5063 - or

check("void f() {\n"

" return a > b or c < d;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("int f() {\n"

" return (a < b) != 0U;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("int f() {\n"

" return (a < b) != 0x0;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("int f() {\n"

" return (a < b) != 42U;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

}

void checkComparisonOfFuncReturningBool1() {

check("void f(){\n"

" int temp = 4;\n"

" if(compare1(temp) > compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"bool compare1(int temp){\n"

" if(temp==4){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}\n"

"bool compare2(int temp){\n"

" if(temp==4){\n"

" return false;\n"

" }\n"

" else\n"

" return true;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (style) Comparison of two functions returning boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void checkComparisonOfFuncReturningBool2() {

check("void leftOfComparison(){\n"

" int temp = 4;\n"

" bool a = true;\n"

" if(compare(temp) > a){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"void rightOfComparison(){\n"

" int temp = 4;\n"

" bool a = true;\n"

" if(a < compare(temp)){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"bool compare(int temp){\n"

" if(temp==4){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}");

ASSERT_EQUALS("[test.cpp:4]: (style) Comparison of a function returning boolean value using relational (<, >, <= or >=) operator.\n"

"[test.cpp:11]: (style) Comparison of a function returning boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void checkComparisonOfFuncReturningBool3() {

check("void f(){\n"

" int temp = 4;\n"

" if(compare(temp) > temp){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"bool compare(int temp);");

ASSERT_EQUALS("[test.cpp:3]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n"

"[test.cpp:3]: (style) Comparison of a function returning boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void checkComparisonOfFuncReturningBool4() {

check("void f(){\n"

" int temp = 4;\n"

" bool b = compare2(6);\n"

" if(compare1(temp)> b){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"bool compare1(int temp){\n"

" if(temp==4){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}\n"

"bool compare2(int temp){\n"

" if(temp == 5){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}");

ASSERT_EQUALS("[test.cpp:4]: (style) Comparison of a function returning boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void checkComparisonOfFuncReturningBool5() {

check("void f(){\n"

" int temp = 4;\n"

" if(compare1(temp) > !compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"bool compare1(int temp){\n"

" if(temp==4){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}\n"

"bool compare2(int temp){\n"

" if(temp==4){\n"

" return false;\n"

" }\n"

" else\n"

" return true;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (style) Comparison of two functions returning boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void checkComparisonOfFuncReturningBool6() {

check("int compare1(int temp);\n"

"namespace Foo {\n"

" bool compare1(int temp);\n"

"}\n"

"void f(){\n"

" int temp = 4;\n"

" if(compare1(temp) > compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("namespace Foo {\n"

" bool compare1(int temp);\n"

"}\n"

"int compare1(int temp);\n"

"void f(){\n"

" int temp = 4;\n"

" if(compare1(temp) > compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("int compare1(int temp);\n"

"namespace Foo {\n"

" bool compare1(int temp);\n"

" void f(){\n"

" int temp = 4;\n"

" if(compare1(temp) > compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:6]: (style) Comparison of a function returning boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

check("int compare1(int temp);\n"

"namespace Foo {\n"

" bool compare1(int temp);\n"

" void f(){\n"

" int temp = 4;\n"

" if(::compare1(temp) > compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

check("bool compare1(int temp);\n"

"void f(){\n"

" int temp = 4;\n"

" if(foo.compare1(temp) > compare2(temp)){\n"

" printf(\"foo\");\n"

" }\n"

"}");

ASSERT_EQUALS("", errout.str());

}

void checkComparisonOfFuncReturningBool7() { // #7197

check("struct C {\n"

" bool isEmpty();\n"

"};\n"

"void f() {\n"

" C c1, c2;\n"

" if ((c1.isEmpty()) < (c2.isEmpty())) {}\n"

" if (!c1.isEmpty() < !!c2.isEmpty()) {}\n"

" if ((int)c1.isEmpty() < (int)c2.isEmpty()) {}\n"

" if (static_cast<int>(c1.isEmpty()) < static_cast<int>(c2.isEmpty())) {}\n"

"}\n");

ASSERT_EQUALS("[test.cpp:6]: (style) Comparison of two functions returning boolean value using relational (<, >, <= or >=) operator.\n"

"[test.cpp:7]: (style) Comparison of two functions returning boolean value using relational (<, >, <= or >=) operator.\n"

"[test.cpp:8]: (style) Comparison of two functions returning boolean value using relational (<, >, <= or >=) operator.\n"

"[test.cpp:9]: (style) Comparison of two functions returning boolean value using relational (<, >, <= or >=) operator.\n",

errout.str());

}

void checkComparisonOfFuncReturningBool8() { // #4103

// op: >

check("int main(void){\n"

" bool a = true;\n"

" bool b = false;\n"

" if(b > a){ \n" // here warning should be displayed

" ;\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:4]: (style) Comparison of a variable having boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

// op: <

check("int main(void){\n"

" bool a = true;\n"

" bool b = false;\n"

" if(b < a){ \n" // here warning should be displayed

" ;\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:4]: (style) Comparison of a variable having boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

// op: >=

check("int main(void){\n"

" bool a = true;\n"

" bool b = false;\n"

" if(b >= a){ \n" // here warning should be displayed

" ;\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:4]: (style) Comparison of a variable having boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

// op: <=

check("int main(void){\n"

" bool a = true;\n"

" bool b = false;\n"

" if(b <= a){ \n" // here warning should be displayed

" ;\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:4]: (style) Comparison of a variable having boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void checkComparisonOfFuncReturningBoolIntegrationTest1() { // #7798

check("bool eval(double *) { return false; }\n"

"double eval(char *) { return 1.0; }\n"

"int main(int argc, char *argv[])\n"

"{\n"

" if ( eval(argv[1]) > eval(argv[2]) )\n"

" return 1;\n"

" return 0;\n"

"}");

ASSERT_EQUALS("", errout.str());

}

void checkComparisonOfBoolWithBool() {

const char code[] = "void f(){\n"

" int temp = 4;\n"

" bool b = compare2(6);\n"

" bool a = compare1(4);\n"

" if(b > a){\n"

" printf(\"foo\");\n"

" }\n"

"}\n"

"bool compare1(int temp){\n"

" if(temp==4){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}\n"

"bool compare2(int temp){\n"

" if(temp == 5){\n"

" return true;\n"

" }\n"

" else\n"

" return false;\n"

"}\n";

check(code);

ASSERT_EQUALS("[test.cpp:5]: (style) Comparison of a variable having boolean value using relational (<, >, <= or >=) operator.\n", errout.str());

}

void bitwiseOnBoolean() { // 3062

check("void f(_Bool a, _Bool b) {\n"

" if(a & b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("void f(_Bool a, _Bool b) {\n"

" if(a | b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("void f(bool a, bool b) {\n"

" if(a & !b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("void f(bool a, bool b) {\n"

" if(a | !b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("bool a, b;\n"

"void f() {\n"

" if(a & b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("bool a, b;\n"

"void f() {\n"

" if(a & !b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("bool a, b;\n"

"void f() {\n"

" if(a | b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("bool a, b;\n"

"void f() {\n"

" if(a | !b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("void f(bool a, int b) {\n"

" if(a & b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("void f(int a, bool b) {\n"

" if(a & b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'b' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("void f(int a, int b) {\n"

" if((a > 0) & (b < 0)) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a>0' is used in bitwise operation. Did you mean '&&'?\n", errout.str());

check("void f(bool a, int b) {\n"

" if(a | b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("void f(int a, bool b) {\n"

" if(a | b) {}\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'b' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("int f(bool a, int b) {\n"

" return a | b;\n"

"}");

ASSERT_EQUALS("", errout.str());

check("bool f(bool a, int b) {\n"

" return a | b;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style, inconclusive) Boolean expression 'a' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("void f(int a, int b) {\n"

" if(a & b) {}\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(bool b) {\n"

" foo(bar, &b);\n"

"}");

ASSERT_EQUALS("", errout.str());

check("void f(bool b) {\n" // #9405

" class C { void foo(bool &b) {} };\n"

"}");

ASSERT_EQUALS("", errout.str());

check("bool f();\n"

"bool g() {\n"

" return f() | f();\n"

"}\n");

ASSERT_EQUALS("", errout.str());

check("uint8 outcode(float p) {\n"

" float d = 0.;\n"

" return ((p - xm >= d) << 1) | (x - p > d);\n"

"}\n");

ASSERT_EQUALS("", errout.str());

check("int g();\n" // #10655

"void f(bool b) {\n"

" if (g() | b) {}\n"

"}\n");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'b' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("int g();\n"

"void f(bool b) {\n"

" if (b | g()) {}\n"

"}\n");

ASSERT_EQUALS("", errout.str());

check("int g();\n"

"bool f(bool b, bool c) {\n"

" return b | g() | c;\n"

"}\n");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'c' is used in bitwise operation. Did you mean '||'?\n", errout.str());

check("void f(int i) {\n" // #4233

" bool b = true, c = false;\n"

" b &= i;\n"

" c |= i;\n"

" if (b || c) {}\n"

"}\n");

ASSERT_EQUALS("[test.cpp:3]: (style, inconclusive) Boolean expression 'b' is used in bitwise operation.\n"

"[test.cpp:4]: (style, inconclusive) Boolean expression 'c' is used in bitwise operation.\n",

errout.str());

check("void f(int i, int j, bool b) {\n"

" i &= b;\n"

" j |= b;\n"

" if (b || c) {}\n"

"}\n");

ASSERT_EQUALS("", errout.str());

check("bool f(bool b, int i) {\n"

" b &= (i == 5);\n"

" return b;\n"

"}\n");

ASSERT_EQUALS("", errout.str());

}

void incrementBoolean() {

check("bool bValue = true;\n"

"void f() { bValue++; }");

ASSERT_EQUALS("[test.cpp:2]: (style) Incrementing a variable of type 'bool' with postfix operator++ is deprecated by the C++ Standard. You should assign it the value 'true' instead.\n", errout.str());

check("void f(bool test){\n"

" test++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style) Incrementing a variable of type 'bool' with postfix operator++ is deprecated by the C++ Standard. You should assign it the value 'true' instead.\n", errout.str());

check("void f(bool* test){\n"

" (*test)++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style) Incrementing a variable of type 'bool' with postfix operator++ is deprecated by the C++ Standard. You should assign it the value 'true' instead.\n", errout.str());

check("void f(bool* test){\n"

" test[0]++;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (style) Incrementing a variable of type 'bool' with postfix operator++ is deprecated by the C++ Standard. You should assign it the value 'true' instead.\n", errout.str());

check("void f(int test){\n"

" test++;\n"

"}");

ASSERT_EQUALS("", errout.str());

}

void comparisonOfBoolWithInt1() {

check("void f(bool x) {\n"

" if (x < 10) {\n"

" printf(\"foo\");\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(bool x) {\n"

" if (10 >= x) {\n"

" printf(\"foo\");\n"

" }\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Comparison of a boolean expression with an integer other than 0 or 1.\n", errout.str());

check("void f(bool x) {\n"

" if (x != 0) {\n"

" printf(\"foo\");\n"