Package: ggobi Version: 2.1.11-1 Usertags: goto-cc Tags: patch Severity: minor
During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found: The definition of barchartRulerRangesSet does not match its declaration at http://sources.debian.net/src/ggobi/2.1.11-1/src/barchartClass.c/?hl=61#L61 The attached patch fixes this problem. Best, Michael
diff -urN a/src/barchart.c b/src/barchart.c
--- a/src/barchart.c 2015-04-02 00:10:25.000000000 +0100
+++ b/src/barchart.c 2015-04-02 00:11:55.000000000 +0100
@@ -1639,6 +1639,10 @@
}
void
-barchartRulerRangesSet ( ) {
+barchartRulerRangesSet (gboolean a, displayd * b, splotd * c, ggobid * d) {
// Do nothing!
+ (void)a;
+ (void)b;
+ (void)c;
+ (void)d;
}
pgpDO6jc8Dh1M.pgp
Description: PGP signature
