TestAssert() : TestFixture("TestAssert") {}

Settings settings;

void check(const char code[], const char *filename = "test.cpp") {

// Clear the error buffer..

errout.str("");

// Tokenize..

Tokenizer tokenizer(&settings, this);

std::istringstream istr(code);

tokenizer.tokenize(istr, filename);

// Check..

CheckAssert checkAssert;

checkAssert.runChecks(&tokenizer, &settings, this);

}

void run() OVERRIDE {

settings.severity.enable(Severity::warning);

TEST_CASE(assignmentInAssert);

TEST_CASE(functionCallInAssert);

TEST_CASE(memberFunctionCallInAssert);

TEST_CASE(safeFunctionCallInAssert);

TEST_CASE(crash);

}

void safeFunctionCallInAssert() {

check(

"int a;\n"

"bool b = false;\n"

"int foo() {\n"

" if (b) { a = 1+2 };\n"

" return a;\n"

"}\n"

"assert(foo() == 3);");

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

check(

"int foo(int a) {\n"

" int b=a+1;\n"

" return b;\n"

"}\n"

"assert(foo(1) == 2);");

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

}

void functionCallInAssert() {

check(

"int a;\n"

"int foo() {\n"

" a = 1+2;\n"

" return a;\n"

"}\n"

"assert(foo() == 3);");

ASSERT_EQUALS("[test.cpp:6]: (warning) Assert statement calls a function which may have desired side effects: 'foo'.\n", errout.str());

// Ticket #4937 "false positive: Assert calls a function which may have desired side effects"

check("struct SquarePack {\n"

" static bool isRank1Or8( Square sq ) {\n"

" sq &= 0x38;\n"

" return sq == 0 || sq == 0x38;\n"

" }\n"

"};\n"

"void foo() {\n"

" assert( !SquarePack::isRank1Or8(push2) );\n"

"}");

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

check("struct SquarePack {\n"

" static bool isRank1Or8( Square &sq ) {\n"

" sq &= 0x38;\n"

" return sq == 0 || sq == 0x38;\n"

" }\n"

"};\n"

"void foo() {\n"

" assert( !SquarePack::isRank1Or8(push2) );\n"

"}");

ASSERT_EQUALS("[test.cpp:8]: (warning) Assert statement calls a function which may have desired side effects: 'isRank1Or8'.\n", errout.str());

check("struct SquarePack {\n"

" static bool isRank1Or8( Square *sq ) {\n"

" *sq &= 0x38;\n"

" return *sq == 0 || *sq == 0x38;\n"

" }\n"

"};\n"

"void foo() {\n"

" assert( !SquarePack::isRank1Or8(push2) );\n"

"}");

ASSERT_EQUALS("[test.cpp:8]: (warning) Assert statement calls a function which may have desired side effects: 'isRank1Or8'.\n", errout.str());

check("struct SquarePack {\n"

" static bool isRank1Or8( Square *sq ) {\n"

" sq &= 0x38;\n"

" return sq == 0 || sq == 0x38;\n"

" }\n"

"};\n"

"void foo() {\n"

" assert( !SquarePack::isRank1Or8(push2) );\n"

"}");

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

}

void memberFunctionCallInAssert() {

check("struct SquarePack {\n"

" void Foo();\n"

"};\n"

"void foo(SquarePack s) {\n"

" assert( s.Foo() );\n"

"}");

ASSERT_EQUALS("[test.cpp:5]: (warning) Assert statement calls a function which may have desired side effects: 'Foo'.\n", errout.str());

check("struct SquarePack {\n"

" void Foo() const;\n"

"};\n"

"void foo(SquarePack* s) {\n"

" assert( s->Foo() );\n"

"}");

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

check("struct SquarePack {\n"

" static void Foo();\n"

"};\n"

"void foo(SquarePack* s) {\n"

" assert( s->Foo() );\n"

"}");

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

check("struct SquarePack {\n"

"};\n"

"void foo(SquarePack* s) {\n"

" assert( s->Foo() );\n"

"}");

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

}

void assignmentInAssert() {

check("void f() {\n"

" int a; a = 0;\n"

" assert(a = 2);\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (warning) Assert statement modifies 'a'.\n", errout.str());

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

" assert(a == 2);\n"

" return a;\n"

"}");

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

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

" assert(a == 2 && (b = 1));\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:2]: (warning) Assert statement modifies 'b'.\n", errout.str());

check("void f() {\n"

" int a; a = 0;\n"

" assert(a += 2);\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (warning) Assert statement modifies 'a'.\n", errout.str());

check("void f() {\n"

" int a; a = 0;\n"

" assert(a *= 2);\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (warning) Assert statement modifies 'a'.\n", errout.str());

check("void f() {\n"

" int a; a = 0;\n"

" assert(a -= 2);\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (warning) Assert statement modifies 'a'.\n", errout.str());

check("void f() {\n"

" int a = 0;\n"

" assert(a--);\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (warning) Assert statement modifies 'a'.\n", errout.str());

check("void f() {\n"

" int a = 0;\n"

" assert(--a);\n"

" return a;\n"

"}");

ASSERT_EQUALS("[test.cpp:3]: (warning) Assert statement modifies 'a'.\n", errout.str());

check("void f() {\n"

" assert(std::all_of(first, last, []() {\n"

" auto tmp = x.someValue();\n"

" auto const expected = someOtherValue;\n"

" return tmp == expected;\n"

" }));\n"

"}");

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

}

void crash() {

check("void foo() {\n"

" assert(sizeof(struct { int a[x++]; })==sizeof(int));\n"

"}");

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

}