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

type simplify_concatenation 

This improves type safety.
This commit is contained in:
Daniel Kroening 2019-07-13 06:34:04 -04:00
parent be1f6fa7dd
commit 488e4ef113
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/util/simplify_expr.cpp
View File

@ -2354,7 +2354,7 @@ bool simplify_exprt::simplify_node(exprt &expr)
}
else if(expr.id()==ID_concatenation)
{
r = simplify_concatenation(expr);
r = simplify_concatenation(to_concatenation_expr(expr));
}
else if(expr.id()==ID_extractbits)
{

3
src/util/simplify_expr_class.h
View File

@ -34,6 +34,7 @@ class bitnot_exprt;
class bswap_exprt;
class byte_extract_exprt;
class byte_update_exprt;
class concatenation_exprt;
class dereference_exprt;
class div_exprt;
class exprt;
@ -136,7 +137,7 @@ public:
NODISCARD resultt<> simplify_typecast(const typecast_exprt &);
NODISCARD resultt<> simplify_extractbit(const extractbit_exprt &);
NODISCARD resultt<> simplify_extractbits(const extractbits_exprt &);
NODISCARD resultt<> simplify_concatenation(const exprt &);
NODISCARD resultt<> simplify_concatenation(const concatenation_exprt &);
NODISCARD resultt<> simplify_mult(const mult_exprt &);
NODISCARD resultt<> simplify_div(const div_exprt &);
NODISCARD resultt<> simplify_mod(const mod_exprt &);

2
src/util/simplify_expr_int.cpp
View File

@ -801,7 +801,7 @@ simplify_exprt::simplify_extractbit(const extractbit_exprt &expr)
}
simplify_exprt::resultt<>
simplify_exprt::simplify_concatenation(const exprt &expr)
simplify_exprt::simplify_concatenation(const concatenation_exprt &expr)
{
bool no_change = true;