https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122263
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=109112
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
ASSUME(__builtin_isfinite(pa[d]) && __builtin_isfinite(pb[d]));
ASSUME(pa[d] > 0 && pb[d] > 0);
These are not talken into account currently. See PR 109112
