Package: grcm Version: 0.1.6-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 definition of rcm_remove_type_from_list_by_name in connection_types.c http://sources.debian.net/src/grcm/0.1.6-1/src/connection_types.c?hl=74#L74 names exactly 1 argument, but 2 arguments are being passed in the (single) call: http://sources.debian.net/src/grcm/0.1.6-1/src/callbacks.c?hl=368#L368 This may be harmless, but could point at some maintenance issue. Best, Michael
pgpEA3N5iIiDI.pgp
Description: PGP signature
