void *p;
int result;

result = setjmp();
if (!result) {
 p = alloca(256);
 hoge(); /* hoge calles longjmp, NO RETURN */
 /* NOT REACHED HERE */
}

/* ここで p の指す先は大丈夫か? */

ということ?