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