/*
TEST_HEADER
id = $HopeName$
summary = destroy a format twice
language = c
link = testlib.o
END_HEADER
*/
#include "testlib.h"
#include "mpscmv.h"
static void zilch(void)
{
}
static mps_addr_t myskip(mps_addr_t object)
{
return object;
}
static void test(void)
{
mps_space_t space;
mps_fmt_t format;
mps_fmt_A_s fmtA;
cdie(mps_space_create(&space), "create space");
fmtA.align = (mps_align_t) 1;
fmtA.scan = &zilch;
fmtA.skip = &myskip;
fmtA.copy = &zilch;
fmtA.fwd = &zilch;
fmtA.isfwd = &zilch;
fmtA.pad = &zilch;
cdie(
mps_fmt_create_A(&format, space, &fmtA),
"create format");
mps_fmt_destroy(format);
comment("Destroyed format.");
mps_fmt_destroy(format);
comment("Destroyed format.");
mps_space_destroy(space);
comment("Destroyed space.");
}
int main(void)
{
easy_tramp(test);
return 0;
}