Package: xfig Version: 1:3.2.5.c-4 Usertags: goto-cc Tags: patch During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found:
w_intersect.c defines do_circle_ellipse_intersect with 8 parameters; circle_ellipse_intersect, however, passes only 7 arguments when invoking do_circle_ellipse_intersect. The attached patch inserts this additional argument, assuming that it is ok not to pass an "arc" (do_circle_ellipse_intersect explicitly tests for arc being set). Best, Michael
diff -urN a/w_intersect.c b/w_intersect.c --- a/w_intersect.c 2015-08-15 23:27:16.000000000 +0100 +++ b/w_intersect.c 2015-08-15 23:28:19.000000000 +0100 @@ -208,7 +208,7 @@ double X = (double)(c->center.x - e->center.x); double Y = (double)(c->center.y - e->center.y); - do_circle_ellipse_intersect(r, X, Y, e, x, y, isect_cb); + do_circle_ellipse_intersect(r, X, Y, e, x, y, 0, isect_cb); } static void
pgp12cZZktwCb.pgp
Description: PGP signature
