Package: dialign Version: 2.2.1-6 Severity: wishlist Usertags: goto-cc During an analysis of all packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found:
The definition of erreur in pratique.c: http://sources.debian.net/src/dialign/2.2.1-6/src/pratique.c?hl=7#L7 names exactly 1 argument, but 2 arguments are being passed in one instance: http://sources.debian.net/src/dialign/2.2.1-6/src/input.c?hl=374#L374 This call may stem from a version before a refactoring and should be fixed to avoid (here) unhelpful error messages. Best, Michael
pgpR0fptCiXGD.pgp
Description: PGP signature
