I’m currently developing a Clang checker, and I would very much like for it to be able to perform context-sensitive analysis across translation units in the following way. Whenever a function call is encountered whose definition is outside the scope of the current translation unit, dynamically merge in its corresponding AST (i.e. by loading a file from disk and using ASTMergeAction). Then proceed to analyze the merged-in function while preserving the context and program state from the current translation unit.
Does anyone know if this is possible? Thanks in advance.