smatch clean rtld
@@ -717,11 +717,11 @@ continue; DBG_CALL(Dbg_audit_objclose(lml, alp->al_libname, NAME(lmp))); leave(alml, thr_flg_reenter); - (*alp->al_objclose)(&(acp->ac_cookie)); + (void) (*alp->al_objclose)(&(acp->ac_cookie)); (void) enter(thr_flg_reenter); } } /*