Add all pnames to CallGraph in AnalysisDependencyGraph

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

http://fbinfer.com/

MIT License

14.8k stars 2k forks source link

Closed danielmercier closed 5 months ago

danielmercier commented 9 months ago

This ensures that function never called are still invalidated.

facebook-github-bot commented 5 months ago

@ngorogiannis has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

facebook-github-bot commented 5 months ago

@ngorogiannis merged this pull request in facebook/infer@7e97fef78a228f5eef0fb038d5b4fda6f80e2f65.