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).

Reply via email to