Skip to content

Commit 47bb871

Browse files
committed
Remove no-op handling of non-existent dynamic_size expression
There is no code that creates an expression with id "dynamic_size" and the three places handling this id just did nothing.
1 parent 648b8e3 commit 47bb871

File tree

3 files changed

+0
-5
lines changed

3 files changed

+0
-5
lines changed

src/analyses/invariant_set.cpp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1014,9 +1014,6 @@ void invariant_sett::modifies(const exprt &lhs)
10141014
else if(lhs.id()=="valid_object")
10151015
{
10161016
}
1017-
else if(lhs.id()=="dynamic_size")
1018-
{
1019-
}
10201017
else if(lhs.id()==ID_byte_extract_little_endian ||
10211018
lhs.id()==ID_byte_extract_big_endian)
10221019
{

src/pointer-analysis/value_set.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1391,7 +1391,6 @@ void value_sett::assign_rec(
13911391
add_to_sets);
13921392
}
13931393
else if(lhs.id()=="valid_object" ||
1394-
lhs.id()=="dynamic_size" ||
13951394
lhs.id()=="dynamic_type" ||
13961395
lhs.id()=="is_zero_string" ||
13971396
lhs.id()=="zero_string" ||

src/pointer-analysis/value_set_fi.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1219,7 +1219,6 @@ void value_set_fit::assign_rec(
12191219
recursion_set);
12201220
}
12211221
else if(lhs.id()=="valid_object" ||
1222-
lhs.id()=="dynamic_size" ||
12231222
lhs.id()=="dynamic_type")
12241223
{
12251224
// we ignore this here

0 commit comments

Comments
 (0)