https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91398
--- Comment #5 from rguenther at suse dot de <rguenther at suse dot de> --- On August 10, 2019 4:22:25 AM GMT+02:00, peter at cordes dot ca <gcc-bugzi...@gcc.gnu.org> wrote: >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91398 > >Peter Cordes <peter at cordes dot ca> changed: > > What |Removed |Added >---------------------------------------------------------------------------- > CC| |peter at cordes dot ca > >--- Comment #4 from Peter Cordes <peter at cordes dot ca> --- >If so, restrict would make this optimization safe if we can prove that >do_something is "noexcept" and doesn't longjmp. Yes.
