https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119292
--- Comment #4 from Sam James <sjames at gcc dot gnu.org> --- There was a GSoC project last year for better nothrow propagation as well (not for throw cloning though), see devel/nothrow-detection (not finished).
