Searched refs:get_file_basename (Results 1 – 2 of 2) sorted by relevance
85 static const char *get_file_basename (const input_file *);441 const char *basename = get_file_basename (gt_files[f]); in read_input_list()1778 get_file_basename (const input_file *inpf) in get_file_basename() function2032 basename = get_file_basename (inpf); in header_dot_h_frul()2068 char *newbasename = CONST_CAST (char*, get_file_basename (inpf)); in source_dot_c_frul()
87 static const char *get_file_basename (const input_file *);435 const char *basename = get_file_basename (gt_files[f]); in read_input_list()1612 get_file_basename (const input_file *inpf) in get_file_basename() function1859 basename = get_file_basename (inpf); in header_dot_h_frul()1895 char *newbasename = CONST_CAST (char*, get_file_basename (inpf)); in source_dot_c_frul()