[Bug 515687] [NEW] Splint 3.1.2 has Internal Bug on confname.h _PC_MAX_CANON

[Allister MacLeod]

Public bug reported:

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 submit at bugs.debian.org (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

** Affects: splint (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: amd64 apport-bug

-- 
Splint 3.1.2 has Internal Bug on confname.h _PC_MAX_CANON
https://bugs.launchpad.net/bugs/515687
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs at lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs