[Debian-med-packaging] Bug#748212: Excess argument in call to function erreur

[Michael Tautschnig]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 859 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-med-packaging/attachments/20140515/e800da8e/attachment.sig>