https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96987
--- Comment #3 from Iain Buclaw <ibuclaw at gdcproject dot org> --- And what about other front-ends that do not have the luxury of C attributes? Looking at the original library code of where the warning was noticed, the function being called (GC.addRange) definitely doesn't read the pointer, but records the address and allocation size for scanning later.
