Package: jless Version: 382-iso262-3 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 declaration of chconvert_cs in unify.c, generated here: http://sources.debian.net/src/jless/382-iso262-3/debian/patches/less-382-iso258.dpatch#L11281 shadows the fact that chconvert_cs actually requires 5 arguments: http://sources.debian.net/src/jless/382-iso262-3/debian/patches/less-382-iso258.dpatch#L14013 As this argument, however, is unused the (single) call to chconvert_cs passing only 4 (!) arguments might execute correctly at present. To avoid the risk of undefined behaviour, the definition should be fixed (by removing the parameter). Best, Michael
pgpK4s5ety9FQ.pgp
Description: PGP signature
