On 8/25/2021 5:01 PM, Martin Sebor via Gcc-patches wrote:
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.
Martin
gcc-get_range_query.diff
gcc/ChangeLog:
* function.h (function): Add comments.
(get_range_query): Same. Add attribute returns nonnull.
OK
jeff
