Turns out including unistd.h sets it off.
Testcase:
------------------
#include <unistd.h>
int main()
{
}
------------------
splint spinttest.c +posixlib
On Mon, 31 Mar 2008, Debian Bug Tracking System wrote:
> Date: Mon, 31 Mar 2008 14:48:19 +0000
> From: Debian Bug Tracking System <[EMAIL PROTECTED]>
> Reply-To: [EMAIL PROTECTED]
> To: Gerhard Mack <[EMAIL PROTECTED]>
> Subject: Bug#473595: Acknowledgement (splint: Internal Bug at
> cscannerHelp.c:2428)
>
>
> Thank you for filing a new Bug report with Debian.
>
> This is an automatically generated reply to let you know your message
> has been received.
>
> Your message is being forwarded to the package maintainers and other
> interested parties for their attention; they will reply in due course.
>
> Your message has been sent to the package maintainer(s):
> Y Giridhar Appaji Nag <[EMAIL PROTECTED]>
>
> If you wish to submit further information on this problem, please
> send it to [EMAIL PROTECTED], as before.
>
> Please do not send mail to [EMAIL PROTECTED] unless you wish
> to report a problem with the Bug-tracking system.
>
>
>
--
Gerhard Mack
[EMAIL PROTECTED]
<>< As a computer I find your faith in technology amusing.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
