<div dir="ltr">SourceMgr provides AddIncludeFile which I'm thinking of using for parsing the TPTP language.<div><br></div><div>As far as I can see, AddIncludeFile only deals with #include <...> style, i.e. only search the include directories. I don't see any code for dealing with #include "...", i.e. first look relative to the current file.</div><div><br></div><div>Is there something I'm missing? How does clang handle this?</div></div>