[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <20111115090107.GA18307@elgon.mountain>
Date: Tue, 15 Nov 2011 12:01:07 +0300
From: Dan Carpenter <dan.carpenter@...cle.com>
To: matti.vaittinen@....com
Cc: netdev@...r.kernel.org
Subject: re: IPv6 routing, NLM_F_* flag support: REPLACE and EXCL
flags support, warn about missing CREATE flag
Hello Matti Vaittinen,
This is a semi-automatic email about new static checker warnings.
The patch 4a287eba2de3: "IPv6 routing, NLM_F_* flag support: REPLACE
and EXCL flags support, warn about missing CREATE flag" from Nov 14,
2011, leads to the following Smatch complaint:
net/ipv6/ip6_fib.c +656 fib6_add_rt2node()
error: we previously assumed 'info' could be null (see line 641)
net/ipv6/ip6_fib.c
640 (info->nlh->nlmsg_flags&NLM_F_REPLACE));
641 int add = ((NULL == info || NULL == info->nlh) ||
^^^^^^^^^^^^
Checked here.
642 (info->nlh->nlmsg_flags&NLM_F_CREATE));
643 int found = 0;
644
645 ins = &fn->leaf;
646
647 for (iter = fn->leaf; iter; iter=iter->dst.rt6_next) {
648 /*
649 * Search for duplicates
650 */
651
652 if (iter->rt6i_metric == rt->rt6i_metric) {
653 /*
654 * Same priority level
655 */
656 if (NULL != info->nlh &&
^^^^^^^^^
Not checked here. Btw, I looked at the callers and info is always
a valid pointer.
657 (info->nlh->nlmsg_flags&NLM_F_EXCL))
658 return -EEXIST;
regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe netdev" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Powered by blists - more mailing lists