diff options
| author | Tobias Grosser <tobias@grosser.es> | 2017-08-01 14:40:55 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2017-08-01 14:40:55 +0000 |
| commit | 3d0ba4b0a5f9ca68e370cd6b17e9f8211de22c2c (patch) | |
| tree | b5e26b2ff22921005a4a2afb82be6344630295ce /lldb/packages/Python/lldbsuite/test/python_api/symbol-context/TestSymbolContext.py | |
| parent | 295cf4de37a4be7de2c9fa424da381cbb15df478 (diff) | |
| download | bcm5719-llvm-3d0ba4b0a5f9ca68e370cd6b17e9f8211de22c2c.tar.gz bcm5719-llvm-3d0ba4b0a5f9ca68e370cd6b17e9f8211de22c2c.zip | |
[PostDom] document the current handling of infinite loops and unreachables
Summary:
As we are in the process of changing the behavior of how the post-dominator tree
is computed, make sure we have some more test coverage in this area.
Current inconsistencies:
- Newly unreachable nodes are not added as new roots, in case the PDT is updated
but not rebuilt.
- Newly unreachable loops are not added to the CFG at all (neither when
building from scratch nor when updating the CFG). This is inconsistent with
the fact that unreachables are added to the PDT, but unreachable loops not.
On the other side, PDT relationships are not loosened at the moment in
cases where new unreachable loops are built.
This commit is providing additional test coverage for
https://reviews.llvm.org/D35851
Reviewers: dberlin, kuhar
Reviewed By: kuhar
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D36107
llvm-svn: 309684
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/symbol-context/TestSymbolContext.py')
0 files changed, 0 insertions, 0 deletions
