Package: sopwith Version: 1.8.2+clean-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 declaration of asynclos in swend.c: http://sources.debian.net/src/sopwith/1.8.2+clean-1/src/swend.c?hl=48#L48 shadows the fact that asynclos actually requires an argument: http://sources.debian.net/src/sopwith/1.8.2+clean-1/src/swasynio.c?hl=133#L133 Yet none is provided in any of the calls to asynclos. As, however, the argument isn't used code might execute correctly at present. To avoid the risk of undefined behaviour the definition of asynclos should be fixed. Best, Michael
pgpLq0DfMT4KI.pgp
Description: PGP signature
