Re: [Opencxx-users] Checking of return codes

[SF M. E. <el...@us...>]

> In what way to you think a static analysis tool can help ? Synopsis can't guess the domain
> of all possible values, and so can't know if all values are tested for. In the same
> line of thought I don't think exceptions are an appropriate means.

I imagine that it can be looked up from the function declaraction or definition that the return type is not void.
I would like to enforce that the return value will be checked after the function call so that the result will never be ignored.


> All synopsis can do is test that the return value is *used* (at least once), and issue a
> warning if not. That in itself will already be very useful.

Would anybody like to insert a specific security policy if a compiler option for warnings about unused return values is switched off?
Would you like to reuse any functionality that is provided by tools like "SPlint", "AntiC" or "Broadway"?

Regards,
Markus