CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard

compiling with -g on MacOS AArch64 leads to linking warnings

Open monniaux opened this issue 2 years ago • 0 comments

The linker complains

ld: warning: can't parse dwarf compilation unit info

about programs compiled with -g

monniaux avatar Apr 03 '23 16:04 monniaux