static void callBackNewCtorEnd( // CALL-BACK: end of new ctor
void* data ) // - COND_STK entry
{
COND_STK* cond = data; // - COND_STK entry
_Dump( cond, "CallBack(END-NEW_CTOR)" );
if( cond->posn_true == FstabActualPosn() ) {
FstabRemove();
cond->mask_set = 0;
cond->mask_clr = NOT_BITARR_MASK( 0 );
}
callBackFini( cond );
};
static void checkCtorTest( // ELIMINATE CTOR-TEST IF POSSIBLE
void* data ) // - state entry
{
SE* se = data;
SE* test = FstabActualPosn();
#ifndef NDEBUG
if( PragDbgToggle.dump_stab ) {
printf( "CallBack: checkCtorTest: se[%x] test[%x]\n"
, se
, test );
}
#endif
if( ctorTestReqd( test, se ) ) {
// intervening state entries
FstabSetSvSe( se );
} else {
// no intervening state entries
FstabRemove();
}
}