Package: tint2 Version: 0.11+svn20121014-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 tooltip_trigger_hide in tooltip.h: http://sources.debian.net/src/tint2/0.11+svn20121014-1/src/tooltip/tooltip.h?hl=55#L55 shadows the fact that tooltip_trigger_hide actually requires an argument: http://sources.debian.net/src/tint2/0.11+svn20121014-1/src/tooltip/tooltip.c?hl=253#L253 Yet none is provided in any of the calls to tooltip_trigger_hide. As, however, the argument isn't used code might execute correctly at present. To avoid the risk of undefined behaviour the definition of tooltip_trigger_hide should be fixed. Best, Michael
pgpH843lBflJx.pgp
Description: PGP signature
