On 04/25/2017 05:02 PM, Martin Sebor wrote:
On 04/25/2017 02:35 PM, Joe Perches wrote:
A possibly useful addition similar to:
__attribute__((warn_unused_result))
might be
__attribute__((warn_untested_result))
for things like allocation failures that
are not verified before use.
I agree that this would be a useful feature. In fact, I've been
thinking about implementing something like it, though not quite
as general. (My initial thought was to key the warning off
an existing attribute like alloc_size for functions that aren't
also decorated with returns_nonnull.) With warn_untested_result
even non-allocation functions (such as fopen) could be decorated,
so that seems like a better approach.
Can you please open an enhancement request in Bugzilla?
Yea, I like it as well.
jeff
