[splint-discuss] About 8051 sfr in Splint

[Ma Li Yu]

Hi, All

 

I just started to learn how to use Splint in my project. Currently I
faced below issue: 

 

Splint 3.0.1.6 --- 11 Feb 2002

 

ECO_51.H(156,10): Parse Error: Inconsistent function declaration: sfr :

               int. (For help on parse errors, see splint -help
parseerrors.)

*** Cannot continue.

 

I knew that sfr is special function register in 8051, but it is not
standard for Splint. So what can I do in Splint to avoid such warning? 

 

Regards 

MA LIYU Mark 

R&D Software Engineer 

CCT Tech Singapore Pte Limited 

Tel: 65-6240 6823 

Fax: 65-6444 7848 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20071210/7ac97228/attachment-0001.html