https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61725
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 33080 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33080&action=edit gcc410-pr61725.patch The easiest fix is IMHO to change builtins.def to match documentation. Another possibility would be to write a different check for BUILT_IN_FFS* when checking for ranges that don't include zero.