d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add KASSERT() and set error code in dead code case to help static code

Browse Source 
analysis tools.

Suggested by:	ngie@
Sponsored by:	Mellanox Technologies
MFC after:	1 week
This commit is contained in:
Hans Petter Selasky 2016-04-22 06:39:07 +00:00
parent 10a7a4bf44
commit c3a74bf6d7
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=298459
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/ofed/drivers/infiniband/core/addr.c
View File

@ -404,6 +404,8 @@ static int addr_resolve(struct sockaddr *src_in,
break;
#endif
default:
KASSERT(0, ("rdma_addr_resolve: Unreachable"));
error = EINVAL;
break;
}
RTFREE(rte);