diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-20 16:38:19 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-09-20 16:38:19 +0000 |
| commit | 707a406078a8867389b6ad1bff8c1e09b7937f82 (patch) | |
| tree | 92059d618346c2107193fdf48fa15f38372d5513 /clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp | |
| parent | f2cc86edaeb000d18b6e360105a5cb6142ab4428 (diff) | |
| download | llvm-707a406078a8867389b6ad1bff8c1e09b7937f82.zip llvm-707a406078a8867389b6ad1bff8c1e09b7937f82.tar.gz llvm-707a406078a8867389b6ad1bff8c1e09b7937f82.tar.bz2 | |
Add bounded loop assumption
So far we ignored the unbounded parts of the iteration domain, however
we need to assume they do not occure at all to remain sound if they do.
llvm-svn: 248126
Diffstat (limited to 'clang/lib/CodeGen/ObjectFilePCHContainerOperations.cpp')
0 files changed, 0 insertions, 0 deletions