Merge pull request #3303 from chrisr-diffblue/throw-fix

Daniel Kroening · web-flow · commit 716ffec8b93c · 2018-11-09T21:30:31.000Z
Insert missing "throw" keyword
diff --git a/src/solvers/flattening/boolbv_width.cpp b/src/solvers/flattening/boolbv_width.cpp
@@ -153,7 +153,7 @@ const boolbv_widtht::entryt &boolbv_widtht::get_entry(const typet &type) const
 
     mp_integer total = vector_size * sub_width;
     if(total > (1 << 30)) // realistic limit
-      analysis_exceptiont("vector too large for flattening");
+      throw analysis_exceptiont("vector too large for flattening");
 
     entry.total_width = numeric_cast_v<std::size_t>(vector_size * sub_width);
   }

Original file line number	Diff line number	Diff line change
`@@ -153,7 +153,7 @@ const boolbv_widtht::entryt &boolbv_widtht::get_entry(const typet &type) const`
`153`	`153`
`154`	`154`	`mp_integer total = vector_size * sub_width;`
`155`	`155`	`if(total > (1 << 30)) // realistic limit`
`156`		`- analysis_exceptiont("vector too large for flattening");`
	`156`	`+ throw analysis_exceptiont("vector too large for flattening");`
`157`	`157`
`158`	`158`	`entry.total_width = numeric_cast_v<std::size_t>(vector_size * sub_width);`
`159`	`159`	`}`