https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90380
--- Comment #1 from Victor <vsande at cimne dot upc.edu> --- Sorry, the command to launch the docker container has an extra `gcov` at the end. To correctly launch the container, please use this command: $ docker run --rm -ti fempar/fempar:gnu-8.3.0_gcov-issue Best, VĂctor