Date: Fri, 22 Apr 2016 06:39:08 +0000 (UTC) From: Hans Petter Selasky <hselasky@FreeBSD.org> To: src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org Subject: svn commit: r298459 - head/sys/ofed/drivers/infiniband/core Message-ID: <201604220639.u3M6d8vF010061@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: hselasky Date: Fri Apr 22 06:39:07 2016 New Revision: 298459 URL: https://svnweb.freebsd.org/changeset/base/298459 Log: Add KASSERT() and set error code in dead code case to help static code analysis tools. Suggested by: ngie@ Sponsored by: Mellanox Technologies MFC after: 1 week Modified: head/sys/ofed/drivers/infiniband/core/addr.c Modified: head/sys/ofed/drivers/infiniband/core/addr.c ============================================================================== --- head/sys/ofed/drivers/infiniband/core/addr.c Fri Apr 22 06:33:06 2016 (r298458) +++ head/sys/ofed/drivers/infiniband/core/addr.c Fri Apr 22 06:39:07 2016 (r298459) @@ -404,6 +404,8 @@ mcast: break; #endif default: + KASSERT(0, ("rdma_addr_resolve: Unreachable")); + error = EINVAL; break; } RTFREE(rte);
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201604220639.u3M6d8vF010061>