Package: rdist Version: 6.1.5-18 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 declaration of docmds in src/docmd.c http://sources.debian.net/src/rdist/6.1.5-18/src/docmd.c?hl=960#L960 names 3 required arguments, but 4 are being passed here: http://sources.debian.net/src/rdist/6.1.5-18/src/rdist.c?hl=432#L432 This may point at some incomplete refactoring that should be easy to fix. Best, Michael
pgprzVN11yNrK.pgp
Description: PGP signature
