Don't use void_type() outside the C/C++ front-end

tautschnig · tautschnig · commit 3e4eebe8a2c9 · 2019-02-06T15:08:56.000Z
Use empty_typet as done in all other places.
diff --git a/src/solvers/flattening/bv_pointers.cpp b/src/solvers/flattening/bv_pointers.cpp
@@ -86,7 +86,7 @@ bv_pointerst::bv_pointerst(
   pointer_logic(_ns)
 {
   object_bits=config.bv_encoding.object_bits;
-  std::size_t pointer_width=boolbv_width(pointer_type(void_type()));
+  std::size_t pointer_width = boolbv_width(pointer_type(empty_typet()));
   offset_bits=pointer_width-object_bits;
   bits=pointer_width;
 }

Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,7 @@ bv_pointerst::bv_pointerst(`
`86`	`86`	`pointer_logic(_ns)`
`87`	`87`	`{`
`88`	`88`	`object_bits=config.bv_encoding.object_bits;`
`89`		`- std::size_t pointer_width=boolbv_width(pointer_type(void_type()));`
	`89`	`+ std::size_t pointer_width = boolbv_width(pointer_type(empty_typet()));`
`90`	`90`	`offset_bits=pointer_width-object_bits;`
`91`	`91`	`bits=pointer_width;`
`92`	`92`	`}`