https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61118
--- Comment #16 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- I think the -Wclobbered warning probably needs to be reimplemented on GIMPLE, in a way that actually looks at whether it's possible for a variable to be set after the returns-twice call and before the variable goes out of scope, but without depending on the variable being assigned to a pseudo and basing things on the properties of that pseudo.