| commit | f6cb5093853722a6d9f059f4e86435aa89e7491b | [log] [tgz] |
|---|---|---|
| author | George Karpenkov <ekarpenkov@apple.com> | Thu May 25 01:41:46 2017 +0000 |
| committer | George Karpenkov <ekarpenkov@apple.com> | Thu May 25 01:41:46 2017 +0000 |
| tree | d819efd9d1e4238e523b5907cf185912c4a894e6 | |
| parent | fa4cbdddf8edf16d4574b5436b1cfd8d0042935b [diff] |
Fix coverage check for full post-dominator basic blocks. Coverage instrumentation which does not instrument full post-dominators and full-dominators may skip valid paths, as the reasoning for skipping blocks may become circular. This patch fixes that, by only skipping full post-dominators with multiple predecessors, as such predecessors by definition can not be full-dominators. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303827 91177308-0d34-0410-b5e6-96231b3b80d8