- self.visit(handle.type, lvalue, handle_entry(handle, rvalue));
- print ' if (retrace::verbosity >= 2)'
- print ' std::cout << "%s " << static_cast<%s>(%s) << " <- " << %s << "\\n";' % (handle.name, handle.type, rvalue, lvalue)
+ OpaqueValueExtractor().visit(handle.type, lvalue, rvalue);
+ new_lvalue = handle_entry(handle, lvalue)
+ print ' if (retrace::verbosity >= 2) {'
+ print ' std::cout << "%s " << size_t(%s) << " <- " << size_t(%s) << "\\n";' % (handle.name, lvalue, new_lvalue)
+ print ' }'
+ print ' %s = %s;' % (lvalue, new_lvalue)