Package: splint
Version: 3.1.1-6
Severity: normal
Observe:
$ cat foo.c
int main(void)
{
;
_Bool foo = 1;
return foo ? 0 : 1;
}
$ gcc -std=c99 foo.c
$ splint foo.c
Splint 3.1.1 --- 21 Apr 2006
foo.c:4:14: Parse Error. (For help on parse errors, see splint -help
parseerrors.)
*** Cannot continue.
$
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.16-1-686
Locale: LANG=fi_FI.UTF-8, LC_CTYPE=fi_FI.UTF-8 (charmap=UTF-8)
Versions of packages splint depends on:
ii libc6 2.3.6-9 GNU C Library: Shared libraries
splint recommends no packages.
-- no debconf information
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
