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.
On Fri, 16 Aug 2002, Gabriel [ISO-8859-1] López García wrote:
> 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.