<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=us-ascii">
<META content="MSHTML 6.00.6000.16525" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007>Hello,</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>i want to use splint
for analysis on c code for empedded systems.</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>The compiler (i.e.
FUJITSU) for embedded code accepts some additional things like
"__interrupt" for defining a function as an interrupt. As of the nature of an
interrupt this function gets never called in the code. But i do want splint to
check if other functions which are no interrupts are used. And here is
the problem. When i call splint with the option -D__interrupt=const i get
no warnings because __interrupt is unknown to splint, but splint warns because
the interrupt function is unused. So how can i tell splint that all functions
which look like</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>__interrupt void
intIOTimer (void)</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007>{</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007>...</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007>}</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>are not called in my
program and therefor it isn't neccessary to warn that they are
unused.</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>I don't want to
write <A href="mailto:%@unused@%">%@unused@%</A> in front of every interrupt, i
want that splint knows this because of the __interrupt.</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>I have compiled
splint 3.1.2 on windows and made some little changes on the code, so i know a
bit about the splint sources and how splint works. But it is a bit too much for
me to change the bison and lex parser and these arrays full of
numbers like yytoknum, yyr1 and so on so it knows __interrupt for
example.</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>I am thankful for
every idea or hint how to solve this problem.</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007></SPAN></FONT> </DIV>
<DIV><FONT face=Arial size=2><SPAN
class=745191207-15082007>Greetings</SPAN></FONT></DIV>
<DIV><FONT face=Arial size=2><SPAN class=745191207-15082007>Sebastian
Matuschka</SPAN></FONT></DIV></BODY></HTML>