Searched refs:failure_id (Results 1 – 1 of 1) sorted by relevance
1148 DEBUG_STATEMENT (failure_id++); \1150 DEBUG_PRINT2 ("\nPUSH_FAILURE_POINT #%u:\n", failure_id); \1212 DEBUG_PRINT2 (" Pushing failure id: %u\n", failure_id); \1213 DEBUG_PUSH (failure_id); \1258 DEBUG_STATEMENT (fail_stack_elt_t failure_id;) \1271 DEBUG_POP (&failure_id); \1272 DEBUG_PRINT2 (" Popping failure id: %u\n", failure_id); \3616 static unsigned failure_id = 0; local