Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
cfrontend
C2C.ml
Find file
Blame
History
Permalink
Move declarations of __builtin_clz* and __builtin_ctz* to C2C.ml
· bc20d7c0
Xavier Leroy
authored
Jul 25, 2020
These functions are now available on all targets.
bc20d7c0