]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 585b318) | patch
Add alternate version of LiveVariables analysis that does not kill liveness at assign...
authorTom Care <tom.care@uqconnect.edu.au>
Fri, 27 Aug 2010 22:30:10 +0000 (22:30 +0000)
committerTom Care <tom.care@uqconnect.edu.au>
Fri, 27 Aug 2010 22:30:10 +0000 (22:30 +0000)
commitec49bf464c91a52b3a463940da6589d03bf40248
tree961d9027718623da4123f7ac0c884643db73f338tree | snapshot
parent585b318a7333b5dd1d900881db7b6610e2701fe8commit | 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
include/clang/Analysis/Analyses/LiveVariables.h diff | blob | history
include/clang/Analysis/AnalysisContext.h diff | blob | history
lib/Analysis/AnalysisContext.cpp diff | blob | history
lib/Analysis/LiveVariables.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.