splint usage problems

I'm new to splint use. I'm having problems using it with programs that include windows.h or process.h
is there any option I missing or any thing I am missing? I'm using this command line:

Code:

---

splint -Ic:\codeblocks\MinGW\include -Ic:\CodeBlocks\MinGW\lib\gcc\mingw32\3.4.5\include z:\tmp_keops\*.c

---

this is the output:

Code:

---

Splint 3.0.1.6 --- 11 Feb 2002

  In file included from c:\codeblocks\MinGW\include\windef.h(253),
                from c:\codeblocks\MinGW\include\windows.h(48),
                from z:\tmp_keops\defs.h(12),
                from z:\tmp_keops\protos.h(10),
                from z:\tmp_keops\bench.c(11)
c:\codeblocks\MinGW\include\winnt.h(2352,34): #error "undefined processor type"
  In file included from z:\tmp_keops\bench.c(12)
z:\tmp_keops\debug.h(19,21): invalid character in macro parameter name
z:\tmp_keops\debug.h(19,21): Parameter list for #define is not parseable
z:\tmp_keops\debug.h(48,29): invalid character in macro parameter name
z:\tmp_keops\debug.h(48,29): Parameter list for #define is not parseable
Preprocessing error for file: z:\tmp_keops\bench.c
*** Cannot continue.

---

any helo will be wellcome.
thx

> c:\codeblocks\MinGW\include\winnt.h(2352,34): #error "undefined processor type"
Look in winnt.h at that line, and you'll see it's at the end of an
#if
#elsif
#else
#error
#endif
kind of construct.
Try adding something like
-DARCH=X86
or whatever would match one of the choices in winnt.h

As for debug.h, you'll have to post line 19 +/- a few lines for context.

I'm not sure if you might find something here:
http://www.splint.org/faq.html

http://www.splint.org/faq.html#quest15 sounded close.

Quote:

---

Originally Posted by Salem

>
Try adding something like
-DARCH=X86
or whatever would match one of the choices in winnt.h

---

I will try and tell about results

Quote:

---

Originally Posted by Salem

>
As for debug.h, you'll have to post line 19 +/- a few lines for context.

---

My debug is like this:

Code:

---

#ifndef _DEBUG
#define Print(x,...)  -- this is the 19th line ----
#else
void Print ( char *tag, char *formato, ... );
#endif

---

Quote:

---

Originally Posted by Kempelen

My debug is like this:

Code:

---

#ifndef _DEBUG
#define Print(x,...)  -- this is the 19th line ----
#else
void Print ( char *tag, char *formato, ... );
#endif

---

---

Well those would be illegal characters there in magenta. :p

But their FAQ did mention that they haven't fully implemented C99 features (such as variadic macros).
http://c-faq.com/cpp/varargs.html

OK, as it is not possible to use splint wit a windows programm, and as I use veriadic macros, I thinking on switching to PC-Lint. Does anyone has an lnt file to run with MinGW?
In the web page it says nothing about minwg, and the price is very expensive.
Does anyone has use PC-lint with Mingw?

Quote:

---

Originally Posted by Kempelen

Does anyone has an lnt file to run with MinGW?

---

http://www.gimpel.com/html/ptch80.htm#colnt (co-gcc.lnt?)

Quote:

---

Originally Posted by Kempelen

Does anyone has use PC-lint with Mingw?

---

It's on my to-do list.