summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaria Matejka <mq@ucw.cz>2020-05-01 15:41:42 +0200
committerMaria Matejka <mq@ucw.cz>2020-05-01 15:41:42 +0200
commitb12442c985f2bd8c9fd47ca63151724962fabdc2 (patch)
treef9527f965d4ead7c9e56cd6942fabf667a28177f
parent048eb2ddf1ee9587d9fa30cbb3f87d6f650a2133 (diff)
Fixed a harmless warning in production build
-rw-r--r--nest/rt-show.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/nest/rt-show.c b/nest/rt-show.c
index bd0df9ee..7691878d 100644
--- a/nest/rt-show.c
+++ b/nest/rt-show.c
@@ -107,8 +107,7 @@ rt_show_net(struct cli *c, net *n, struct rt_show_data *d)
/* The Clang static analyzer complains that ec may be NULL.
* It should be ensured to be not NULL by rt_show_prepare_tables() */
- if (d->export_mode)
- ASSUME(ec);
+ ASSUME(!d->export_mode || ec);
int first = 1;
int pass = 0;