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

ExprEngine: Sign extension in truncateValue

This commit is contained in:
Daniel Marjamäki 2019-09-24 20:31:12 +02:00
parent 0471e74489
commit 7cf8327b31
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/exprengine.cpp
View File

@ -508,11 +508,12 @@ static ExprEngine::ValuePtr truncateValue(ExprEngine::ValuePtr val, const ValueT
return val;
if (auto range = std::dynamic_pointer_cast<ExprEngine::IntRange>(val)) {
if (range->minValue == range->maxValue) {
int128_t newValue = range->minValue;
newValue = newValue & (((int128_t)1 << bits) - 1);
// TODO: Sign extension
// Sign extension
if (valueType->sign == ValueType::Sign::SIGNED && newValue & (1ULL << (bits - 1)))
newValue |= ~(((int128_t)1 << bits) - 1);
if (newValue == range->minValue)
return val;
return std::make_shared<ExprEngine::IntRange>(ExprEngine::str(newValue), newValue, newValue);