lager icon indicating copy to clipboard operation
lager copied to clipboard

Use-after-move UB in lenses

Open Siapran opened this issue 4 years ago • 2 comments

Observed in optional.hpp, using bind_opt in a lager::set caused a use-after-move UB, resulting in a default constructed whole being written back.

Siapran avatar Sep 02 '20 20:09 Siapran

Hmmm :thinking: Do you know how to fix it?

arximboldi avatar Sep 05 '20 13:09 arximboldi

I wasn't able to do much past just disabling moves for whole in the case where it has a value...

Siapran avatar Sep 05 '20 13:09 Siapran