From 47bb87138c1821ba5a98fba7d4561fbc7a778dd8 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 6 May 2021 10:29:24 +0000 Subject: [PATCH] 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. --- src/analyses/invariant_set.cpp | 3 --- src/pointer-analysis/value_set.cpp | 1 - src/pointer-analysis/value_set_fi.cpp | 1 - 3 files changed, 5 deletions(-) diff --git a/src/analyses/invariant_set.cpp b/src/analyses/invariant_set.cpp index 0ba613ef166..50bfbd241b4 100644 --- a/src/analyses/invariant_set.cpp +++ b/src/analyses/invariant_set.cpp @@ -1014,9 +1014,6 @@ void invariant_sett::modifies(const exprt &lhs) else if(lhs.id()=="valid_object") { } - else if(lhs.id()=="dynamic_size") - { - } else if(lhs.id()==ID_byte_extract_little_endian || lhs.id()==ID_byte_extract_big_endian) { diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp index bc3d8b56753..009b6549ea0 100644 --- a/src/pointer-analysis/value_set.cpp +++ b/src/pointer-analysis/value_set.cpp @@ -1391,7 +1391,6 @@ void value_sett::assign_rec( add_to_sets); } else if(lhs.id()=="valid_object" || - lhs.id()=="dynamic_size" || lhs.id()=="dynamic_type" || lhs.id()=="is_zero_string" || lhs.id()=="zero_string" || diff --git a/src/pointer-analysis/value_set_fi.cpp b/src/pointer-analysis/value_set_fi.cpp index f5c9d454747..021a35c2371 100644 --- a/src/pointer-analysis/value_set_fi.cpp +++ b/src/pointer-analysis/value_set_fi.cpp @@ -1219,7 +1219,6 @@ void value_set_fit::assign_rec( recursion_set); } else if(lhs.id()=="valid_object" || - lhs.id()=="dynamic_size" || lhs.id()=="dynamic_type") { // we ignore this here