diff options
author | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-02-14 15:29:45 +0100 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-02-14 15:30:35 +0100 |
commit | 0c95533a3118924de163d1c2298479149d0ea789 (patch) | |
tree | 1d7a960f19f8d615dfee43a1cf46b859c58319be /src | |
parent | socket: free skb if there isn't an endpoint (diff) | |
download | wireguard-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.c | 1 |
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; |