aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/src
diff options
context:
space:
mode:
authorJason A. Donenfeld <Jason@zx2c4.com>2018-02-14 15:29:45 +0100
committerJason A. Donenfeld <Jason@zx2c4.com>2018-02-14 15:30:35 +0100
commit0c95533a3118924de163d1c2298479149d0ea789 (patch)
tree1d7a960f19f8d615dfee43a1cf46b859c58319be /src
parentsocket: free skb if there isn't an endpoint (diff)
downloadwireguard-monolithic-historical-0c95533a3118924de163d1c2298479149d0ea789.tar.xz
wireguard-monolithic-historical-0c95533a3118924de163d1c2298479149d0ea789.zip
allowedips: indicate to clang-analyzer that trie is non-null
We check it in the block just above the only call to node_placement, so we're certain this is the case.
Diffstat (limited to 'src')
-rw-r--r--src/allowedips.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/allowedips.c b/src/allowedips.c
index 2c91271..282b819 100644
--- a/src/allowedips.c
+++ b/src/allowedips.c
@@ -170,6 +170,7 @@ static __always_inline struct wireguard_peer *lookup(struct allowedips_node __rc
return peer;
}
+__attribute__((nonnull(1)))
static inline bool node_placement(struct allowedips_node __rcu *trie, const u8 *key, u8 cidr, u8 bits, struct allowedips_node **rnode, struct mutex *lock)
{
bool exact = false;