diff options
| author | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-27 22:30:10 +0000 |
|---|---|---|
| committer | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-27 22:30:10 +0000 |
| commit | ec49bf464c91a52b3a463940da6589d03bf40248 (patch) | |
| tree | 961d9027718623da4123f7ac0c884643db73f338 /lib/Checker/UnreachableCodeChecker.cpp | |
| parent | 585b318a7333b5dd1d900881db7b6610e2701fe8 (diff) | |
Add alternate version of LiveVariables analysis that does not kill liveness at assignments. This 'relaxed' liveness is useful in path sensitive analysis for situations where the resulting extended liveness allows us to find some bugs.
- Added killAtAssign flag to LiveVariables
- Added relaxed LiveVariables to AnalysisContext with an accessor
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112306 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/UnreachableCodeChecker.cpp')
0 files changed, 0 insertions, 0 deletions