On Thu, 2017-04-27 at 10:42 -0600, Jeff Law wrote: > 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.
Here's the bugzilla entry: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80522
