https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80075
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Really caused by r163947, exposed by some new folding. The issue is we do not see if the LHS may throw for *p = {} in stmt_could_throw. I have a patch.