https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106811
Nuno Lopes <nunoplopes at sapo dot pt> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |nunoplopes at sapo dot pt
--- Comment #1 from Nuno Lopes <nunoplopes at sapo dot pt> ---
I suggest adopting the concept of poison that LLVM has. It allows operations to
have undefined behavior, while still allow them to be moved freely.
I have some slides that may serve as an introduction to the topic:
https://web.ist.utl.pt/nuno.lopes/pres/ub-vmcai19.pdf
Happy to discuss further.
