https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86136
Navid Rahimi <navidrahimi at microsoft dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |navidrahimi at microsoft dot
com
--- Comment #4 from Navid Rahimi <navidrahimi at microsoft dot com> ---
We can close this bug. Transformation doesn't verify!
Codegen:
https://compiler-explorer.com/z/Waoz4qaz6
Proof:
https://alive2.llvm.org/ce/z/5H9ahK
