CompCert
CompCert copied to clipboard
compiling with -g on MacOS AArch64 leads to linking warnings
The linker complains
ld: warning: can't parse dwarf compilation unit info
about programs compiled with -g