Convert to signed type to make negation meaningful

tautschnig · tautschnig · commit 8b2bd7b849c9 · 2018-07-30T12:14:22.000+01:00
diff --git a/src/solvers/floatbv/float_approximation.cpp b/src/solvers/floatbv/float_approximation.cpp
@@ -48,7 +48,8 @@ void float_approximationt::normalization_shift(bvt &fraction, bvt &exponent)
     bv_utils.cond_implies_equal(shift, shifted_fraction, new_fraction);
 
     // build new exponent
-    bvt adjustment=bv_utils.build_constant(-i, exponent.size());
+    bvt adjustment =
+      bv_utils.build_constant(-static_cast<int>(i), exponent.size());
     bvt added_exponent=bv_utils.add(exponent, adjustment);
     bv_utils.cond_implies_equal(shift, added_exponent, new_exponent);
   }

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,8 @@ void float_approximationt::normalization_shift(bvt &fraction, bvt &exponent)`
`48`	`48`	`bv_utils.cond_implies_equal(shift, shifted_fraction, new_fraction);`
`49`	`49`
`50`	`50`	`// build new exponent`
`51`		`- bvt adjustment=bv_utils.build_constant(-i, exponent.size());`
	`51`	`+ bvt adjustment =`
	`52`	`+ bv_utils.build_constant(-static_cast<int>(i), exponent.size());`
`52`	`53`	`bvt added_exponent=bv_utils.add(exponent, adjustment);`
`53`	`54`	`bv_utils.cond_implies_equal(shift, added_exponent, new_exponent);`
`54`	`55`	`}`