[splint-discuss] Porting 32 to 64 bits

[Michael Wojcik]

> From: splint-discuss-bounces at cs.virginia.edu [mailto:splint-discuss-bounces at cs.virginia.edu] On Behalf Of Ibéria Medeiros
> 	Sent: Monday, 09 April, 2007 18:40
	
> 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 

*Some* lint tools have that flag.  There are many lint implementations.
	
> With splint, how i do that??

As far as I know, there's currently no splint check for assignment of a pointer type to an integer type with a (proper) cast.  If you cast, splint generally assumes you know what you're doing.

-- 
Michael Wojcik
Principal Software Systems Developer, Micro Focus