> это зависит от реализации libc, кстати. Так что может делать, а может и не делать.

В двух словах: запись проверяется чтением, остальное, - это догадки и вероятности.

---

http://freshbsd.org/commit/openbsd/a16f3e233f31088ac03b372e0...

Ну здипец полный:

if (len != 0) { // len - это long, т.е. знаковый. А если -1, то ниже код будет malloc(0), что вполне нормально. А если -2 ???  
        s = malloc((int)len + 1); // Уапрос: у маллока аргумент size_t, для кого long приводят к int? 
        if (s == NULL) {
            i = ERR_R_MALLOC_FAILURE;
            goto err;
        }
        memcpy(s, p, (int)len); // а чо мемцпу не проверяем? 
        s[len]='\0'; // Уапрос, нах...я выделяли (len + 1)? C++ники?
        p += len;
    } else
        s = NULL;