[splint-discuss] information demand

ABDESSELEM Belkacem aabelka at gmail.com
Thu Jul 20 07:41:19 EDT 2006


Good morning,
I want to know if we have a special porting to 64-bit flag in splint like
-errchk=longprt64, signext    option if lint tool
regards. ^_^
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20060720/16a611cf/attachment.htm


More information about the splint-discuss mailing list