Skip to content

epoll does not report EPOLLERR events #3816

@RalfJung

Description

@RalfJung

According to the man page, epoll will always report EPOLLERR events. However, our implementation never reports them. This is a problem as Miri will silently accept the program but run it in an incorrect way. There's no good way to throw a "not supported" error here, so we should implement this event notification.

Cc @tiif

Metadata

Metadata

Assignees

Labels

A-filesArea: related to files, paths, sockets, file descriptors, or handlesC-bugCategory: This is a bug.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions