Package: audtty Version: 0.1.12-4 Severity: minor Usertags: goto-cc While compiling the package using our research compiler infrastructure it became apparent that the following use of playlist_jump
http://sources.debian.net/src/audtty/0.1.12-4/main.c?hl=206#L206 does not match its definition (which may hint at further bugs): http://sources.debian.net/src/audtty/0.1.12-4/playlist_jump.c?hl=87#L87 Note that the declaration at http://sources.debian.net/src/audtty/0.1.12-4/playlist_jump.h?hl=26#L26 leaves the arguments unspecified, hence the compiler cannot generate any warning. Best, Michael
pgpyKFTG4NQUW.pgp
Description: PGP signature
