Do not shadow "value"

tautschnig · tautschnig · commit 1883da9b60b2 · 2019-01-04T15:11:19.000Z
Rename the mp_integer-typed variant to "int_value."
diff --git a/src/solvers/smt2/smt2_format.cpp b/src/solvers/smt2/smt2_format.cpp
@@ -54,9 +54,9 @@ std::ostream &smt2_format_rec(std::ostream &out, const exprt &expr)
     {
       const std::size_t width = to_unsignedbv_type(expr_type).get_width();
 
-      const auto value = numeric_cast_v<mp_integer>(expr);
+      const auto int_value = numeric_cast_v<mp_integer>(expr);
 
-      out << "(_ bv" << value << " " << width << ")";
+      out << "(_ bv" << int_value << " " << width << ")";
     }
     else if(expr_type.id() == ID_bool)
     {

Original file line number	Diff line number	Diff line change
`@@ -54,9 +54,9 @@ std::ostream &smt2_format_rec(std::ostream &out, const exprt &expr)`
`54`	`54`	`{`
`55`	`55`	`const std::size_t width = to_unsignedbv_type(expr_type).get_width();`
`56`	`56`
`57`		`- const auto value = numeric_cast_v<mp_integer>(expr);`
	`57`	`+ const auto int_value = numeric_cast_v<mp_integer>(expr);`
`58`	`58`
`59`		`- out << "(_ bv" << value << " " << width << ")";`
	`59`	`+ out << "(_ bv" << int_value << " " << width << ")";`
`60`	`60`	`}`
`61`	`61`	`else if(expr_type.id() == ID_bool)`
`62`	`62`	`{`