И если в этой бумаге не задано поведение mmap, то тогда и понятие "указатель на аллоцированный объект" не применимо к результату функции

Компилятор не имеет права предполагать что указатель, полученный через mmap — это null pointer только потому, что он численно равен нулю.

Но окей, у меня пока нет доказательства, что mmap() возвращает allocated object (хотя если это не так, то стандартная библиотека реализована неверно)

А, нет, есть.
> An  integer  constant  expression  with  the  value  0,  or  such  an  expression  cast  to  type void *,is called anull pointer constant. If a null pointer constant is converted to apointer type, the resulting pointer,called anull pointer,is guaranteed to compare unequal to a pointer to any object or function.
> object: region of data storage in the execution environment, the contents of which can represent values
> value: precise meaning of the contents of an object when interpreted as having a specific type

object не накладывает никаких требований на происхождение региона памяти.

Хотя тут можно спорить, что 6.2.4 не специфицирует storage duration для такого объекта. Но таки если всё использование mmap() — некорректно, то 100% кода на C некорректно.

Сложно...

А почему у него в теле дырка?

Я думаю, это кружка. Или бумажка.

Тьфу блин...

это пустота, которую он должен заполнить.

Я уже совсем головой поехал...

Тихо шифером шурша, едет крыша не спеша...

что делать?

читаю стандарт плюсов подряд и не могу остановиться

Читай стандарт ржавчины...

Ой, а его же нет)

Есть, но неполный.

Зато бесплатный.