ambiguity

Daniel Kroening · Daniel Kroening · commit 25539f3067ae · 2016-09-22T14:47:03.000+01:00
diff --git a/src/cegis/control/value/float_helper.cpp b/src/cegis/control/value/float_helper.cpp
@@ -30,7 +30,7 @@ exprt to_control_float_expr(const symbol_tablet &st, double value)
   {
     const fixedbv_spect spec(to_fixedbv_type(data_type));
     const bool is_neg=value < 0.0;
-    const mp_integer factor=pow(2, spec.width);
+    const mp_integer factor=pow(mp_integer(2), spec.width);
     double abs_value=is_neg ? -value : value;
     const mp_integer::llong_t converted=factor.to_long() * abs_value;
     fixedbvt bv;

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,7 @@ exprt to_control_float_expr(const symbol_tablet &st, double value)`
`30`	`30`	`{`
`31`	`31`	`const fixedbv_spect spec(to_fixedbv_type(data_type));`
`32`	`32`	`const bool is_neg=value < 0.0;`
`33`		`- const mp_integer factor=pow(2, spec.width);`
	`33`	`+ const mp_integer factor=pow(mp_integer(2), spec.width);`
`34`	`34`	`double abs_value=is_neg ? -value : value;`
`35`	`35`	`const mp_integer::llong_t converted=factor.to_long() * abs_value;`
`36`	`36`	`fixedbvt bv;`