{
vg_assert(SUCCESS);
if (ARG2 == VKI_F_DUPFD) {
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "fcntl(DUPFD)", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
}
}
} else if (ARG2 == VKI_F_DUPFD_CLOEXEC) {
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "fcntl(DUPFD_CLOEXEC)", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
POST(sys_fhopen)
{
vg_assert(SUCCESS);
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "fhopen", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
POST(sys_kqueue)
{
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "kqueue", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
POST(sys_kmq_open)
{
vg_assert(SUCCESS);
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "mq_open", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
POST(sys_shm_open)
{
vg_assert(SUCCESS);
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "shm_open", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
POST(sys_shm_open2)
{
vg_assert(SUCCESS);
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "shm_open2", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );
POST(sys_kqueuex)
{
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "kqueuex", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure(VKI_EMFILE);
POST(sys_timerfd_create)
{
+ POST_newFd_RES;
if (!ML_(fd_allowed)(RES, "timerfd_create", tid, True)) {
VG_(close)(RES);
SET_STATUS_Failure( VKI_EMFILE );