https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108187
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Well, between the store to ->source and the read from it is the call to dp_packet_use_afxdp which gets &xpacket->packet as argument and thus needs to be treated as clobbering ->source. So GCC can indeed not know that ->source is DPBUF_AFXDP since the path is not provable impossible. dp_packet_use_afxdp doesn't even get a const struct dp_packet * argument (not that this would semantically change things in C).