[splint-discuss] undefined field inside an in parameter

CBFalconer cbfalconer at yahoo.com
Tue Mar 9 05:45:25 EST 2004


Sylvain MARNIER wrote:
> 
> I do not understand how splint find that a field of a *this
> parameter is undefined in a GetFunction as:
> 
> int Getfoo(type *this)
> {
>      return this->foo1;
> }

I would expect that the definition of type does not include a
field foo1, which should in turn be defined to be an int.

-- 
Chuck F (cbfalconer at yahoo.com) (cbfalconer at worldnet.att.net)
   Available for consulting/temporary embedded and systems.
   <http://cbfalconer.home.att.net>  USE worldnet address!





More information about the splint-discuss mailing list