[splint-discuss] empedded programming, __interrupt

[Ralf Wildenhues]

Hello Sebastian,

* Matuschka, Sebastian wrote on Wed, Aug 15, 2007 at 09:29:20AM CEST:
>  
>  So how can i tell splint that all functions which look like
> __interrupt void intIOTimer (void)
> {
> ...
> }
> are not called in my program and therefor it isn't neccessary to warn
> that they are unused.
> I don't want to write %@unused@% in front of every interrupt, i want
> that splint knows this because of the __interrupt.

You could put something like the following in a header file.

  #ifdef S_SPLINT_S
  /*@-namechecks@*/
  # define __interrupt /*@unused@*/
  /*@=namechecks@*/
  #endif

Hope that helps.

Cheers,
Ralf