Paul Hutchinson wrote:

> You can do a lot by making a custom LCD file for Splint but, AFAIK,
> supporting the non-standard binary literal extension '0b000" and binary data
> types, is not possible without modifying the source code.
> 
> I avoid non-standard C extensions whenever possible because of the
> non-portability so, this hasn't been an issue for me.

Well, PIC register initializations don't port well to other platforms, so I
just go ahead and use them there :)

Before going into it and changing code, I had a look at the splint mailing
list archives. There it seems that some features of splint make it not
quite adequate for C on small micros, at least not without considerable
work on modifying LCD files and possibly source code.

Is this true?

Gerhard
_______________________________________________
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist