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

Pointer overflow: Fixed false positive

This commit is contained in:
Daniel Marjamäki 2018-01-27 22:09:43 +01:00
parent 189e0b3890
commit 5b6ec49a6f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/checkbufferoverrun.cpp
View File

@ -1507,7 +1507,7 @@ void CheckBufferOverrun::bufferOverrun()
continue; continue;
const Variable *var = pointerToken->variable(); const Variable *var = pointerToken->variable();
if (!var || !var->isArray()) if (!var || !var->isArray() || var->dimension(0) <= 0)
continue; continue;
const ValueFlow::Value *value = indexToken->getValueGE(var->dimension(0)+1, _settings); const ValueFlow::Value *value = indexToken->getValueGE(var->dimension(0)+1, _settings);