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

SymbolDatabase: expand usage of ValueType::matchParameter for non-pointer variables

This commit is contained in:
Daniel Marjamäki 2019-07-29 18:46:50 +02:00
parent 3066c0653c
commit 9e738db435
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/symboldatabase.cpp
View File

@ -5903,15 +5903,15 @@ ValueType::MatchResult ValueType::matchParameter(const ValueType *call, const Va
{ {
if (!call || !func) if (!call || !func)
return ValueType::MatchResult::UNKNOWN; return ValueType::MatchResult::UNKNOWN;
if (call->pointer == 0 || call->pointer != func->pointer) if (call->pointer != func->pointer)
return ValueType::MatchResult::UNKNOWN; // TODO return ValueType::MatchResult::UNKNOWN; // TODO
if ((call->constness | func->constness) != func->constness) if ((call->constness | func->constness) != func->constness)
return ValueType::MatchResult::UNKNOWN; return ValueType::MatchResult::UNKNOWN;
if (func->sign != func->sign) if (call->sign != func->sign)
return ValueType::MatchResult::UNKNOWN; // TODO return ValueType::MatchResult::UNKNOWN; // TODO
if (call->type != func->type) if (call->type != func->type)
return ValueType::MatchResult::UNKNOWN; // TODO return ValueType::MatchResult::UNKNOWN; // TODO
if (func->type < ValueType::Type::VOID) if (func->type < ValueType::Type::VOID || func->type == ValueType::Type::UNKNOWN_INT)
return ValueType::MatchResult::UNKNOWN; return ValueType::MatchResult::UNKNOWN;
return ValueType::MatchResult::SAME; return ValueType::MatchResult::SAME;