Daniel Dunbar
|
56a04c0c34
|
ImmutableIntervalMap: Fix for unqualified lookup into dependent base class, done
by clang's -fixit! :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95551 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-08 18:08:46 +00:00 |
|
Zhongxing Xu
|
1d037b0272
|
Remove redundant declaration.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95213 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-03 09:05:21 +00:00 |
|
Zhongxing Xu
|
1c8bd7dc0a
|
Add constructors.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95212 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-03 09:04:11 +00:00 |
|
Zhongxing Xu
|
769e2ad872
|
Return value on every path.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95075 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-02 07:05:31 +00:00 |
|
Zhongxing Xu
|
fcad6bdc17
|
simplify code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95074 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-02 06:33:32 +00:00 |
|
Zhongxing Xu
|
bd46725476
|
More logic correction: RemoveOverlap should always create new tree. Add a
parameter to record whether changes actually happened.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95073 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-02 06:22:08 +00:00 |
|
Zhongxing Xu
|
b413bc1403
|
Add a lookup method to the IntervalMap. The difference from the original
lookup is that if the lookup key is contained in the key, we return the data.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95070 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-02 05:23:23 +00:00 |
|
Zhongxing Xu
|
3a819568ca
|
Fix a bunch of errors in the old logic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95056 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-02 02:40:56 +00:00 |
|
Zhongxing Xu
|
746f5b6eb1
|
Add an immutable interval map, prepared to be used by flat memory model
in the analyzer. WIP.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94976 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-01 10:43:31 +00:00 |
|