const y observer

[Gabriel López García]

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.