replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update all constant offsets, not just 0

This commit is contained in:
Michael Tautschnig 2017-01-01 22:36:17 +00:00 committed by Michael Tautschnig
parent 0361c2af6d
commit c507ccfd00
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/pointer-analysis/value_set.cpp
View File

@ -631,8 +631,8 @@ void value_sett::get_value_set_rec(
objectt object=it->second;
// adjust by offset
if(object.offset_is_zero() && i_is_set)
object.offset=i;
if(object.offset_is_set && i_is_set)
object.offset+=i;
else
object.offset_is_set=false;
@ -1005,7 +1005,7 @@ void value_sett::get_reference_set_rec(
{
}
else if(!to_integer(offset, i) &&
o.offset_is_zero())
o.offset_is_set)
{
mp_integer size=pointer_offset_size(array_type.subtype(), ns);