diff options
| author | Philip Reames <listmail@philipreames.com> | 2015-04-13 17:35:55 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2015-04-13 17:35:55 +0000 |
| commit | 9a2e01d90875a08ce1bfcd8eeeda305195b3c85e (patch) | |
| tree | 3f2747217be695d1648f395ed7252af16d46c099 /llvm/lib/IR/DebugInfoMetadata.cpp | |
| parent | 038363370fd6d1f29ea42ff1179135625bc2180d (diff) | |
| download | bcm5719-llvm-9a2e01d90875a08ce1bfcd8eeeda305195b3c85e.tar.gz bcm5719-llvm-9a2e01d90875a08ce1bfcd8eeeda305195b3c85e.zip | |
[RewriteStatepointsForGC] Strengthen assertions around liveness
This is related to the issues addressed in 234651. These assertions check the properties ensured by that change at the place of use. Note that a similiar property is checked in checkBasicSSA, but without the reachability constraint. Technically, the liveness would be correct to include unreachable values, but this would be problematic for actual relocation.
llvm-svn: 234766
Diffstat (limited to 'llvm/lib/IR/DebugInfoMetadata.cpp')
0 files changed, 0 insertions, 0 deletions
