10703 smatch unreachable code checking needs reworking
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>

@@ -20,11 +20,11 @@
  */
 
 /*
  * Copyright 2010 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
- * Copyright 2018 Joyent, Inc.
+ * Copyright 2019 Joyent, Inc.
  */
 
 /*      Copyright (c) 1984, 1986, 1987, 1988, 1989 AT&T */
 /*        All Rights Reserved   */
 

@@ -3986,11 +3986,10 @@
                 mutex_enter(&cp->lock);
                 if (cp->locked) {
                         mutex_exit(&cp->lock);
                         panic("ddi_umem_free for cookie with pending faults %p",
                             (void *)cp);
-                        return;
                 }
 
                 segkp_release(segkp, cp->cvaddr);
 
                 /*