hs_init(NULL, NULL) segfaults on latest snapshot

[ezyang]

This weeny program crashes:

int main(int argc, char** argv) {
    hs_init(NULL,NULL);
}

Old versions of GHC accomodate null pointers fine, and there is an explicit check for this case inside the function. If this is intentional behavior change, it should be documented.

[marlowsd@…]

commit 4ca281829c70331571291ed3dcf813a6028cc904

Author: Simon Marlow <marlowsd@gmail.com>
Date:   Fri Apr 27 13:20:56 2012 +0100

    hs_init(): cope with argc and/or argv being NULL (#6006)

 rts/RtsStartup.c |    9 ++++++++-
 1 files changed, 8 insertions(+), 1 deletions(-)

[pcapriotti]

Merged as d7c6368938c77644da7c8410df4d4fa440aca7e8.