Use proper APIs to obtain bitvector type width

tautschnig · tautschnig · commit 4ea6c4c5067e · 2018-04-19T00:26:05.000Z
diff --git a/src/util/simplify_expr_int.cpp b/src/util/simplify_expr_int.cpp
@@ -1006,8 +1006,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
`@@ -1006,8 +1006,7 @@ bool simplify_exprt::simplify_shifts(exprt &expr)`
`1006`	`1006`	`if(expr.op0().type().id()==ID_unsignedbv \|\|`
`1007`	`1007`	`expr.op0().type().id()==ID_signedbv)`
`1008`	`1008`	`{`
`1009`		`- mp_integer width=`
`1010`		`- string2integer(id2string(expr.op0().type().get(ID_width)));`
	`1009`	`+ const std::size_t width = to_bitvector_type(expr.op0().type()).get_width();`
`1011`	`1010`
`1012`	`1011`	`if(expr.id()==ID_lshr)`
`1013`	`1012`	`{`