[splint-discuss] SFR definition acceptable to SPLINT

juan abba jjose at globo.com
Tue Aug 21 11:41:42 EDT 2007


I am trying to run SPLINT over a "C" program written for the Z* of ZIlog.
All the SFR definition are giving me "parse errors"

Their compiler defines ( at the "processor.H file")  a SFR as follows 
#define PCADDR  (*(unsigned char volatile far*)0xFD8)              // 
Port C Address

I am trying to find a way to use following

#if defined S_SPLINT_S
#define PCADDR                 char *unsigned char *
#else
#define PCADDR  (*(unsigned char volatile far*)0xFD8)              // 
Port C Address
#endif

SPLINT accepts it when the "processor.H file" is parsed, but on the 
first time the PCADDR
is called, like
PCADDR = 0;
when parsing any of the xxx.c programs, it gives a parse error.

will appreciate any help a lot

juan abba



-- 
Amigo, antes de lhe enviar este e-mail tive o cuidado de remover 
todos os endereços que porventura vieram no texto original. 
Fiz isto para eliminar o risco de hackers extraírem os e-mails que 
vieram junto com a mensagem e os utilizarem para envio de "spam".

Sugiro que se for re-enviar este e-mail tome o mesmo cuidado e, 
mais, como segurança adicional, endereçem seus amigos no campo 
Cco ou Bcc. 
Você os estará protegendo e a si mesmo.
Juan Jose



More information about the splint-discuss mailing list