blob: 5b6333d4e8efd0a35602f353d20cfd04122fdd2d [file] [log] [blame]
/* 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);
}