https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108893
--- Comment #4 from Jonny Grant <jg at jguk dot org> --- My apologies, I had understood attribute access read_only was different from the attribute nonnull. So I filed a different report for this. I didn't want to use __attribute__((nonnull)) because the optimizer may use that knowledge to remove nullptr checks. access read_only I hoped would just warn about the dereference. Unfortunately I pasted the wrong example link in the report.
