libc: getline implementation incorrectly checks the failure of realloc

[Lukáš Zaoral]

Hello,
the following code results into a null pointer dereference in the implementation of getline when checked with divine verify.

#define _GNU_SOURCE
#include <stdio.h>

int main(void)
{
    char* line = NULL;
    size_t len = 0;
    getline(&line, &len, stdin);
}

The enclosed patch fixes the issue. Thanks!

[Vladimír Štill]

Seem reasonable, I will look at the patch and integrate it.

[Vladimír Štill]

Fixed in ​http://divine.fi.muni.cz/next.