Package: splint
Version: 3.1.2.dfsg1-2
Severity: important
Tags: upstream
splint -posix-lib -incondefs aes.c
Splint 3.1.2 --- 20 Feb 2009
constraintExpr.c:2499: at source point
aes.c:61:2: *** Internal Bug at constraintExpr.c:2499: llassert failed:
constraintTerm_canGetValue (ct) [errno: 25]
*** Please report bug to sub...@bugs.debian.org (via reportbug) ***
(attempting to continue, results may be incorrect)
constraintTerm.c:403: at source point
aes.c:61:2: *** Internal Bug at constraintTerm.c:403: llassert failed:
constraintTerm_canGetValue (term) [errno: 25]
*** Please report bug to sub...@bugs.debian.org (via reportbug) ***
(attempting to continue, results may be incorrect)
aes.c:61:2: *** Internal Bug at constraintTerm.c:424: constraintTerm.c:424:
llassert failed: FALSE: Bad branch taken! [errno: 25]
*** Please report bug to sub...@bugs.debian.org (via reportbug) ***
(attempting to continue, results may be incorrect)
aes.c:61:2: *** Internal Bug at constraintTerm.c:431: constraintTerm.c:431:
llassert failed: FALSE: Reached dead code! [errno: 25]
*** Please report bug to sub...@bugs.debian.org (via reportbug) ***
aes.c:61:2: Cannot recover from last bug. (If you really want Splint to try to
continue, use -bugslimit <n>.)
*** Cannot continue.
make: *** [aes-splint] Error 1
-- System Information:
Debian Release: wheezy/sid
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.38-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages splint depends on:
ii libc6 2.11.2-11 Embedded GNU C Library: Shared lib
ii splint-data 3.1.2.dfsg1-2 tool for statically checking C pro
splint recommends no packages.
Versions of packages splint suggests:
pn splint-doc-html <none> (no description available)
-- no debconf information
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
