move assignment to rl::var content

[sgang...@gmail.com]

Is it possible to move assign to rl::var?

e.g.

rl::var<std::unique_ptr<int>> = std::make_unique<int>(1)

or

rl::var<std::unique_ptr<int>> = std::move(another_uptr)

An attempt to do this resulted in

relacy/var.hpp: In instantiation of ‘T rl::var_proxy<T>::operator=(T) [with T = std::unique_ptr<int, std::default_delete<int > >]’:
...
/home/samik/relacy/relacy/context.hpp:454:18:   required from here
/home/samik/relacy/relacy/var.hpp:100:9: error: use of deleted function ‘std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int >]’
         store(value);

Samik

[Dmitry Vyukov]

On Fri, Jul 5, 2019 at 1:05 PM <sgang...@gmail.com> wrote:
>
> Is it possible to move assign to rl::var?

Hi Samik,

Since it fails to build, I guess you already know answer to your question ;)
Using raw pointers is known to work.

[sgang...@gmail.com]

Any chance of creating a rvalue overload for load/store?

[Dmitry Vyukov]

On Fri, Jul 5, 2019 at 1:38 PM <sgang...@gmail.com> wrote:
>
> Any chance of creating a rvalue overload for load/store?

At this point relacy is in weak maintenance mode on my side
(unfortunately). That's the reason for the move to github. If you want
to send a PR (with a test), that's welcome.