synchronize with frama-c master

1 job for master in 60 minutes and 6 seconds (queued for 9 seconds)
Status Name Job ID Coverage
  Test
failed build #436271
docker

01:00:06

 
Name Stage Failure
failed
build Test
-       create_outfile :: gzip.c:799 <-
- treat_file :: gzip.c:593 <-
- main :: fc_stubs.c:21 <-
- eva_main
gzip.c:1747:[nonterm:unreachable] warning: unreachable return
inflate.c:412:[nonterm:stmt] warning: non-terminating statement
stack 1: huft_build :: inflate.c:763 <-
Cleaning up file based variables
ERROR: Job failed: exit code 1