Evaluate __builtin_ffs{,l,ll} over constants at compile time#5740

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:ffs-compile-timetautschnig/cbmc:ffs-compile-timeCopy head branch name to clipboard