On 03/03/19 22:24, Jonny Grant wrote:
> Could I ask, does your libc follow POSIX spec to the letter? eg not
> checking pointers for NULL (where spec omits to mention checking
> pointers valid) ?


2.1.1 Use and Implementation of Functions

  1. If an argument to a function has an invalid value (such as a value
outside the domain of the function, or a pointer outside the address
space of the program, or a null pointer), the behavior is undefined.


The spec never omits checking the validity of pointers unless actually
specified.  In this way, musl is definitely conformant.

There are some non-conformant bits of musl, though some of these may be
solved since the last test (which was musl 1.1.19):

https://wiki.adelielinux.org/wiki/POSIX


Best,
--arw


-- 
A. Wilcox (awilfox)
Project Lead, Adélie Linux
https://www.adelielinux.org