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.