Package: xournal Version: 4.7-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 subdivide_cur_path is stated as void subdivide_cur_path(null) as can be reviewed here: http://sources.debian.net/src/xournal/4.7-1/src/xo-paint.c?hl=238#L238 "null" appears to be entirely spurious here, and will be interpreted as a parameter of type int declared in KnR style. Consequently this function type becomes incompatible with its uses, all of which do not pass any argument. In all likelihood this "null" should simply be dropped. Best, Michael
pgpMCfmaYZvKF.pgp
Description: PGP signature
