2022-06-29 20:24 ftp://ftp.de.debian.org/debian/pool/main/m/mirrormagic/mirrormagic_3.0.0+dfsg2.orig.tar.gz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp -j4 platform: Linux-5.10.0-15-amd64-x86_64-with-glibc2.31 python: 3.9.2 client-version: 1.3.25 compiler: g++ (Debian 10.2.1-6) 10.2.1 20210110 cppcheck: head 2.8 head-info: 06b408e (2022-06-29 13:43:17 +0200) count: TO! TO! elapsed-time: 1800.1 1800.0 head-timing-info: old-timing-info: head results: temp/mirrormagic-3.0.0/src/game.c:0:0: error: Internal error: Child process crashed with signal 15 [cppcheckError] DONE