diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-11-24 00:03:32 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-11-24 00:03:32 +0000 |
| commit | 00430319a82ee4968628eca334dc7318d783e5d0 (patch) | |
| tree | b9651bd9737a9c08abdc1158fc32ca6e9cf4e14e /clang/lib/Checker/BasicConstraintManager.cpp | |
| parent | 5ea7d07d2ab204144f1f36c4673a17a122a514bc (diff) | |
| download | bcm5719-llvm-00430319a82ee4968628eca334dc7318d783e5d0.tar.gz bcm5719-llvm-00430319a82ee4968628eca334dc7318d783e5d0.zip | |
Generalize overflowLeaf to also handle overflows in branch nodes.
This doesn't quite work yet because the calls to treeDecrement and treeIncrement
operate at the leaf level, not on pathNode(Level) as required.
llvm-svn: 120068
Diffstat (limited to 'clang/lib/Checker/BasicConstraintManager.cpp')
0 files changed, 0 insertions, 0 deletions
