[splint-discuss] About 8051 sfr in Splint

[Lionel Debroux]

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