]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6458d3) | patch
bgpd: ensure delete_all_vni_routes does not free dest
authorDonald Sharp <sharpd@nvidia.com>
Sun, 10 Sep 2023 13:32:29 +0000 (09:32 -0400)
committerDonald Sharp <sharpd@nvidia.com>
Mon, 11 Sep 2023 16:45:59 +0000 (12:45 -0400)
commitb7dd15242cc5e616e140369f598bed4527a6e838
tree96ba8fcd10ebbc3337f6b30b0f170191d397e1c4tree | snapshot
parente6458d36b7f9347815ccd2aa2d4af8107f84fce5commit | diff
bgpd: ensure delete_all_vni_routes does not free dest

dest is locked by the table walk.  ensure that coverity
understands this.

Signed-off-by: Donald Sharp <sharpd@nvidia.com>
bgpd/bgp_evpn.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.