All of lore.kernel.org
 help / color / mirror / Atom feed
From: Dan Carpenter <dan.carpenter@oracle.com>
To: kernel-janitors@vger.kernel.org
Subject: [bug report] vxlan: add adjacent link to limit depth level
Date: Tue, 29 Oct 2019 14:52:47 +0000	[thread overview]
Message-ID: <20191029145247.GA24739@mwanda> (raw)

Hello Taehee Yoo,

This is a semi-automatic email about new static checker warnings.

The patch 0ce1822c2a08: "vxlan: add adjacent link to limit depth
level" from Oct 21, 2019, leads to the following Smatch complaint:

    drivers/net/vxlan.c:4012 vxlan_changelink()
    error: we previously assumed 'lowerdev' could be null (see line 4009)

drivers/net/vxlan.c
  4008		netdev_adjacent_change_commit(dst->remote_dev, lowerdev, dev);
  4009		if (lowerdev && lowerdev != dst->remote_dev)
                    ^^^^^^^^
The patch adds a check for NULL,

  4010			dst->remote_dev = lowerdev;
  4011	
  4012		netdev_update_lockdep_key(lowerdev);
                                          ^^^^^^^^
but it also adds a new unchecked dereference (inside the function).

  4013		vxlan_config_apply(dev, &conf, lowerdev, vxlan->net, true);
  4014		return 0;

regards,
dan carpenter

             reply	other threads:[~2019-10-29 14:52 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-10-29 14:52 Dan Carpenter [this message]
2019-10-29 17:36 ` [bug report] vxlan: add adjacent link to limit depth level Taehee Yoo

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20191029145247.GA24739@mwanda \
    --to=dan.carpenter@oracle.com \
    --cc=kernel-janitors@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.