[splint-discuss] C99 types

[Jake Holland]

> I have a problem with C99 types, such as uint8_t, int32_t. It seems 

> that Splint knows these types even if I don't include a header file 

> that contains definitions for these types (eg, types.h or stdint.h). 

> However, the compiler won't accepts C99 types without a corresponding 

> header file.

 

> On the other hand, if I include the header file containing definitions


> for these types, Splint complains about improper definitions.

 

It sounds like it might help you to try -skipposixheaders.

 

If that doesn't work, you might get a better response if you include

example code that's giving you trouble.  This gave me no errors from 

splint or gcc (on cygwin), with no extra arguments to either:

 

#include <stdint.h>

 

int main(void) {

    uint32_t x = 72;

    return (int)x;

}

 

No virus found in this incoming message.
Checked by AVG - http://www.avg.com
Version: 8.0.169 / Virus Database: 270.6.21/1678 - Release Date:
9/24/2008 6:29 AM


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080924/f915ef67/attachment.html