diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2010-08-16 01:15:17 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2010-08-16 01:15:17 +0000 |
| commit | df28e8ec4145fbe407f09dc2458d42cd9f12bd99 (patch) | |
| tree | e642a5f884f581a38c4de3ff6b190307a83bac63 /clang/lib/AST/CMakeLists.txt | |
| parent | cbc55d9dc0b36a49ba749cf69c38223785ffa01e (diff) | |
| download | bcm5719-llvm-df28e8ec4145fbe407f09dc2458d42cd9f12bd99.tar.gz bcm5719-llvm-df28e8ec4145fbe407f09dc2458d42cd9f12bd99.zip | |
- Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking.
- Rewrite GRState::AssumeInBound to actually do that checking, and to use the normal constraint path.
- Remove ConstraintManager::AssumeInBound.
- Teach RegionStore and FlatStore to ignore those regions for now.
llvm-svn: 111116
Diffstat (limited to 'clang/lib/AST/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions
