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 }; } Of course, I don't expect Splint to do anything with the assembly, but I then get the "empty if statement" warning all over the place. I'd like to just fix that warning in the macro, rather than suppress it altogether. The documentation doesn't seem to show an annotation that could be used for that case, but it seems like something that would have come up before... Is there an undocumented annotation for this? Is there another way of avoiding the warning without suppressing the warning for all the code? Thanks!