[PATCH] declare get_range_query attribute returns_nonnull

Martin Sebor msebor@gmail.com
Wed Aug 25 23:01:23 GMT 2021

Andrew, based on your remarks in our discussion Re: enable ranger
and caching in pass_waccess, I've added some comments to struct
function and get_range_query() and declared the latter with
attribute returns_nonnull to make it explicit both to readers
and to GCC that the x_range_query member is never null.

Tested on x86_64-linux.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcc-get_range_query.diff
Type: text/x-patch
Size: 1164 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210825/17fa50c2/attachment.bin>

More information about the Gcc-patches mailing list