tags 748207 + upstream wontfix thanks Please contact upstream by yourself if you want it to be fixed. Patching it in Debian doesn't make any difference.
2014-05-15 18:59 GMT+09:00 Michael Tautschnig <m...@debian.org>: > Package: nabi > Version: 1.0.0-2 > 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 nabi_log_get_level in debug.h > > http://sources.debian.net/src/nabi/1.0.0-2/src/debug.h?hl=22#L22 > > shadows the fact that nabi_log_get_level actually requires an argument: > > http://sources.debian.net/src/nabi/1.0.0-2/src/debug.c?hl=33#L33 > > Yet none is provided with any of the calls to nabi_log_get_level. > > As, however, the argument isn't used code might execute correctly at present. > To avoid the risk of undefined behaviour, the definition should be fixed. > > Best, > Michael -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org