Splint 3.1.2 has Internal Bug on confname.h _PC_MAX_CANON

[Allister MacLeod]

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/bits/confname.h:31:27: *** Internal Bug at cscannerHelp.c:2428:
    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/bits/confname.h:32:1: Parse Error: Non-function declaration:
    _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
NonfreeKernelModules: nvidia
Package: splint 3.1.2.dfsg1-2
ProcEnviron:
 PATH=(custom, user)
 LANG=en_US.UTF-8
 SHELL=/bin/bash
ProcVersionSignature: Ubuntu 2.6.31-17.54-generic
SourcePackage: splint
Uname: Linux 2.6.31-17-generic x86_64