I'll only comment on the obvious interface bugs:

Martin MOKREJŠ wrote:

> srcc-3303 CC: WARNING File = /software/@sys/usr/include/popt.h, Line = 443
>   A type qualifier on a return type is meaningless.
>
>   /*@observer@*/ const char *const poptStrerror(const int error)

This is an interface error. The last "const" is superfluous and indeed
completely meaningless. It's about as meaningful as applying "const" to a
return type "bool", which you also display exists in the current code.

Do you think you could whip up a patch to fix this? It seems your compiler
is a lot less forgiving than the mainstream. :-)

/Mike

Reply via email to