#34 splint crashes

[Anonymous]

Splint 3.1.1 --- 23 Apr 2004

/usr/include/bits/sigthread.h:33:32: *** Internal Bug
at uentry.c:940:

not function: int * [errno: 25]

*** Please report
bug to splint-bug@splint.org ***

(attempting to continue, results may be incorrect)

ctbase.i:1848: at source
point

/usr/include/bits/sigthread.h:33:32: *** Internal Bug at
ctbase.i:1848:

llassert failed: ctbase_isFunction (c) [errno: 25]

***
Please report bug to splint-bug@splint.org ***

(attempting to continue, results may be
incorrect)

/usr/include/bits/sigthread.h:33:32: *** Fatal bug:
ctbase_baseFunction:

bad call: int

*** Last code point: exprNode.c:10273

*** Previous code point:
exprNode.c:10273

*** Please report bug to
splint-bug@splint.org ***