Package: gluas Version: 0.1.20-1.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 preview_layer_destroy in preview_layer.c http://sources.debian.net/src/gluas/0.1.20-1.1/src/preview_layer.c?hl=111#L110 does not accept any arguments, but one argument is passed in calls: http://sources.debian.net/src/gluas/0.1.20-1.1/src/interface.c?hl=404#L404 http://sources.debian.net/src/gluas/0.1.20-1.1/src/preview_layer.c?hl=84#L84 This may be harmless, but may point at maintenance issues. Best, Michael
pgpQ5t9SMSlgf.pgp
Description: PGP signature
