On 16/11/2010, at 2:21 AM, Naveen Srinivasan wrote:
[SPlint falls over when it processes a line
USE_ALIGN_SAVE
that expands to
_Pragma("pack(push)")
]
_Pragma was introduced in C99. SPlint is basically a C89 checker,
although a fair bit has been done to update it. The simplest thing
is to put
#ifdef S_SPLINT_S
#define _Pragma(x)
#endif
in one of your macro files.
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
