[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