Hi Gabriel,
cont does mean approximately (but not exactly) the same thing as
/*@observer@*/, but splint doesn't interpret const. You would need an
explicit /*@observer@*/ annotation here. Splint should have an option
to interpret const as observer --- it will in a future version.
--- Dave
On Fri, 16 Aug 2002, Gabriel [ISO-8859-1] López García wrote:
> Hello!
>
> I use the splint and I have a question:
>
> My code is:
>
> const char *getname(const struct person_t *person)
> {
> return person->name;
> };
>
> Why const returns not equal a /*@observed@*/ ?
>
> if const is equal observed then I use a language's work.
>
>
> Thanks.
>
