Use proper APIs to obtain bitvector type width

tautschnig · tautschnig · commit 18c6c1f6f07a · 2018-04-19T07:05:41.000+01:00
diff --git a/src/util/simplify_expr_int.cpp b/src/util/simplify_expr_int.cpp
@@ -1005,8 +1005,7 @@ bool simplify_exprt::simplify_shifts(exprt &expr)
   if(expr.op0().type().id()==ID_unsignedbv ||
      expr.op0().type().id()==ID_signedbv)
   {
-    mp_integer width=
-      string2integer(id2string(expr.op0().type().get(ID_width)));
+    const std::size_t width = to_bitvector_type(expr.op0().type()).get_width();
 
     if(expr.id()==ID_lshr)
     {

Original file line number	Diff line number	Diff line change
`@@ -1005,8 +1005,7 @@ bool simplify_exprt::simplify_shifts(exprt &expr)`
`1005`	`1005`	`if(expr.op0().type().id()==ID_unsignedbv \|\|`
`1006`	`1006`	`expr.op0().type().id()==ID_signedbv)`
`1007`	`1007`	`{`
`1008`		`- mp_integer width=`
`1009`		`- string2integer(id2string(expr.op0().type().get(ID_width)));`
	`1008`	`+ const std::size_t width = to_bitvector_type(expr.op0().type()).get_width();`
`1010`	`1009`
`1011`	`1010`	`if(expr.id()==ID_lshr)`
`1012`	`1011`	`{`