Jerry/bird
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Nest: Assumption in rt-show for not-so-intuitive invariant.

Browse source
This commit is contained in:
Maria Matejka 2019-08-17 08:59:06 +02:00
parent a08853a269
commit bbe49ae569
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
nest/rt-show.c
View file

@ -104,6 +104,12 @@ rt_show_net(struct cli *c, net *n, struct rt_show_data *d)
rte *e, *ee;
byte ia[NET_MAX_TEXT_LENGTH+1];
struct channel *ec = d->tab->export_channel;
/* 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);
int first = 1;
int pass = 0;