Hi!
I've already pushed patches 1..13 from v2, as nobody raised concerns.
v3 only contains a signle patch.
I've updated it to also document the case of FreeBSD/jemalloc, as
reported by Seth.
Have a lovely day!
Alex
Alejandro Colomar (1):
man/man3/aligned_alloc.3: HISTORY: Document bogus specification from
C11
man/man3/aligned_alloc.3 | 40 ++++++++++++++++++++++++++++++++++++++++
1 file changed, 40 insertions(+)
Range-diff against v2:
1: 90f18b452 < -: --------- man/man3/posix_memalign.3: Remove confusing
exception
2: 19b5ea61e < -: --------- man/man3/posix_memalign.3: wfix
3: 82bcf3b0f < -: --------- man/man3/posix_memalign.3: STANDARDS:
aligned_alloc() conforms to C17, not C11
4: 04f5087e5 < -: --------- man/man3/posix_memalign.3: STANDARDS:
aligned_alloc() conforms to C23
5: c8ffb2124 < -: --------- man/man3/posix_memalign.3: STANDARDS:
aligned_alloc() and posix_memalign() conform to POSIX.1-2024
6: 51b7f9f43 < -: --------- man/man3/{posix_,}memalign.3: Split memalign()
from posix_memalign(3)
7: a60d6283f < -: --------- man/man3/{posix_memalign,pvalloc}.3: Split
pvalloc() from posix_memalign(3)
8: 126c39d0f < -: --------- man/man3/{posix_memalign,valloc}.3: Split
valloc() from posix_memalign(3)
9: b23cb7bc6 < -: --------- man/man3/{aligned_alloc,posix_memalign}.3:
Split aligned_alloc() from posix_memalign(3)
10: 1e5a0260e < -: --------- man/man3/posix_memalign.3: CAVEATS: Add
section, and move paragraph to it
11: c0b9fd96a < -: --------- man/man3/posix_memalign.3: Remove redundant text
12: 34d984534 < -: --------- man/man3/posix_memalign.3: NOTES: Remove
superfluous section
13: a5342ef55 < -: --------- man/man3/memalign.3: wfix
14: cdfc42078 ! 1: 6ed874153 man/man3/aligned_alloc.3: HISTORY: Document
bogus specification from C11
@@ man/man3/aligned_alloc.3: .SH HISTORY
+the behavior was undefined.
+.IP
+Some implementations still implement that restriction,
-+such as OpenBSD.
-+However,
-+in those implementations,
-+the function reports an error,
-+and don't exploit the UB.
++or claim to have it.
++.RS
++.TP
++OpenBSD
++The function reports an error
++if this restriction is violated,
++without exploiting the UB.
++.TP
++FreeBSD
++.TQ
++jemalloc
++The documentation claims to have this restriction,
++but the implementation works correctly if it is violated.
++.RE
++.IP
+It was only a theoretical UB.
++No known implementation has ever exploited this UB.
+.IP
+This restriction was removed in C17.
+.IP \[bu]
base-commit: a5342ef55f0a96790bf279a98c9d2a30b19fc9eb
--
2.51.0
