[splint-discuss] Porting 32 to 64 bits

[Ibéria Medeiros]

Hi,

I'am newbie with splint... and i like use the splint to give me warnings
when i porting the 32 to 64 bits.
The lint tool has a flag -errchk=longptr64 to do that, where warning when
int = long
int = (cast) ptr

With splint, how i do that??
I know that -ignorequals flag in splint, catch the first case (int = long)
and what a flag to second case??

Example:

int a, c;
long b;

a = b; // -ignorequals warning here (int = long)
c = 10;
a = (int) &c; // what is the flag? (int = ptr)


any help
thanks,
-- 
Ibéria Medeiros
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.Virginia.EDU/pipermail/splint-discuss/attachments/20070409/76050e59/attachment.htm