Searched refs:filename_as_tree (Results 1 – 4 of 4) sorted by relevance
657 tree filename_as_tree () const { return m_filename; } in filename_as_tree() function
3025 if (file->filename_as_tree () == ident_filename) in get_source_file()
758 tree filename_as_tree () const { return m_filename; } in filename_as_tree() function
3571 if (file->filename_as_tree () == ident_filename) in get_source_file()