Implement lock summaries for interprocedural analysis in LockOwnership#55

michael-schwarz wants to merge 7 commits into

focs-lab:tsan-with-ea-IPAfocs-lab/llvm-project:tsan-with-ea-IPAfrom

michael-schwarz:tsan-with-ea-IPAmichael-schwarz/llvm-project:tsan-with-ea-IPACopy head branch name to clipboard