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 | db0e44139b6db098a6636eb5e6b74390af45dd3f (patch) | |
tree | 521f3921051d742f5e7e12ae3dbb5d0297f639c1 /src | |
parent | cb86f2cd33a845872198c4bb207bc13e739b2d7e (diff) |
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.
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
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; |