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. >