forked from OSchip/llvm-project
df28e8ec41
- 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 |
||
---|---|---|
.. | ||
AST | ||
Analysis | ||
Basic | ||
Checker | ||
CodeGen | ||
Driver | ||
Frontend | ||
Headers | ||
Index | ||
Lex | ||
Parse | ||
Rewrite | ||
Sema | ||
CMakeLists.txt | ||
Makefile |