/* Must define: | |
int expect_error; | |
void test (); | |
void setup () NOCHECK; */ | |
#include "driver.h" | |
int expect_error = 0; | |
int *ip; | |
void test () | |
{ | |
ip = c_malloc (sizeof (int)); | |
t2 (ip); | |
} | |
int t2 (int *ip) | |
{ | |
} | |
void setup () /* NOCHECK */ | |
{ | |
mark_region (&ip, sizeof (ip), ACCESS_RW); | |
} |