- if (_dev_inst)
- _device_manager.release_device(_dev_inst);
- if (dev_inst)
- _device_manager.use_device(dev_inst, this);
+ shared_ptr<Device> old_device(dynamic_pointer_cast<Device>(_dev_inst));
+ if (old_device)
+ _device_manager.release_device(old_device);
+
+ shared_ptr<Device> new_device(dynamic_pointer_cast<Device>(dev_inst));
+ if (new_device)
+ _device_manager.use_device(new_device, this);
+