[cfe-dev] PCHReader: Header search info and FileManager::NextFileUID

[Zhongxing Xu]

Hi,

After HeaderSearchInfo is recovered in
PCHReader::ReadSourceManagerBlock(), we actually have used some UIDs
(recorded by NumHeaderInfos). But at this time the NextFileUID in
FileManager is still 0. Call to FileManager::getFile() could use that
FileUID for a different file than the header in HeaderSearch. Would
this inconsistency cause problems?

-Zhongxing