Hi,
I use splint 3.0.1.6 on Windows NT 4.0 SP6 (binary distribution from splint.org) and
get spurious redefinition warnings under the
following circumstances:
myheader.h --
typedef int mytype;
--
mycode_1.c -
If you're looking for examples of memory annotations, try the Splint
Manual. The PLDI'96 paper has some examples that may be useful to you.
(http://www.cs.virginia.edu/~evans/pldi96-abstract.html).
--- Dave
On Thu, 18 Apr 2002, Eric Veldhuyzen wrote:
> Hi,
>
> I have some problems explaining
There's no flag to do this now, but we'll put something in the next
release that is set by default in the Windows version.
For a work around, you can modify fileTable.c to downcase all the
filenames. Here are the changes:
91a100
> /*!!!*/ abspath = cstring_downcase (abspath);
266c277,278
<
Martin Roehrig <[EMAIL PROTECTED]> wrote:
myheader.h --
typedef int mytype;
--
mycode_1.c --
#include "myheader.h"
---