1 const char *__llvm_profile_get_filename(void);
2 
get_filename_from_DSO(void)3 const char *get_filename_from_DSO(void) {
4   return __llvm_profile_get_filename();
5 }
6