Dear Gnuplot developers,
the following bug has been reported on Debian Bug-Tracker. I would like you to ask to have a look [1] at it.
========================
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
========================
[1] https://bugs.debian.org/748966
Thank you
Anton
Sorry for not logging-in reporting this bug.
bf_test has been rewritten for version 5 so that it no longer references any other gnuplot files or terminal libraries.