Package: redhat-cluster Version: 3.1.8-1.1 Usertags: goto-cc During an analysis of all Debian packages using our research compiler tool-chain (using tools from the cbmc package) the following error was found:
The following declaration of function daemon_init http://sources.debian.net/src/redhat-cluster/3.1.8-1.1/cman/qdisk/main.c?hl=39#L39 shadows the fact that this function actually doesn't return a value: http://sources.debian.net/src/redhat-cluster/3.1.8-1.1/cman/qdisk/daemon_init.c?hl=198#L197 Hence the call here will cause undefined behaviour: http://sources.debian.net/src/redhat-cluster/3.1.8-1.1/cman/qdisk/main.c?hl=2004#L2004 Best, Michael
pgpDv4lh8PuwH.pgp
Description: PGP signature
