#include #include #include "../test_util.h" OPTNONE int main(void) { char *p = malloc(-8); return !(p == NULL); }