Michael, Thank you for reporting this. I will fix this function for the next release of Sopwith.
Jesse On 14-05-14 10:27 PM, Michael Tautschnig wrote: > 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 > -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
