Splint 3.1.2 has Internal Bug on confname.h _PC_MAX_CANON
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
splint (Debian) |
Fix Released
|
Unknown
|
|||
splint (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
Binary package hint: splint
When running splint 3.1.2 on a fairly simple C program that uses malloc and free, I get this error:
splint -nullpass -boolops +posixlib -exitarg -observertrans -branchstate -statictrans -nullderef -compdef -nullret -nullstate -unrecog -temptrans -mayaliasunique -predboolint -mustfreefresh auth.c
Splint 3.1.2 --- 03 May 2009
/usr/include/
Unexpanded macro not function or constant: int _PC_MAX_CANON [errno: 25]
*** Please report bug to <email address hidden> (via reportbug) ***
(attempting to continue, results may be incorrect)
/usr/include/
_PC_MAX_CANON : int. (For help on parse errors, see splint -help
parseerrors.)
*** Cannot continue.
The rest of the static analysis proceeds just fine.
ProblemType: Bug
Architecture: amd64
Date: Mon Feb 1 15:15:21 2010
DistroRelease: Ubuntu 9.10
NonfreeKernelMo
Package: splint 3.1.2.dfsg1-2
ProcEnviron:
PATH=(custom, user)
LANG=en_US.UTF-8
SHELL=/bin/bash
ProcVersionSign
SourcePackage: splint
Uname: Linux 2.6.31-17-generic x86_64
Changed in splint (Debian): | |
status: | Unknown → Confirmed |
Changed in splint (Debian): | |
status: | Confirmed → Fix Released |