Merge pull request diffblue#2379 from tautschnig/fix-bswap

Daniel Kroening · web-flow · commit c509ece1c106 · 2018-06-21T12:52:58.000+01:00
Fix bswap_exprt constructor
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -512,9 +512,10 @@ class bswap_exprt: public unary_exprt
     set_bits_per_byte(bits_per_byte);
   }
 
-  explicit bswap_exprt(const exprt &_op, std::size_t &_bits_per_byte)
+  bswap_exprt(const exprt &_op, std::size_t bits_per_byte)
     : unary_exprt(ID_bswap, _op, _op.type())
   {
+    set_bits_per_byte(bits_per_byte);
   }
 
   std::size_t get_bits_per_byte() const

Original file line number	Diff line number	Diff line change
`@@ -512,9 +512,10 @@ class bswap_exprt: public unary_exprt`
`512`	`512`	`set_bits_per_byte(bits_per_byte);`
`513`	`513`	`}`
`514`	`514`
`515`		`- explicit bswap_exprt(const exprt &_op, std::size_t &_bits_per_byte)`
	`515`	`+ bswap_exprt(const exprt &_op, std::size_t bits_per_byte)`
`516`	`516`	`: unary_exprt(ID_bswap, _op, _op.type())`
`517`	`517`	`{`
	`518`	`+ set_bits_per_byte(bits_per_byte);`
`518`	`519`	`}`
`519`	`520`
`520`	`521`	`std::size_t get_bits_per_byte() const`