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