https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106811
--- Comment #2 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 2 Nov 2022, nunoplopes at sapo dot pt wrote: > 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. I've seen this before but I don't really see how that manages to avoid issues when making conditional undefined behavior invoking stmts unconditional.
