use code_blockt::add and ::move for adding a statement#3067

Merged

kroening merged 4 commits intodevelopfrom

code_block_move_add_partial

Oct 7, 2018

Commits on Oct 7, 2018

rvalue variants of exprt::copy_to_operands
Daniel Kroening
committed
rvalue variant of code_blockt::add
Daniel Kroening
committed
new constructors for code_blockt
Daniel Kroening
committed
use code_blockt::add and code_blockt constructor for adding a statement
Daniel Kroening
committed