Bug#748966: Excess argument in call to function int_error

[Michael Tautschnig]

Package: gnuplot
Version: 4.6.5-1
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 int_error in bf_test.c does not take a variable number of
arguments:

http://sources.debian.net/src/gnuplot/4.6.5-1/src/bf_test.c?hl=49#L49

Unlike its non-stub part:

http://sources.debian.net/src/gnuplot/4.6.5-1/src/util.c?hl=980,983#L978

Even though only part of a test case, it would be nice to fix this in order to
avoid unhelpful error messages, as gp_alloc/gp_realloc now cause excess
arguments.

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-science-maintainers/attachments/20140522/d6b24ddc/attachment.sig>