Merge branch 'feature/andre/libc-pcpy' into 'master'

synchronize with frama-c/frama-c!3257

See merge request frama-c/frama-clang!151
4 jobs for master
Status Name Job ID Coverage
  Git Update
failed git-update #424415
nix

 
  Tests
skipped tests-on-llvm-10 #424417
allowed to fail manual
skipped tests-on-llvm-11 #424418
nix
skipped tests-on-llvm-9 #424416
nix
 
Name Stage Failure
failed
git-update Git Update There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log