Align floating-point predicates across float_utilst and float_bvt#8988

Open

tautschnig wants to merge 3 commits into

diffblue:developfrom

tautschnig:float-predicates

Commits on May 28, 2026

ansi-c: handle __builtin_isfinite and __builtin_finite{,f,l}

tautschnig
and
kiro-agent
committed
boolbv: fix fixedbv-type check in convert_rest for ID_isfinite

tautschnig
and
kiro-agent
committed
Align floating-point predicates across float_utilst and float_bvt

tautschnig
and
kiro-agent
committed