On Tue, Aug 26, 2025 at 8:35 AM Eelco Chaudron via dev <
ovs-dev@openvswitch.org> wrote:

> Coverity reported a possible null dereference of t->reply
> when handling errors in the "committing" state for "transact" requests.
>
> In practice, t->reply is always non-NULL at this point, but static analysis
> cannot infer this guarantee. Adding ovs_assert(t->reply) documents the
> invariant for developers and ensures debug builds will catch any misuse.
>
> No change in runtime behavior; this only improves code safety and
> satisfies static analysis.
>
> Signed-off-by: Eelco Chaudron <echau...@redhat.com>
> ---
>

Acked-by: Mike Pattrick <m...@redhat.com>
_______________________________________________
dev mailing list
d...@openvswitch.org
https://mail.openvswitch.org/mailman/listinfo/ovs-dev

Reply via email to