parent
0ddd7752b5
commit
3169a2d215
|
@ -1274,7 +1274,7 @@ void CheckBufferOverrun::checkStructVariable()
|
|||
ArrayInfo temp = arrayInfo;
|
||||
temp.declarationId(0); // do variable lookup by variable and member names rather than varid
|
||||
std::string varnames; // use class and member name for messages
|
||||
for (std::size_t k = 0; k < varname.size(); ++k)
|
||||
for (std::size_t k = 0; k < varname.size(); ++k)
|
||||
varnames += (k == 0 ? "" : ".") + varname[k];
|
||||
|
||||
temp.varname(varnames);
|
||||
|
@ -1661,7 +1661,7 @@ CheckBufferOverrun::ArrayInfo CheckBufferOverrun::ArrayInfo::limit(MathLib::bigi
|
|||
{
|
||||
MathLib::bigint uvalue = std::max(MathLib::bigint(0), value);
|
||||
MathLib::bigint n = 1;
|
||||
for (std::size_t i = 0; i < _num.size(); ++i)
|
||||
for (std::size_t i = 0; i < _num.size(); ++i)
|
||||
n *= _num[i];
|
||||
if (uvalue > n)
|
||||
n = uvalue;
|
||||
|
|
|
@ -67,7 +67,7 @@ private:
|
|||
TEST_CASE(uninitvar2_while);
|
||||
TEST_CASE(uninitvar2_4494); // #4494
|
||||
TEST_CASE(uninitvar2_malloc); // malloc returns uninitialized data
|
||||
TEST_CASE(uninitvar7); // ticket #5971
|
||||
TEST_CASE(uninitvar7); // ticket #5971
|
||||
|
||||
TEST_CASE(syntax_error); // Ticket #5073
|
||||
|
||||
|
@ -2636,17 +2636,17 @@ private:
|
|||
ASSERT_EQUALS("[test.c:4]: (error) Uninitialized variable: ab\n", errout.str());
|
||||
}
|
||||
|
||||
void uninitvar7() {
|
||||
void uninitvar7() {
|
||||
const char code[] = "void eDBauth_user() {\n"
|
||||
" char *blid_cert;\n"
|
||||
" if( ) {\n"
|
||||
" blid_cert = ;\n"
|
||||
" } \n"
|
||||
"}\n";
|
||||
" char *blid_cert;\n"
|
||||
" if( ) {\n"
|
||||
" blid_cert = ;\n"
|
||||
" } \n"
|
||||
"}\n";
|
||||
|
||||
// Assume dfs is a non POD type if file is C++
|
||||
checkUninitVar2(code, "test.cpp");
|
||||
}
|
||||
}
|
||||
|
||||
// Handling of function calls
|
||||
void uninitvar2_func() {
|
||||
|
|
Loading…
Reference in New Issue