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