#include #include #include int main() { int orig = __dios_get_fault_config( _DiOS_SF_Malloc ); int ret = __dios_configure_fault( _DiOS_SF_Malloc, _DiOS_FC_Ignore ); assert( ret == _DiOS_FC_EInvalidCfg ); assert( orig == __dios_get_fault_config( _DiOS_SF_Malloc ) ); ret = __dios_configure_fault( _DiOS_SF_Malloc, _DiOS_FC_Abort ); assert( ret == _DiOS_FC_EInvalidCfg ); assert( orig == __dios_get_fault_config( _DiOS_SF_Malloc ) ); ret = __dios_configure_fault( _DiOS_SF_Malloc, _DiOS_FC_Report ); assert( ret == _DiOS_FC_EInvalidCfg ); assert( orig == __dios_get_fault_config( _DiOS_SF_Malloc ) ); ret = __dios_configure_fault( _DiOS_SF_Last, _DiOS_FC_SimFail ); assert( ret == _DiOS_FC_EInvalidFault ); assert( orig == __dios_get_fault_config( _DiOS_SF_Malloc ) ); ret = __dios_configure_fault( _DiOS_SF_Malloc, _DiOS_FC_SimFail ); int *b = malloc( sizeof( int ) ); assert( b ); /* ERROR */ free( b ); }