Skip to content

mmap failure returning 0x00 instead of MAP_FAILED #3218

Closed
@ghost

Description

Upon failure, mmap is supposed to return MAP_FAILED, not nullptr.

return Ok(Scalar::from_maybe_pointer(Pointer::null(), this));

Currently mmap returns null pointer in miri.

Is this intentional or accidental?

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions