safecode/test/mem_safety/uninitialized_variable/uninitialized_variable-001.c

/* Unitialized pointer u. Should this fail? */

int main()
{
  int *u, v;

  v = *u ^ *u;
  if (v)
    return 1;
  else
    return 0;
}