exp-sgcheck/tests/preen_invars_so.c

   1
   2 /* This file contains a global array.  It is compiled into a .so,
   3    which is dlopened by preen_invar.c.  That then accesses the global
   4    array, hence generating Inv_Global invariants in sg_main.c.
   5
   6    preen_invar.c then dlcloses this object, causing it to get
   7    unmapped; and we then need to be sure that the Inv_Global is
   8    removed by preen_Invars (or, at least, that the system doesn't
   9    crash..). */
  10
  11 char im_a_global_array[10];
  12