[splint-discuss] Skip code parts

[Matuschka, Sebastian]

Hi,

i want to skip code parts that are between "#pragma asm" and "#pragma
endasm" because Splint ends with a parse error when it parses this code.
I have Splint 3.1.2 and compiled it myself because I had to insert some
hacks to let it analyze code for embedded systems. But I don't know how
to skip code completely in a save way. I tried /*@ignore@*/ /*@end@*/
too, but that doesn't work. It seems that it only doesn't output error
messages but parses the code normally.
Maybe someone has an idea how i can add a hack for this special thing,
or if there is another annotation. Please let me know. Thanks.

Best regards

Sebastian