sync with frama-c master

1 job for master in 46 minutes and 33 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #384873
docker
build

00:46:33