diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-08-05 22:32:21 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-08-05 22:32:21 +0000 |
| commit | e7709ebb64993ebf43c75b26ecc158c211011f62 (patch) | |
| tree | dc41e73180243f6cf5b237521d489a0c2061e5f3 /clang/lib/Checker/CStringChecker.cpp | |
| parent | d7d0517cc241ed79b8c72f2ab3e70950009087e4 (diff) | |
| download | bcm5719-llvm-e7709ebb64993ebf43c75b26ecc158c211011f62.tar.gz bcm5719-llvm-e7709ebb64993ebf43c75b26ecc158c211011f62.zip | |
Add basic verification of LiveIntervals.
We verify that the LiveInterval is live at uses and defs, and that all
instructions have a SlotIndex.
Stuff we don't check yet:
- Is the LiveInterval minimal?
- Do all defs correspond to instructions or phis?
- Do all defs dominate all their live ranges?
- Are all live ranges continually reachable from their def?
llvm-svn: 110386
Diffstat (limited to 'clang/lib/Checker/CStringChecker.cpp')
0 files changed, 0 insertions, 0 deletions
