[splint-discuss] About 8051 sfr in Splint

[Ma Li Yu]

Hi, 

Firstly, did u know which the latest version for Window platform is? It seems its new version is for Linux system.

Secondly, I have solved my problem by using your method. Thank you very much!!!

Below is my solution:
#ifdef S_SPLINT_S
#define sfr (unsigned char xdata *)
#endif

Regards 
MA LIYU Mark 
R&D Software Engineer 
CCT Tech Singapore Pte Limited 
Tel: 65-6240 6823 
Fax: 65-6444 7848 
-----Original Message-----
From: splint-discuss-bounces at cs.virginia.edu [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Lionel Debroux
Sent: Monday, December 10, 2007 5:08 PM
To: Discussions about the Splint annotation-assisted static analysis project
Subject: Re: [splint-discuss] About 8051 sfr in Splint

Hi,

First, the version of splint you're using is old. You should upgrade to the latest version, though
that won't solve your problem.

Now, on to your problem.

A similar issue, on a different ISA, was discussed on this ML in August. Turning the following
definition:

#define PCADDR  (*(unsigned char volatile far*)0xFD8)

into something such as

#ifdef S_SPLINT_S
    extern unsigned char PCADDR;
// Undefine "far", if that applies to your ISA, because it's non-C.
#define far
#else
#define PCADDR  (*(unsigned char volatile far*)0xFD8)
#endif

seemed to work.
Tell us if it works for you as well :)


Regards, Lionel Debroux.


      ____________________________________________________________________________________________
Yahoo! Mail innove : interface hyper pratique, messenger intégré, couleurs - http://mail.yahoo.fr
_______________________________________________
splint-discuss mailing list
splint-discuss at mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss