[splint-discuss] empedded programming, __interrupt

[Matuschka, Sebastian]

Hello Ralf,

>You could put something like the following in a header file.
>
>  #ifdef S_SPLINT_S
>  /*@-namechecks@*/
>  # define __interrupt /*@unused@*/
>  /*@=namechecks@*/
>  #endif

That sounds good, yes.
I don't want to include it in a header in the sources of the embedded
project, so i made a library and let it load in the splint rc file.
I called the new library standard_softune.h and created a
standard_softune.lcd out of it.
In the splint rc file i added this line:
-load ..\lib\standard_softune.lcd
As far as i can see splint accepts this.
I added 
/*@-namechecks@*/
# define __nosavereg
# define __interrupt /*@unused@*/
/*@=namechecks@*/
 to the standard_softune.h but i guess that splint doesn't understand it
correctly, the line in the .lcd file is:
^22 0|@11|^#__nosavereg#__interrupt
I think that the namechecks commands are interpreted when creating the
lib but then are not in the lib file itself.
I have no idea how to avoid this. I could write two /*@-namechecks@*/
one after the other. But that doesn't work.

Sebastian