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
