[splint-discuss] empedded programming, __interrupt

[Ralf Wildenhues]

* Matuschka, Sebastian wrote on Wed, Aug 15, 2007 at 01:47:57PM CEST:
> 
> 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.

But that is all that's needed, no?  I added the -namechecks only to
avoid the warning about __interrupt in the #define line, not for the
actual function declarations/definitions.  splint need not remember
anything about temporary flags changes in the sources to .lcd files
AFAICS.

Cheers,
Ralf