[PATCH] D62551: [analyzer][Dominator] Add post dominator tree builder for the CFG + a debug checker

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, kuhar, xazax.hun, rnkovacs, dcoughlin, baloghadamsoftware, Charusso.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, whisperity.
Szelethus added a parent revision: D62507: [Dominators] PR42041: Skip nullpointer successors.

Transform `clang::DominatorTree` to be able to also calculate post dominators.

- Tidy up the documentation
- Rename `clang::DominatorTree` to `clang::CFGDominatorTree`
- Make it a template class, similarly to `llvm::DominatorTreeBase`
- Add a lot of asserts to the `dump()` function
- Create a new checker to test the functionality


Repository:
  rC Clang

https://reviews.llvm.org/D62551

Files:
  clang/include/clang/Analysis/Analyses/Dominators.h
  clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
  clang/lib/Analysis/Dominators.cpp
  clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
  clang/test/Analysis/domtest.c
  clang/test/Analysis/domtest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62551.201758.patch
Type: text/x-patch
Size: 30361 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190528/7832d18a/attachment-0001.bin>