Package: grok Version: 1.20110708.1-4 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 definition of yylex in conf.yy.c http://codesearch.debian.net/show?file=grok_1.20110708.1-4%2Fconf.yy.c&line=743&numfiles=3#L743 names exactly 1 argument, but 2 arguments are being passed when called from yyparse: http://codesearch.debian.net/show?file=grok_1.20110708.1-4%2Fconf.tab.c&line=745&numfiles=3#L745 This may be harmless, but could point at some maintenance issue. Best, Michael
pgp0STzkbyjpz.pgp
Description: PGP signature
