/* 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));
  *ip = 42;
  t2 ();
}

int t2 ()
{
  return *ip;
}

void setup () /* NOCHECK */
{
  mark_region (&ip, sizeof (ip), ACCESS_RW);
}