<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML xmlns="http://www.w3.org/TR/REC-html40" xmlns:st1 =
"urn:schemas-microsoft-com:office:smarttags" xmlns:w =
"urn:schemas-microsoft-com:office:word" xmlns:o =
"urn:schemas-microsoft-com:office:office"><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1595" name=GENERATOR></HEAD>
<BODY lang=EN-US vLink=purple link=blue>
<DIV><SPAN class=294075412-28092007><FONT face=Arial color=#0000ff size=2>use an
explicit cast ((unsigned char)10)</FONT></SPAN></DIV>
<DIV><SPAN class=294075412-28092007><FONT face=Arial color=#0000ff
size=2>use a macro #define MIN_DUR ((unsigned char)10) , MinDur =
MIN_DUR</FONT></SPAN></DIV>
<DIV> </DIV>
<P><FONT size=2>Francois
Isabelle<BR>Francois.Isabelle@ca.kontron.com<BR>Concepteur de
logiciel<BR>Software designer<BR>Kontron Canada<BR><BR>L'information contenue
dans le présent document est la propriété de Kontron Canada inc. et est
divulguée en toute confidentialité. Cette information ne doit pas être utilisée,
divulguée à d'autres personnes ou reproduite sans le consentement écrit
explicite de Kontron Canada inc.<BR><BR>The information contained in this
document is confidential and the sole property of Kontron Canada Inc. It shall
not be used, disclosed to others or reproduced without the express written
consent of Kontron Canada Inc.<BR><BR></FONT></P>
<BLOCKQUOTE dir=ltr
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
<DIV class=OutlookMessageHeader dir=ltr align=left><FONT face=Tahoma
size=2>-----Original Message-----<BR><B>From:</B>
splint-discuss-bounces@cs.virginia.edu
[mailto:splint-discuss-bounces@cs.virginia.edu]<B>On Behalf Of </B>Putten van
der Bob<BR><B>Sent:</B> 28 septembre, 2007 08:30<BR><B>To:</B> Splint group
(splint-discuss@mail.cs.virginia.edu)<BR><B>Subject:</B> [splint-discuss] Char
and Int<BR><BR></FONT></DIV>
<DIV class=Section1>
<P class=MsoNormal><FONT face="Times New Roman" size=3>I wrote the following
code:<o:p></o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=3>Unsigned char
MiniMalInsDuration = 10;<o:p></o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman"
size=3><o:p> </o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=3>Now SPLint
say's:<BR>Variable MiniMalInsDuration initialized to type int,
expects unsigned char: 10<o:p></o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman"
size=3><o:p> </o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=3>How can I tell SPLint
that '10' should be handled as a unsigned char?<o:p></o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman"
size=3><o:p> </o:p></FONT></P>
<P class=MsoNormal><FONT face="Times New Roman" size=3>(Is there some way to
easily brows or search The splint-discuss Archives )<o:p></o:p></FONT></P>
<P class=MsoNormal><FONT face=Arial size=2><o:p> </o:p></FONT></P>
<P><FONT face="Times New Roman" size=3>With kind regards / Mit freundlichen
Grüssen <BR>B.F.A. van der <st1:Street w:st="on"><st1:address w:st="on">Putten
<BR>Engineer D&D <BR><FONT size=2>KONE Deursystemen
BV</FONT></st1:address></st1:Street><BR><FONT size=2>Accustraat 21<BR>3903
LX Veenendaal<BR>Postbus 94<BR>3900 AB
Veenendaal<BR></FONT></FONT><FONT face=Wingdings color=#0b5ff5
size=2>(</FONT><FONT face=Verdana color=purple> </FONT>Phone: <FONT
size=2> +31 (0) 318 532 333<BR></FONT><FONT face=Webdings
color=#0b5ff5 size=2>Ê</FONT><FONT face=Verdana>
</FONT>Fax: <FONT size=2> +31
(0) 318 532 339<BR></FONT><FONT face=Webdings color=#0b5ff5
size=2>š</FONT><FONT face=Verdana color=teal>
</FONT>Email: <STRONG><B><FONT
face="Times New Roman"><A
href="mailto:bob.van.der.putten@kone.com">bob.van.der.putten@kone.com<BR
title=mailto:bob.van.der.putten@kone.com><FONT
title=mailto:bob.van.der.putten@kone.com face=Webdings
color=#0b5ff5>ý</FONT></A></FONT></B></STRONG><FONT face=Verdana>
</FONT>Website: <A
href="http://www.kone.com/">www.kone.com</A><o:p></o:p></P>
<P class=MsoNormal><FONT face="Times New Roman"
size=2><o:p> </o:p></FONT></P></DIV></BLOCKQUOTE></BODY></HTML>