C front-end: recognize __builtin_inff() as constant expression#8775
Merged
kroening merged 1 commit intodiffblue:developfrom Dec 1, 2025
Merged
C front-end: recognize __builtin_inff() as constant expression#8775kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
