[PATCH] D30691: [analyzer] Support for naive cross translational unit analysis

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

@NoQ , @dkrupp

CallEvent::getRuntimeDefinition is overwritten in

- AnyFunctionCall
- CXXInstanceCall
- CXXMemberCall
- CXXDestructorCall
- ObjCMethodCall

AnyFunctionCall handles the CTU logic.
CXXInstanceCall calls into AnyFunctionCall if the function is not virtual.
If the function is virtual then we try to find the Decl of it via the dynamic type info.
At this point, we could get the definition of that function via the CTU logic, indeed.
This is something we should implement in the future.

However, it seems like this is the only case (not considering ObjC).
CXXMemberCall calls back to AnyFunctionCall or to CXXInstanceCall.
CXXDestructorCall does the same.


Repository:
  rC Clang

https://reviews.llvm.org/D30691