Package: weechat Version: 0.4.3-3 Usertags: goto-cc During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found:
According to its definition here http://sources.debian.net/src/weechat/0.4.3-3/src/core/wee-infolist.c?hl=46#L46 function infolist_new requires one argument (which also is used). Yet the declaration here http://sources.debian.net/src/weechat/0.4.3-3/src/core/wee-infolist.h?hl=71#L71 not specifying a parameter type list, will silence any compiler warnings about missing arguments, which happens in several cases, among them: http://sources.debian.net/src/weechat/0.4.3-3/src/core/wee-upgrade-file.c?hl=621#L621 http://sources.debian.net/src/weechat/0.4.3-3/src/plugins/plugin-api.c?hl=444#L444 (more such cases exist). Best, Michael
pgpzRrl1UCAwu.pgp
Description: PGP signature
