Remove redundant check in from_int_with_radix

romainbrenguier · romainbrenguier · commit e59349f61441 · 2017-10-28T18:43:50.000+01:00
diff --git a/src/solvers/refinement/string_constraint_generator_valueof.cpp b/src/solvers/refinement/string_constraint_generator_valueof.cpp
@@ -139,7 +139,7 @@ exprt string_constraint_generatort::add_axioms_from_int_with_radix(
   const exprt &radix,
   size_t max_size)
 {
-  PRECONDITION(max_size==0 || max_size<std::numeric_limits<size_t>::max());
+  PRECONDITION(max_size < std::numeric_limits<size_t>::max());
   const typet &type=input_int.type();
   PRECONDITION(type.id()==ID_signedbv);
 

Original file line number	Diff line number	Diff line change
`@@ -139,7 +139,7 @@ exprt string_constraint_generatort::add_axioms_from_int_with_radix(`
`139`	`139`	`const exprt &radix,`
`140`	`140`	`size_t max_size)`
`141`	`141`	`{`
`142`		`- PRECONDITION(max_size==0 \|\| max_size<std::numeric_limits<size_t>::max());`
	`142`	`+ PRECONDITION(max_size < std::numeric_limits<size_t>::max());`
`143`	`143`	`const typet &type=input_int.type();`
`144`	`144`	`PRECONDITION(type.id()==ID_signedbv);`
`145`	`145`