Closed

Description
Upon failure, mmap is supposed to return MAP_FAILED, not nullptr.
Line 75 in 12c868a
Currently mmap returns null pointer in miri.
Is this intentional or accidental?
Metadata
Metadata
Assignees
Labels
No labels
Upon failure, mmap is supposed to return MAP_FAILED, not nullptr.
Line 75 in 12c868a
Is this intentional or accidental?