On Mon, 2024-07-15 at 15:53 +0800, Lulu Cheng wrote: > Hi, > > g++.dg/opt/pr107569.C and range-sincos.c vrp-float-abs-1.c is the same > issue, right? > > And I have no objection to code modifications. But I think it's better > to wait until this builtin > > function is fixed.
Oops https://gcc.gnu.org/pipermail/gcc-patches/2024-July/656937.html won't be enough for pr107569.C. For pr107569.C I guess we need to add range ops for __builtin_isfinite but the patch only handles __builtin_isinf. -- Xi Ruoyao <xry...@xry111.site> School of Aerospace Science and Technology, Xidian University