Lines Matching full:fullfilename
3446 StringRef FullFileName(FullFileNameStart, BlobLen - Record[0]);3448 if (!FullFileName.empty())3449 File = PP.getFileManager().getFile(FullFileName);