diff options
| author | Toomas Soome <tsoome@me.com> | 2020-01-20 19:01:15 +0200 |
|---|---|---|
| committer | Toomas Soome <tsoome@me.com> | 2020-01-22 00:38:50 +0200 |
| commit | 623c3de4b7886d5d3a70c856a27c13fe534b2b69 (patch) | |
| tree | 35fd8c65d9491150bfdd6353ebf55fb0d563f23f /usr/src/uts/common/inet/inetddi.c | |
| parent | 2f9f8a9bcff03868ad346b312981e5d198aafd63 (diff) | |
| download | illumos-joyent-623c3de4b7886d5d3a70c856a27c13fe534b2b69.tar.gz | |
12221 arp: smatch errors
Reviewed by: John Levon <john.levon@joyent.com>
Reviewed by: Matthias Scheler <mscheler@tintri.com>
Approved by: Dan McDonald <danmcd@joyent.com>
Diffstat (limited to 'usr/src/uts/common/inet/inetddi.c')
| -rw-r--r-- | usr/src/uts/common/inet/inetddi.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/usr/src/uts/common/inet/inetddi.c b/usr/src/uts/common/inet/inetddi.c index a64bf7e978..7f4f7d305d 100644 --- a/usr/src/uts/common/inet/inetddi.c +++ b/usr/src/uts/common/inet/inetddi.c @@ -127,7 +127,7 @@ static struct dev_priv { static int inet_attach(dev_info_t *devi, ddi_attach_cmd_t cmd) { - int i, ndevs; + size_t i, ndevs; if (cmd != DDI_ATTACH) return (DDI_FAILURE); @@ -141,6 +141,12 @@ inet_attach(dev_info_t *devi, ddi_attach_cmd_t cmd) break; } + /* smatch has no idea what VERIFY does. */ + if (i == ndevs) { + VERIFY(i < ndevs); + return (DDI_FAILURE); + } + return (ddi_create_priv_minor_node(devi, INET_NAME, S_IFCHR, INET_DEVMINOR, DDI_PSEUDO, netdev_privs[i].privonly, netdev_privs[i].read_priv, netdev_privs[i].write_priv, |