Searched refs:recording_case_labels_p (Results 1 – 2 of 2) sorted by relevance
703 recording_case_labels_p (void) in recording_case_labels_p() function768 if (!recording_case_labels_p ()) in get_cases_for_edge()
4807 (edge_to_cases_cleanup, recording_case_labels_p): New functions.