Suppressing ifempty with an annotation?

2002-05-10 Thread Taed Wynnell
I just started using Split this morning to try it out on my Windows device driver. Whew! Lots and lots of "errors", so I'm just concentrating on the "-weak" ones... I have a macro that I use a lot that looks something like: if (debuggerRunning) { __asm { int 3 };

RE: Suppressing ifempty with an annotation?

2002-05-10 Thread Taed Wynnell
ot; (dump preprocessor output) or something along those lines... -Original Message- From: David Evans [mailto:[EMAIL PROTECTED]] Sent: Friday 10 May 2002 1:49 PM To: Taed Wynnell Cc: Splint Mailing List (E-mail) Subject: Re: Suppressing ifempty with an annotation? Did you define __asm with a

Splint comments from a new user...

2002-05-13 Thread Taed Wynnell
-- I don't know if there's a specification or not for this, but Microsoft Visual C++ and Splint differ in when they process the INCLUDE environment variable. MSVC++ processes it AFTER any "-I" specifiers on the command line, but Splint processes it BEFORE. For example, there is a header file cal