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

[Zhongxing Xu]

2009/6/8 Zhongxing Xu <xuzhongxing at gmail.com>:
> 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?

After reading some more code, my understanding is that all file source
locations are then preloaded and FileManager is restored to the
appropriate state.