walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Fixed #4929 (false positive: Division by zero (standard function div()))

This commit is contained in:
Daniel Marjamäki 2013-09-22 09:52:12 +02:00
parent 5c4c397372
commit 027e5cc860
2 changed files with 21 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/checkother.cpp
View File

@ -2142,9 +2142,9 @@ void CheckOther::checkZeroDivision()
MathLib::isInt(tok->next()->str()) && MathLib::isInt(tok->next()->str()) &&
MathLib::toLongNumber(tok->next()->str()) == 0L) { MathLib::toLongNumber(tok->next()->str()) == 0L) {
zerodivError(tok); zerodivError(tok);
} else if (Token::Match(tok, "div|ldiv|lldiv|imaxdiv ( %num% , %num% )") && } else if (Token::Match(tok, "std :: div|ldiv|lldiv|imaxdiv ( %num% , %num% )") &&
MathLib::isInt(tok->strAt(4)) && MathLib::isInt(tok->strAt(6)) &&
MathLib::toLongNumber(tok->strAt(4)) == 0L) { MathLib::toLongNumber(tok->strAt(6)) == 0L) {
zerodivError(tok); zerodivError(tok);
} }
} }

31
test/testother.cpp
View File

@ -336,9 +336,26 @@ private:
void zeroDiv3() { void zeroDiv3() {
check("void f()\n" check("void f()\n"
"{\n" "{\n"
" div_t divresult = div (1,0);\n" " div_t divresult = std::div (1,0);\n"
"}"); "}");
ASSERT_EQUALS("[test.cpp:3]: (error) Division by zero.\n", errout.str()); ASSERT_EQUALS("[test.cpp:3]: (error) Division by zero.\n", errout.str());
check("void f()\n"
"{\n"
" div_t divresult = std::div (1,0L);\n"
"}");
ASSERT_EQUALS("[test.cpp:3]: (error) Division by zero.\n", errout.str());
check("void f()\n"
"{\n"
" div_t divresult = std::div (1,0x5);\n"
"}");
ASSERT_EQUALS("", errout.str());
check("void f() {\n" // #4929 - we don't know if this "div" is the standard function
" div (1,0);\n"
"}");
ASSERT_EQUALS("", errout.str());
} }
void zeroDiv4() { void zeroDiv4() {
@ -366,18 +383,6 @@ private:
"}"); "}");
ASSERT_EQUALS("[test.cpp:3]: (error) Division by zero.\n", errout.str()); ASSERT_EQUALS("[test.cpp:3]: (error) Division by zero.\n", errout.str());
check("void f()\n"
"{\n"
" div_t divresult = div (1,0L);\n"
"}");
ASSERT_EQUALS("[test.cpp:3]: (error) Division by zero.\n", errout.str());
check("void f()\n"
"{\n"
" div_t divresult = div (1,0x5);\n"
"}");
ASSERT_EQUALS("", errout.str());
// Don't warn about floating points (gcc doesn't warn either) // Don't warn about floating points (gcc doesn't warn either)
// and floating points are handled differently than integers. // and floating points are handled differently than integers.
check("void f()\n" check("void f()\n"